The following publications are possibly variants of this publication:
- Answer Set ProgrammingVladimir Lifschitz. Springer, 2019. [doi]
- Action Languages, Answer Sets, and PlanningVladimir Lifschitz. In Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David Scott Warren, editors, The Logic Programming Paradigm - A 25-Year Perspective. Artificial Intelligence, pages 357-373, Springer, 1999. [doi]
- Calculational ProofsVladimir Lifschitz. In Krzysztof R. Apt, Tony Hoare, editors, Edsger Wybe Dijkstra: His Life, Work, and Legacy. pages 231-246, ACM / Morgan & Claypool, 2022. [doi]
- On the Declarative Semantics of Logic Programs with NegationVladimir Lifschitz. In Foundations of Deductive Databases and Logic Programming.. pages 177-192, 1988.
- On the Satisfiability of CircumscriptionVladimir Lifschitz. ai, 28(1):17-27, 1986.
- On the Logic of Causal Explanation (Research Note)Vladimir Lifschitz. ai, 96(2):451-465, 1997. [doi]
- Nested Abnormality TheoriesVladimir Lifschitz. ai, 74(2):351-365, 1995. [doi]
- What Is the Inverse Method?Vladimir Lifschitz. JAR, 5(1):1-23, 1989.
- ECWA Made EasyVladimir Lifschitz. AMAI, 14(2-4):269-274, 1995.
- The Logic of Common SenseVladimir Lifschitz. ACM Comput. Surv., 27(3):343-345, 1995.
- On Program Completion, with an Application to the Sum and Product PuzzleVladimir Lifschitz. tplp, 23(4):664-677, July 2023. [doi]
- Strong Equivalence of Logic Programs with CountingVladimir Lifschitz. tplp, 22(4):573-588, 2022. [doi]