( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mathematical foundations of answer set programming

, и . We Will Show Them! Essays in Honour of Dov Gabbay, (2005)

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.

Ilja Lifschitz

Scholom Lifschitz

Vladimir Legradi

Vladimir Spasitsch

Vladimir Zonine

 

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

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)Weight Constraints as Nested Expressions, и . CoRR, (2003)Achievements in answer set programming.. Theory Pract. Log. Program., 17 (5-6): 961-973 (2017)On equivalence of infinitary formulas under the stable model semantics., , и . Theory Pract. Log. Program., 15 (1): 18-34 (2015)Two-Valued Logic Programs.. ICLP (Technical Communications), том 17 из LIPIcs, стр. 259-266. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Logic Programs with Classical Negation., и . ICLP, стр. 579-597. MIT Press, (1990)Automated Reasoning About Actions: A Logic Programming Approach., , и . ILPS, стр. 641. MIT Press, (1993)Introduction to answer set programming. Unpublished draft, (2004)Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions., , и . Ann. Math. Artif. Intell., 21 (2-4): 129 (1997)