( en | de | ru )

 

Disambiguierung von "Pearce, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Uniform Equivalence for Equilibrium Logic and Logic Programs.

, und . LPNMR, Volume 2923 von Lecture Notes in Computer Science, Seite 194-206. Springer, (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.

Danny Pearce

Olinkha Gustafson-Pearce

Erich David

Ernst David

Baruch Davidoff

 

Weitere Publikationen von Autoren mit dem selben Namen

Partial equilibrium logic., , , und . Ann. Math. Artif. Intell., 50 (3-4): 305-331 (2007)Interpolable Formulas in Equilibrium Logic and Answer Set Programming., , und . J. Artif. Intell. Res., (2011)A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation., , , und . LPNMR, Volume 4483 von Lecture Notes in Computer Science, Seite 44-57. Springer, (2007)Foundations and Extensions of Answer Set Programming: The Logical Approach.. LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 10-11. Springer, (2011)Routley Semantics for Answer Sets., und . LPNMR, Volume 3662 von Lecture Notes in Computer Science, Seite 343-355. Springer, (2005)Nonmonotonicity and Answer Set Inference.. LPNMR, Volume 928 von Lecture Notes in Computer Science, Seite 372-387. Springer, (1995)A Logical Semantics for Description Logic Programs., und . JELIA, Volume 6341 von Lecture Notes in Computer Science, Seite 156-168. Springer, (2010)Answer Sets and Nonmonotonic S4.. ELP, Volume 798 von Lecture Notes in Computer Science, Seite 255-267. Springer, (1993)Simplifying Logic Programs Under Answer Set Semantics.. ICLP, Volume 3132 von Lecture Notes in Computer Science, Seite 210-224. Springer, (2004)A Tableau Calculus for Equilibrium Entailment., , und . TABLEAUX, Volume 1847 von Lecture Notes in Computer Science, Seite 352-367. Springer, (2000)