Vladimir Lifschitz

From Tetherless World Wiki

Jump to: navigation, search
Vladimir Lifschitz [ Edit ]
Photo:
Name: Vladimir Lifschitz
Occupation:
Affiliation(s):
Homepage(s):
Email(s):
Phone:
Fax:
Interests:
Other tags:
Alias:
Please also add"{{alias}}" to your alias pages.


Publication

Update publication from DBLP

  1. Joohyung Lee, Vladimir Lifschitz, Ravi Palla. Safe Formulas in the General Theory of Stable Models (Preliminary Report), In ICLP, pp. 672-676, 2008 .
  2. Vladimir Lifschitz. What Is Answer Set Programming?, In AAAI, pp. 1594-1597, 2008 .
  3. Vladimir Lifschitz. Twelve Definitions of a Stable Model, In ICLP, pp. 37-51, 2008 .
  4. Joohyung Lee, Vladimir Lifschitz, Ravi Palla. A Reductive Semantics for Counting and Choice in Answer Set Programming, In AAAI, pp. 472-479, 2008 .
  5. Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz. A New Perspective on Stable Models, In IJCAI, pp. 372-379, 2007 (Download) .
  6. Vladimir Lifschitz, David Pearce, Agust\' \i n Valverde. A Characterization of Strong Equivalence for Logic Programs with Variables, In LPNMR, pp. 188-200, 2007 .
  7. Vladimir Lifschitz, Wanwan Ren. The Semantics of Variables in Action Descriptions, In AAAI, pp. 1025-1030, 2007 (Download) .
  8. Esra Erdem, Vladimir Lifschitz, Donald Ringe. Temporal phylogenetic networks and logic programming, In TPLP, 6(5):539-558, 2006 .
  9. Selim T. Erdogan, Vladimir Lifschitz. Actions as Special Cases, In KR, pp. 377-388, 2006 .
  10. Vladimir Lifschitz, Wanwan Ren. A Modular Action Description Language, In AAAI, , 2006 (Download) .
  11. Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz. A generalization of the Lin-Zhao theorem, In Ann. Math. Artif. Intell., 47(1-2):79-101, 2006 .
  12. Vladimir Lifschitz, Alexander A. Razborov. Why are there so many loop formulas?, In ACM Trans. Comput. Log., 7(2):261-268, 2006 .
  13. Vladimir Lifschitz. Actions, Causation and Logic Programming, In ILP, pp. 1, 2006 .
  14. Paolo Ferraris, Vladimir Lifschitz. Mathematical Foundations of Answer Set Programming, In We Will Show Them! (1), pp. 615-664, 2005 .
  15. Esra Erdem, Vladimir Lifschitz, Donald Ringe. Temporal Phylogenetic Networks and Logic Programming, In CoRR, abs/cs/0508129, 2005 .
  16. Vladimir Lifschitz. What is a Logic Program, In Answer Set Programming, , 2005 .
  17. Paolo Ferraris, Vladimir Lifschitz. Weight constraints as nested expressions, In TPLP, 5(1-2):45-74, 2005 .
  18. Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner. Nonmonotonic causal theories, In Artif. Intell., 153(1-2):49-104, 2004 .
  19. Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz. Almost Definite Causal Theories, In LPNMR, pp. 74-86, 2004 .
  20. Varol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner. Representing the Zoo World and the Traffic World in the language of the Causal Calculator, In Artif. Intell., 153(1-2):105-140, 2004 .
  21. Esra Erdem, Vladimir Lifschitz. Tight Logic Programs, In CoRR, cs.AI/0302038, 2003 .
  22. Selim T. Erdogan, Vladimir Lifschitz. Definitions in Answer Set Programming: (Extended Abstract), In ICLP, pp. 483-484, 2003 .
  23. Paolo Ferraris, Vladimir Lifschitz. Weight Constraints as Nested Expressions, In CoRR, cs.AI/0312045, 2003 .
  24. Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe. Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming, In PADL, pp. 160-176, 2003 .
  25. Joohyung Lee, Vladimir Lifschitz. Describing Additive Fluents in Action Language C+, In IJCAI, pp. 1079-1084, 2003 (Download) .
  26. Joohyung Lee, Vladimir Lifschitz. Loop Formulas for Disjunctive Logic Programs, In ICLP, pp. 451-465, 2003 .
  27. Esra Erdem, Vladimir Lifschitz. Tight logic programs, In TPLP, 3(4-5):499-518, 2003 .
  28. Vladimir Lifschitz. Why Sam doesn't know calculus, In NMR, pp. 5, 2002 .
  29. Vladimir Lifschitz. Answer set programming and plan generation, In Artif. Intell., 138(1-2):39-54, 2002 .
  30. Esra Erdem, Vladimir Lifschitz. Fages' Theorem for Programs with Nested Expressions, In ICLP, pp. 242-254, 2001 .
  31. Joohyung Lee, Vladimir Lifschitz. Additive Fluents, In Answer Set Programming, , 2001 .
  32. Vladimir Lifschitz. On calculational proofs, In Ann. Pure Appl. Logic, 113(1-3):207-224, 2001 .
  33. Vladimir Lifschitz, David Pearce, Agust\' \i n Valverde. Strongly equivalent logic programs, In ACM Trans. Comput. Log., 2(4):526-541, 2001 .
  34. Esra Erdem, Vladimir Lifschitz, Martin D. F. Wong. Wire Routing and Satisfiability Planning, In Computational Logic, pp. 822-836, 2000 .
  35. Vladimir Lifschitz. Missionaries and Cannibals in the Causal Calculator, In KR, pp. 85-96, 2000 .
  36. Yuliya Babovich, Esra Erdem, Vladimir Lifschitz. Fages' Theorem and Answer Set Programming, In CoRR, cs.AI/0003042, 2000 .
  37. Vladimir Lifschitz. Review: M. Shanahan, Solving the Frame Problem, In Artif. Intell., 123(1-2):265-268, 2000 .
  38. Vladimir Lifschitz, Hudson Turner. Representing Transition Systems by Logic Programs, In LPNMR, pp. 92-106, 1999 .
  39. Vladimir Lifschitz. Answer Set Planning, In ICLP, pp. 23-37, 1999 .
  40. Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner. Nested Expressions in Logic Programs, In Ann. Math. Artif. Intell., 25(3-4):369-389, 1999 .
  41. Vladimir Lifschitz. Answer Set Planning (Abstract), In LPNMR, pp. 373-374, 1999 .
  42. Esra Erdem, Vladimir Lifschitz. Transformations of Logic Programs Related to Causality and Planning, In LPNMR, pp. 107-116, 1999 .
  43. Michael Gelfond, Vladimir Lifschitz. Action Languages, In Electron. Trans. Artif. Intell., 2:193-210, 1998 .
  44. Vladimir Lifschitz. Situation Calculus and Causal Logic, In KR, pp. 536-546, 1998 .
  45. Enrico Giunchiglia, Vladimir Lifschitz. An Action Language Based on Causal Explanation: Preliminary Report, In AAAI/IAAI, pp. 623-630, 1998 (Download) .
  46. Vladimir Lifschitz. On the Logic of Causal Explanation (Research Note), In Artif. Intell., 96(2):451-465, 1997 .
  47. Vladimir Lifschitz. Two Components of an Action Language, In Ann. Math. Artif. Intell., 21(2-4):305-320, 1997 .
  48. Mois \'e s Goldszmidt, Vladimir Lifschitz. The Sixth International Workshop on Nonmonotonic Reasoning (Workshop Report)., In AI Magazine, 18(3):89-90, 1997 .
  49. Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz. Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions, In Ann. Math. Artif. Intell., 21(2-4):129, 1997 .
  50. Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz. Representing Action: Indeterminacy and Ramifications, In Artif. Intell., 95(2):409-438, 1997 .
  51. Vladimir Lifschitz. ECWA Made Easy, In Ann. Math. Artif. Intell., 14(2-4):269-274, 1995 .
  52. G. Neelakantan Kartha, Vladimir Lifschitz. A Simple Formalization of Actions Using Circumscription, In IJCAI, pp. 1970-1977, 1995 (Download) .
  53. Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. St \"a rk. Loop Checking and the Wll-Founded Semantics, In LPNMR, pp. 127-142, 1995 .
  54. Vladimir Lifschitz. Nested Abnormality Theories, In Artif. Intell., 74(2):351-365, 1995 .
  55. Vladimir Lifschitz. The Logic of Common Sense, In ACM Comput. Surv., 27(3):343-345, 1995 .
  56. Enrico Giunchiglia, Vladimir Lifschitz. Dependent Fluents, In IJCAI, pp. 1964-1969, 1995 (Download) .
  57. Vladimir Lifschitz. SLDNF, Constructive Negation and Grounding, In ICLP, pp. 581-595, 1995 .
  58. Vladimir Lifschitz. Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning, In J. Autom. Reasoning, 14(1):1, 1995 .
  59. Vladimir Lifschitz. Minimal Belief and Negation as Failure, In Artif. Intell., 70(1-2):53-72, 1994 .
  60. G. Neelakantan Kartha, Vladimir Lifschitz. Actions with Indirect Effects (Preliminary Report), In KR, pp. 341-350, 1994 .
  61. Vladimir Lifschitz, Hudson Turner. Splitting a Logic Program, In ICLP, pp. 23-37, 1994 .
  62. Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz. Autoepistemic Logic and Introspective Circumscription, In TARK, pp. 197-207, 1994 .
  63. Vladimir Lifschitz, Hudson Turner. From Disjunctive Programs to Abduction, In NMELP, pp. 23-42, 1994 .
  64. Vladimir Lifschitz, Grigori Schwarz. Extended Logic Programs as Autoepistemic Theories, In LPNMR, pp. 101-114, 1993 .
  65. Michael Gelfond, Vladimir Lifschitz. Representing Action and Change by Logic Programs, In J. Log. Program., 17(2/3 \& 4):301-321, 1993 .
  66. Vladimir Lifschitz, Norman McCain, Hudson Turner. Automated Reasoning About Actions: A Logic Programming Approach, In ILPS, pp. 641, 1993 .
  67. Vladimir Lifschitz. Restricted Monotonicity, In AAAI, pp. 432-437, 1993 (Download) .
  68. Vladimir Lifschitz, Thomas Y. C. Woo. Answer Sets in General Nonmonotonic Reasoning (Preliminary Report), In KR, pp. 603-614, 1992 .
  69. Michael Gelfond, Vladimir Lifschitz. Representing Actions in Extended Logic Programming, In JICSLP, pp. 559-573, 1992 .
  70. Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski. Disjective Defaults, In KR, pp. 230-237, 1991 .
  71. Michael Gelfond, Vladimir Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases, In New Generation Comput., 9(3/4):365-386, 1991 .
  72. Vladimir Lifschitz. Toward a Metatheory of Action, In KR, pp. 376-386, 1991 .
  73. Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov. What are the Limitations of the Situation Calculus?, In Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 167-180, 1991 .
  74. Vladimir Lifschitz. Nonmonotonic Databases and Epistemic Queries, In IJCAI, pp. 381-386, 1991 (Download) .
  75. Vladimir Lifschitz. Frames in the Space of Situations, In Artif. Intell., 46(3):365-376, 1990 .
  76. Michael Gelfond, Vladimir Lifschitz. Logic Programs with Classical Negation, In ICLP, pp. 579-597, 1990 .
  77. David W. Etherington, Kenneth D. Forbus, Matthew L. Ginsberg, David J. Israel, Vladimir Lifschitz. Critical Issues in Nonmonotonic Reasoning, In KR, pp. 500-504, 1989 .
  78. Vladimir Lifschitz. Logical Foundations of Deductive Databases, In IFIP Congress, pp. 315-321, 1989 .
  79. Vladimir Lifschitz. What Is the Inverse Method?, In J. Autom. Reasoning, 5(1):1-23, 1989 .
  80. Vladimir Lifschitz, Arkady Rabinov. Things That Change by Themselves, In IJCAI, pp. 864-867, 1989 (Download) .
  81. Vladimir Lifschitz. The Mathematics of Nonmonotonic Reasoning (Abstract), In LICS, pp. 242, 1989 .
  82. Vladimir Lifschitz. Between Circumscription and Autoepistemic Logic, In KR, pp. 235-244, 1989 .
  83. Vladimir Lifschitz, Arkady Rabinov. Miracles in Formal Theories of Action, In Artif. Intell., 38(2):225-237, 1989 .
  84. Michael Gelfond, Vladimir Lifschitz. Compiling Circumscriptive Theories into Logic Programs, In AAAI, pp. 455-449, 1988 (Download) .
  85. Vladimir Lifschitz. Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00, In NMR, pp. 202-219, 1988 .
  86. Vladimir Lifschitz. On the Declarative Semantics of Logic Programs with Negation, In Foundations of Deductive Databases and Logic Programming., pp. 177-192, 1988 .
  87. Michael Gelfond, Vladimir Lifschitz. The Stable Model Semantics for Logic Programming, In ICLP/SLP, pp. 1070-1080, 1988 .
  88. Vladimir Lifschitz. Formal Theories of Action (Preliminary Report), In IJCAI, pp. 966-972, 1987 (Download) .
  89. Vladimir Lifschitz. Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report), In AAAI, pp. 364-368, 1987 (Download) .
  90. Vladimir Lifschitz. Pointwise Circumscription: Preliminary Report, In AAAI, pp. 406-410, 1986 (Download) .
  91. Vladimir Lifschitz. On the Satisfiability of Circumscription, In Artif. Intell., 28(1):17-27, 1986 .
  92. Vladimir Lifschitz. Computing Circumscription, In IJCAI, pp. 121-127, 1985 (Download) .
  93. Vladimir Lifschitz. Closed-World Databases and Circumscription, In Artif. Intell., 27(2):229-235, 1985 .
  94. Vladimir Lifschitz. Some Results on Circumscription, In NMR, pp. 151-164, 1984 .
  95. Vladimir Lifschitz. On Verification of Programs With Goto Statements, In Inf. Process. Lett., 18(4):221-225, 1984 .
  96. Vladimir Lifschitz, Leon Pesotchinsky. A Note on the Complexity of a Partition Algorithm, In Inf. Process. Lett., 17(3):117-120, 1983 .
  97. Vladimir Lifschitz, Boris Pittel. The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms, In SIAM J. Comput., 12(2):329-346, 1983 .
  98. Vladimir Lifschitz. Constructive Assertions in an Extension of Classical Mathematics, In J. Symb. Log., 47(2):359-387, 1982 .
  99. Vladimir Lifschitz, Boris Pittel. The Number of Increasing Subsequences of the Random Permutation, In J. Comb. Theory, Ser. A, 31(1):1-20, 1981 .

External Links

More information on Google, and DBLP

Facts about Vladimir LifschitzRDF feed
Foaf:depiction Anonymous.png  +
Foaf:firstName Vladimir  +
Foaf:name Vladimir Lifschitz  +
Foaf:surname Lifschitz  +
Has identifier Vladimir Lifschitz  +
Retrieved from "http://tw.rpi.edu/wiki/Vladimir_Lifschitz"
Personal tools