( en | de | ru )

 

Disambiguierung von "Pearce, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reducing Propositional Theories in Equilibrium Logic to Logic Programs.

, , und . Answer Set Programming, Volume 142 von CEUR Workshop Proceedings, CEUR-WS.org, (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.

Danny Pearce

Olinkha Gustafson-Pearce

Bodo David

Erich David

Ernst David

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Logic and Computation of Partial Equilibrium Models., , , und . JELIA, Volume 4160 von Lecture Notes in Computer Science, Seite 82-94. Springer, (2006)A Tableau Calculus for Equilibrium Entailment., , und . TABLEAUX, Volume 1847 von Lecture Notes in Computer Science, Seite 352-367. Springer, (2000)Simplifying Logic Programs Under Answer Set Semantics.. ICLP, Volume 3132 von Lecture Notes in Computer Science, Seite 210-224. Springer, (2004)Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning.. WLP, Volume 90 von GMD Report, Seite 17. (2000)Default Logic and Constructive Logic.. ECAI, Seite 309-313. John Wiley and Sons, (1992)The ETSI extended distributed speech recognition (DSR) standards: client side processing and tonal language recognition evaluation., , , , , , , und . ICASSP (1), Seite 129-132. IEEE, (2004)Disjunctive Logic Programming, Constructivity and Strong Negation., und . JELIA, Volume 633 von Lecture Notes in Computer Science, Seite 391-410. Springer, (1992)Answer Sets and Nonmonotonic S4.. ELP, Volume 798 von Lecture Notes in Computer Science, Seite 255-267. Springer, (1993)A Logical Semantics for Description Logic Programs., und . JELIA, Volume 6341 von Lecture Notes in Computer Science, Seite 156-168. Springer, (2010)Foundations and Extensions of Answer Set Programming: The Logical Approach.. LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 10-11. Springer, (2011)