( en | de | ru )

 

Disambiguierung von "Faber, Wolfgang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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.

Wolfgang Faber

Wolfgang Faber

Wolfgang Faber

Wolfgang Faber

Wolfgang Faber

 

Weitere Publikationen von Autoren mit dem selben Namen

ASP-Core-2 Input Language Format., , , , , , , , , und . Theory Pract. Log. Program., 20 (2): 294-309 (2020)Thirty years of Epistemic Specifications., , und . Theory Pract. Log. Program., 22 (6): 1043-1083 (2022)Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers., , und . PADL, Volume 13165 von Lecture Notes in Computer Science, Seite 42-56. Springer, (2022)DLV - A System for Declarative Problem Solving, , , , und . CoRR, (2000)Design and implementation of aggregate functions in the DLV system., , , , und . Theory Pract. Log. Program., 8 (5-6): 545-580 (2008)The DLV System for Knowledge Representation and Reasoning, , , , , , und . CoRR, (2002)Complexity of super-coherence problems in ASP, , und . CoRR, (2012)Strong Equivalence of Qualitative Optimization Problems, , und . CoRR, (2011)Algorithm Selection for Paracoherent Answer Set Computation., , , , und . JELIA, Volume 11468 von Lecture Notes in Computer Science, Seite 479-489. Springer, (2019)Manifold Answer-Set Programs for Meta-reasoning., und . LPNMR, Volume 5753 von Lecture Notes in Computer Science, Seite 115-128. Springer, (2009)