( en | de | ru )

 

Disambiguierung von "Faber, Wolfgang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A logic programming approach to knowledge-state planning: Semantics and complexity.

, , , , und . ACM Trans. Comput. Log., 5 (2): 206-263 (2004)

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

Design and implementation of aggregate functions in the DLV system., , , , und . Theory Pract. Log. Program., 8 (5-6): 545-580 (2008)The Diagnosis Frontend of the dlv System., , , und . AI Commun., 12 (1-2): 99-111 (1999)Answer Set Programming., , und . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Strong Equivalence of Qualitative Optimization Problems, , und . CoRR, (2011)Manifold Answer-Set Programs and Their Applications., und . Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, Volume 6565 von Lecture Notes in Computer Science, Seite 44-63. Springer, (2011)Manifold Answer-Set Programs for Meta-reasoning., und . LPNMR, Volume 5753 von Lecture Notes in Computer Science, Seite 115-128. Springer, (2009)Dynamic Magic Sets and super-coherent answer set programs., und . AI Commun., 24 (2): 125-145 (2011)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)Complexity of super-coherence problems in ASP, , und . CoRR, (2012)