Author of the publication

Vladimir Lifschitz - A Youth at 65.

, , , , , , , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 14-23. Springer, (2012)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Mathematical Foundations of Answer Set Programming., and . We Will Show Them! (1), page 615-664. College Publications, (2005)A generalization of the Lin-Zhao theorem., , and . Ann. Math. Artif. Intell., 47 (1-2): 79-101 (2006)Logic programs with propositional connectives and aggregates. CoRR, (2008)Almost Definite Causal Theories., , and . LPNMR, volume 2923 of Lecture Notes in Computer Science, page 74-86. Springer, (2004)Answer Sets for Propositional Theories.. LPNMR, volume 3662 of Lecture Notes in Computer Science, page 119-131. Springer, (2005)Propositional theories are strongly equivalent to logic programs., and . Theory Pract. Log. Program., 7 (6): 745-759 (2007)Weight Constraints as Nested Expressions, and . CoRR, (2003)Evaluation of the magnetization direction effects on ferrite PM brushless fractional machines., , , and . IECON, page 6194-6199. IEEE, (2012)Representing First-Order Causal Theories by Logic Programs, , , , and . CoRR, (2011)Stable models and circumscription., , and . Artif. Intell., 175 (1): 236-263 (2011)