Author of the publication

A SAT-Based Algorithm for Context Matching.

, , , and . CONTEXT, volume 2680 of Lecture Notes in Computer Science, page 66-79. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Mapping Properties of Heterogeneous Ontologies., and . AIMSA, volume 5253 of Lecture Notes in Computer Science, page 181-193. Springer, (2008)ML Systems: A Proof Theory for Contexts., and . J. Log. Lang. Inf., 11 (4): 471-518 (2002)Logic Tensor Networks., , , and . CoRR, (2020)A better loss for visual-textual grounding., , and . SAC, page 49-57. ACM, (2022)Event Detection from Video Using Answer Set Programing., , , and . CILC, volume 2396 of CEUR Workshop Proceedings, page 48-58. CEUR-WS.org, (2019)Defeasibility in Contextual Reasoning with CKR., , and . CILC, volume 1195 of CEUR Workshop Proceedings, page 132-146. CEUR-WS.org, (2014)Semantic Import: An Approach for Partial Ontology Reuse., , and . WoMO, volume 232 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)C-OWL: Contextualizing Ontologies., , , , and . ISWC, volume 2870 of Lecture Notes in Computer Science, page 164-179. Springer, (2003)Semantic Interpretation of Mobile Phone Records Exploiting Background Knowledge., and . ISWC-DC, volume 1045 of CEUR Workshop Proceedings, page 9-16. CEUR-WS.org, (2013)Semantically-Aided Business Process Modeling., , , , and . ISWC, volume 5823 of Lecture Notes in Computer Science, page 114-129. Springer, (2009)