Autor der Publikation

Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation.

, , und . Theory Pract. Log. Program., 5 (1-2): 123-159 (2005)

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

Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming, , , und . CoRR, (2002)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)Normal Form Nested Programs., , und . Fundam. Informaticae, 96 (3): 271-295 (2009)A long tour from theory to practice., , , , und . Intelligenza Artificiale, 5 (1): 133-138 (2011)On ACTL Formulas Having Linear Counterexamples., , , und . J. Comput. Syst. Sci., 62 (3): 463-515 (2001)Join Ordering Techniques for Knowledge Base Systems., , und . SEBD, Seite 79-93. (2001)Efficient Query Answering over Datalog with Existential Quantifiers., , , und . SEBD, Seite 155-162. Edizioni Libreria Progetto, Padova, Italy, (2012)An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots., , , , , , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 32-44. Springer, (2019)Computing LOGCFL Certificates., , und . ICALP, Volume 1644 von Lecture Notes in Computer Science, Seite 361-371. Springer, (1999)Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications., und . Reasoning Web, Volume 9203 von Lecture Notes in Computer Science, Seite 308-326. Springer, (2015)