Autor der Publikation

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.

, , , und . Theory Pract. Log. Program., 12 (4-5): 701-718 (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Fast Query Answering over Existential Rules., , , und . ACM Trans. Comput. Log., 20 (2): 12:1-12:48 (2019)I-DLV-sr: A Stream Reasoning System based on I-DLV., , , , , und . Theory Pract. Log. Program., 21 (5): 610-628 (2021)Large Scale DLV: Preliminary Results., , , , , , , , , und 7 andere Autor(en). CILC, Volume 2396 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments., , , , und . ICAISC, Volume 9120 von Lecture Notes in Computer Science, Seite 541-553. Springer, (2015)Navigating Online Semantic Resources for Entity Set Expansion., und . PADL, Volume 10702 von Lecture Notes in Computer Science, Seite 170-185. Springer, (2018)Efficient Query Answering over Datalog with Existential Quantifiers., , , und . SEBD, Seite 155-162. Edizioni Libreria Progetto, Padova, Italy, (2012)Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward., , und . IJCAI, Seite 5189-5193. ijcai.org, (2018)Team-building with answer set programming in the Gioia-Tauro seaport., , , , , , und . Theory Pract. Log. Program., 12 (3): 361-381 (2012)Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images., , , und . RuleML+RR, Volume 12851 von Lecture Notes in Computer Science, Seite 95-110. Springer, (2021)Characterizing Nexus of Similarity between Entities., , , , und . IPS-RCRA-SPIRIT@AI*IA, Volume 3585 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)