( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Logic Programs vs. First-Order Formulas in Textual Inference.

, и . IWCS, стр. 340-346. The Association for Computer Linguistics, (2013)

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 Dyakonov

Vladimir Milutinovi

Vladimir Spokoiny

 

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

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)Introduction to answer set programming. Unpublished draft, (2004)Automated Reasoning About Actions: A Logic Programming Approach., , и . ILPS, стр. 641. MIT Press, (1993)Logic Programs with Classical Negation., и . ICLP, стр. 579-597. MIT Press, (1990)What are the Limitations of the Situation Calculus?, , и . Automated Reasoning: Essays in Honor of Woody Bledsoe, стр. 167-180. Kluwer Academic Publishers, (1991)On the Declarative Semantics of Logic Programs with Negation.. Foundations of Deductive Databases and Logic Programming., Morgan Kaufmann, (1988)Twelve Definitions of a Stable Model.. ICLP, том 5366 из Lecture Notes in Computer Science, стр. 37-51. Springer, (2008)Loop Checking and the Wll-Founded Semantics., , , и . LPNMR, том 928 из Lecture Notes in Computer Science, стр. 127-142. Springer, (1995)An Action Language Based on Causal Explanation: Preliminary Report., и . AAAI/IAAI, стр. 623-630. AAAI Press / The MIT Press, (1998)