Autor der Publikation

Second Order Logic and the Weak Exponential Hierarchies.

, , und . MFCS, Volume 969 von Lecture Notes in Computer Science, Seite 66-81. Springer, (1995)

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

An ASP-Based System for Team-Building in the Gioia-Tauro Seaport., , , , , und . PADL, Volume 5937 von Lecture Notes in Computer Science, Seite 40-42. Springer, (2010)On the Properties of GZ-Aggregates in Answer Set Programming., und . IJCAI, Seite 4105-4109. IJCAI/AAAI Press, (2016)Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward., , und . IJCAI, Seite 5189-5193. ijcai.org, (2018)Heuristics for Hard ASP Programs., , und . IJCAI, Seite 1562-1563. Professional Book Center, (2005)Efficient Query Answering over Datalog with Existential Quantifiers., , , und . SEBD, Seite 155-162. Edizioni Libreria Progetto, Padova, Italy, (2012)Stable Model Semantics and its Computation for Ordered Logic Programs., und . ECAI, Seite 92-96. John Wiley and Sons, (1992)ASP-Core-2 Input Language Format., , , , , , , , , und . CoRR, (2019)Hypertree Decompositions and Tractable Queries, , und . CoRR, (1998)Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming, , , und . CoRR, (2002)Team-building with answer set programming in the Gioia-Tauro seaport., , , , , , und . Theory Pract. Log. Program., 12 (3): 361-381 (2012)