Author of the publication

The Stable Model Semantics of Datalog with Metric Temporal Operators.

, , , and . Theory Pract. Log. Program., 24 (1): 22-56 (January 2024)

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

Faceted Search over Ontology-Enhanced RDF Data., , , , and . CIKM, page 939-948. ACM, (2014)Combining OWL ontologies using epsilon-Connections., , and . J. Web Semant., 4 (1): 40-59 (2006)What to Ask to an Incomplete Semantic Web Reasoner?., and . IJCAI, page 2226-2231. IJCAI/AAAI, (2011)Reasoning Techniques in DatalogMTL., , and . Datalog, volume 3203 of CEUR Workshop Proceedings, page 127-138. CEUR-WS.org, (2022)Completeness Guarantees for Incomplete Reasoners., , and . ISWC (1), volume 6496 of Lecture Notes in Computer Science, page 747-763. Springer, (2010)LogMap results for OAEI 2011., , and . OM, volume 814 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs., , , , and . ISWC (Posters & Demos), volume 1690 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals., , , and . AAAI, page 6566-6574. AAAI Press, (2023)Stratified Negation in Datalog with Metric Temporal Operators., , , and . AAAI, page 6488-6495. AAAI Press, (2021)Large-scale Interactive Ontology Matching: Algorithms and Implementation., , , and . ECAI, volume 242 of Frontiers in Artificial Intelligence and Applications, page 444-449. IOS Press, (2012)