Autor der Publikation

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

Logic Programs with Classical Negation., und . ICLP, Seite 579-597. MIT Press, (1990)Automated Reasoning About Actions: A Logic Programming Approach., , und . ILPS, Seite 641. MIT Press, (1993)What are the Limitations of the Situation Calculus?, , und . Automated Reasoning: Essays in Honor of Woody Bledsoe, Seite 167-180. Kluwer Academic Publishers, (1991)Weight Constraints as Nested Expressions, und . CoRR, (2003)Two-Valued Logic Programs.. ICLP (Technical Communications), Volume 17 von LIPIcs, Seite 259-266. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)On equivalence of infinitary formulas under the stable model semantics., , und . Theory Pract. Log. Program., 15 (1): 18-34 (2015)Achievements in answer set programming.. Theory Pract. Log. Program., 17 (5-6): 961-973 (2017)Temporal Phylogenetic Networks and Logic Programming, , und . CoRR, (2005)On the Declarative Semantics of Logic Programs with Negation.. Foundations of Deductive Databases and Logic Programming., Morgan Kaufmann, (1988)The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms., und . SIAM J. Comput., 12 (2): 329-346 (1983)