13136 / 13145 - skupina znalostních softwarových systémů

Publikační činnost 2019

Stati ve sbornících konferencí

LEDVINKA, M. a P. KŘEMEN. Formalizing Object-Ontological Mapping Using F-logic. In: Rules and Reasoning. Third International Joint Conference, RuleML+RR 2019, Bolzano, 2019-09-16/2019-09-19. Cham: Springer, 2019. s. 97-112. Lecture Notes in Computer Science. sv. 11784. ISSN 0302-9743. ISBN 978-3-030-31094-3. DOI 10.1007/978-3-030-31095-0_7.