From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Logic Programs with Classical Negation., и . ICLP, стр. 579-597. MIT Press, (1990)Automated Reasoning About Actions: A Logic Programming Approach., , и . ILPS, стр. 641. MIT Press, (1993)What are the Limitations of the Situation Calculus?, , и . Automated Reasoning: Essays in Honor of Woody Bledsoe, стр. 167-180. Kluwer Academic Publishers, (1991)Weight Constraints as Nested Expressions, и . CoRR, (2003)Two-Valued Logic Programs.. ICLP (Technical Communications), том 17 из LIPIcs, стр. 259-266. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)On equivalence of infinitary formulas under the stable model semantics., , и . 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, , и . 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., и . SIAM J. Comput., 12 (2): 329-346 (1983)