Vladimir Lifschitz (lifschitz-v)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Campbell, Jonathan and Lifschitz, Vladimir. 2003. “Reinforcing a Claim in Commonsense Reasoning.” in AAAI-03. Working Papers of the 2003 AAAI Spring Symposium on Logical Formalization of Commonsense Reasoning, edited by Patrick Doherty, John McCarthy, and Mary-Anne Williams, pp. 51–56. Menlo Park, California: The AAAI Press.
Etherington, David W., Forbus, Kenneth D., Ginsberg, Matthew L., Israel, David J. and Lifschitz, Vladimir. 1989. “Critical Issues in Nonmonotonic Reasoning.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 500–504. San Francisco, California: Morgan Kaufmann Publishers.
Gelfond, Michael and Lifschitz, Vladimir. 1988. “The Stable Model Semantics for Logic Programming.” in Logic Programming: Proceedings of the Fifth International Conference, volume 1, edited by Robert A. Kowalski and Kenneth A. Bowen, pp. 1070–1080. Cambridge, Massachusetts: The MIT Press.
Gelfond, Michael and Lifschitz, Vladimir. 1991. “Classical Negation in Logic Programs and Disjunctive Databases.” New Generation Computing 9: 365–385.
Gelfond, Michael and Lifschitz, Vladimir. 1993. “Representing Action and Change by Logic Programs.” Journal of Logic Programming 17: 301–321.
Gelfond, Michael and Lifschitz, Vladimir. 1998. “Action Languages.” Electronic Transactions on Artificial Intelligence 3.
Gelfond, Michael, Lifschitz, Vladimir, Przymusinska, Halina and Schwartz, Grigori. 1994. “Autoepistemic Logic and Introspective Circumscription.” in TARK 1994. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fifth Conference, edited by Ronald Fagin, pp. 197–207. San Francisco, California: Morgan Kaufmann Publishers.
Gelfond, Michael, Lifschitz, Vladimir and Rabinov, Arkady. 1991. “What are the Limitations of the Situation Calculus?” in Automated Reasoning: Essays in Honor of Woody Bledsoe, edited by Robert S. Boyer, pp. 167–179. Dordrecht: Kluwer Academic Publishers.
Gelfond, Michael, Przymusinska, Halina, Lifschitz, Vladimir and Truszczynski, Miroslaw. 1991. “Disjunctive Defaults.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 230–237. San Francisco, California: Morgan Kaufmann Publishers.
Giunchiglia, Enrico, Kartha, G. Neelakantan and Lifschitz, Vladimir. 1997. “Representing Action: Indeterminacy and Ramifications.” Artificial Intelligence 95(2): 409–438.
Giunchiglia, Enrico, Lee, Joohyung, Lifschitz, Vladimir, McCain, Norman and Turner, Hudson. 2001. “Nonmonotonic Causal Theories.” Artificial Intelligence 153(5–6): 49–104.
Giunchiglia, Enrico and Lifschitz, Vladimir. 1995. “Dependent Fluents.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1964–1969. San Francisco, California: Morgan Kaufmann Publishers.
Giunchiglia, Enrico and Lifschitz, Vladimir. 1998. “An Action Language Based on Causal Explanation.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems III: Belief Change, edited by Didier Dubois and Henri Prade, pp. 623–628. Dordrecht: Kluwer Academic Publishers.
Giunchiglia, Enrico and Lifschitz, Vladimir. 1999. “Action Languages, Temporal Action Logics and the Situation Calculus.” in IJCAI-99. Workshop on Nonmonotonic Reasoning, Action and Change, edited by Michael Thielscher, pp. 33–40. Murray Hill, New Jersey: International Joint Conference on Artificial Intelligence.
Kartha, G. Neelakantan and Lifschitz, Vladimir. 1994. “Actions with Indirect Effects (Preliminary Report).” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 341–350. San Francisco, California: Morgan Kaufmann Publishers.
Kartha, G. Neelakantan and Lifschitz, Vladimir. 1995a. “A Simple Formalization of Actions Using Circumscription.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1970–1975. San Francisco, California: Morgan Kaufmann Publishers.
Kartha, G. Neelakantan and Lifschitz, Vladimir. 1995b. “Soundness and Completeness Theorems for Three Formalizations of Action.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 724–729. San Francisco, California: Morgan Kaufmann Publishers.
Lifschitz, Vladimir. 1984. “Some Results on Circumscription.” in Non-Monotonic Reasoning Workshop: October 17–19, 1984, Mohonk Mountain House, New Paltz, New York, pp. 151–164. Menlo Park, California: The AAAI Press.
Lifschitz, Vladimir. 1985a. “Calculable Natural Numbers.” in Intensional Mathematics, edited by Stewart Shapiro, pp. 173–190. Studies in Logic and the Foundations of Mathematics n. 113. Amsterdam: North-Holland Publishing Co.
Lifschitz, Vladimir. 1985b. “Closed-World Databases and Circumscription.” Artificial Intelligence 27(2): 229–235. Reprinted in Ginsberg (1987, 334–336).
Lifschitz, Vladimir. 1985c. “Computing Circumscription.” in IJCAI-85. Proceedings of the 9th International Joint Conference on Artificial Intelligence, edited by Arivind K. Joshi, pp. 121–127. San Francisco, California: Morgan Kaufmann Publishers. Reprinted in Ginsberg (1987, 167–173).
Lifschitz, Vladimir. 1986a. “Pointwise Circumscription: Preliminary Report.” in AAAI-86. Proceedings of the Fifth National Conference on Artificial Intelligence, edited by Tom Kehler and Stanley J. Rosenschein, pp. 121–127. Menlo Park, California: The AAAI Press.
Lifschitz, Vladimir. 1986b. “On the Satisfiability of Circumscription.” Artificial Intelligence 28(1): 17–27.
Lifschitz, Vladimir. 1986c. “Pointwise Circumscription.” in AAAI-86. Proceedings of the Fifth National Conference on Artificial Intelligence, edited by Tom Kehler and Stanley J. Rosenschein, pp. 406–410. Menlo Park, California: The AAAI Press. Reprinted in Ginsberg (1987, 179–193).
Lifschitz, Vladimir. 1987a. “On the Semantics of strips.” in Reasoning about Actions and Plans, Proceedings of the 1986 Workshop at Timberline, Oregon, edited by Michael P. Georgeff and Amy L. Lansky, pp. 1–9. San Francisco, California: Morgan Kaufmann Publishers. Reprinted in Allen, Hendler and Tate (1990, 523–530).
Lifschitz, Vladimir. 1987b. “Formal Theories of Action: Preliminary Report.” in IJCAI-87. Proceedings of the 10th International Joint Conference on Artificial Intelligence, edited by John McDermott. San Francisco, California: Morgan Kaufmann Publishers.
Lifschitz, Vladimir. 1987c. “Formal Theories of Action.” in AAAI-87. Proceedings of the 1987 Workshop on the Frame Problem in Artificial Intelligence, edited by Frank Malloy Brown, pp. 35–57. San Francisco, California: Morgan Kaufmann Publishers. Reprinted in Ginsberg (1987, 410–432).
Lifschitz, Vladimir. 1987d. “Benchmark Problems for Non-Monotonic Formal Reasoning, Version 2.00.” in Second International Workshop on Non-Monotonic Reasoning, edited by Michael Reinfrank, Johan de Kleer, and Erik Sandewall, pp. 202–219. Berlin: Springer.
Lifschitz, Vladimir. 1987e. “On the Declarative Semantics of Logic Programs with Negation.” in Readings in Nonmonotonic Reasoning, edited by Matthew L. Ginsberg, pp. 337–350. San Francisco, California: Morgan Kaufmann Publishers. Reprinted in Minker (1988, 177–192).
Lifschitz, Vladimir. 1988. “Circumscriptive Theories: A Logic-Based Framework for Knowledge Representation.” The Journal of Philosophical Logic 17(3): 391–441. Reprinted in Thomason (1989, 109–159).
Lifschitz, Vladimir. 1989. “Between Circumscription and Autoepistemic Logic.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 235–244. San Francisco, California: Morgan Kaufmann Publishers.
Lifschitz, Vladimir, ed. 1990a. Formalizing Common Sense: Papers by John McCarthy. Norwood, New Jersey: Ablex Publishing Co.
Lifschitz, Vladimir. 1990b. “Frames in the Space of Situations.” Artificial Intelligence 46(3): 365–376.
Lifschitz, Vladimir. 1990c. “Understanding Common Sense: McCarthy’s Research in Artificial Intelligence.” in Formalizing Common Sense: Papers by John McCarthy, edited by Vladimir Lifschitz, pp. 1–8. Norwood, New Jersey: Ablex Publishing Co.
Lifschitz, Vladimir, ed. 1991a. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. New York: Academic Press.
Lifschitz, Vladimir. 1991b. “Towards a Metatheory of Action.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 376–386. San Francisco, California: Morgan Kaufmann Publishers.
Lifschitz, Vladimir. 1993. “Restricted Monotonicity.” in AAAI-93. Proceedings of the Eleventh National Conference on Artificial Intelligence, edited by Richard E. Fikes and Wendy G. Lehnert, pp. 432–437. Menlo Park, California: The AAAI Press.
Lifschitz, Vladimir. 1994a. “Minimal Belief and Negation as Failure.” Artificial Intelligence 70(1–2): 53–72.
Lifschitz, Vladimir. 1994b. “Circumscription.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 298–352. Oxford: Oxford University Press.
Lifschitz, Vladimir. 1995b. “Nested Abnormality Theories.” Artificial Intelligence 74(2): 351–365.
Lifschitz, Vladimir. 1996a. “Two Components of an Action Language.” in, pp. 89–95. Republished as Lifschitz (1997b).
Lifschitz, Vladimir. 1996b. “Foundations of Logic Programming.” in Principles of Knowledge Representation, edited by Gerhard Brewka, pp. 69–127. Stanford, California: CSLI Publications.
Lifschitz, Vladimir. 1997a. “On the Logic of Causal Explanation.” Artificial Intelligence 96(2): 451–465.
Lifschitz, Vladimir. 1997b. “Two Components of an Action Language.” Annals of Mathematics and Artificial Intelligence 21: 305–320.
Lifschitz, Vladimir. 1998. “Situation Calculus and Causal Logic.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 536–546. San Francisco, California: Morgan Kaufmann Publishers. Reprinted in Ortiz (1998, 31–37).
Lifschitz, Vladimir. 2000a. “Missionaries and Cannibals in the Causal Calculator.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 85–96. San Francisco, California: Morgan Kaufmann Publishers.
Lifschitz, Vladimir. 2000b. “Review of Shanahan (1997).” Artificial Intelligence 123(1–2): 265–268.
Lifschitz, Vladimir. 2002. “Answer Set Generation and Plan Generation.” Artificial Intelligence 138(1–2): 39–54.
Lifschitz, Vladimir. 2010. “From C-Believed Propositions to Causal Calculator.” in Heuristics, Probability and Causality. A Tribute to Judea Pearl, edited by Rina Dechter, Héctor Geffner, and Joseph Y. Halpern, pp. 407–414. Tributes n. 11. London: King’s College Publications.
Lifschitz, Vladimir, McCain, Norman, Remolina, Emilio and Tacchella, Armando. 2000. “Getting to the Airport: The Oldest Planning Problem in AI.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 147–165. Dordrecht: Kluwer Academic Publishers.
Lifschitz, Vladimir, McCarthy, John, Morgenstern, Leora and Shoham, Yoav, eds. 1993. Proceedings of the Second Symposium on Logical Formalizations of Commonsense Reasoning. Menlo Park, California: The AAAI Press.
Lifschitz, Vladimir and Rabinov, Arkady. 1989. “Miracles in Formal Theories of Action.” Artificial Intelligence 38(2): 225–237.
Lifschitz, Vladimir and Shvarts, Grigori F. 1993. “Extended Logic Programs as Autoepistemic Theories.”
Lifschitz, Vladimir and Turner, Hudson. 1995. “From Disjunctive Programs to Abduction.” in Non-Monotonic Extensions of Logic Programming, edited by Jürgen Dix, Luı́s Moniz Pereira, and Teodor C. Przymusinski, pp. 23–42. Lecture Notes in Artifical Intelligence n. 927. Berlin: Springer.
Lifschitz, Vladimir and Woo, T. 1992. “Answer Sets in General Nonmonotonic Reasoning (Preliminary Report).” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 603–614. San Francisco, California: Morgan Kaufmann Publishers.
Further References
Allen, James F., Hendler, James A. [Jim] and Tate, Austin, eds. 1990. Readings in Planning. San Francisco, California: Morgan Kaufmann Publishers.
Ginsberg, Matthew L., ed. 1987. Readings in Nonmonotonic Reasoning. San Francisco, California: Morgan Kaufmann Publishers.
Minker, Jack, ed. 1988. Foundations of Deductive Databases and Logic Programming. San Francisco, California: Morgan Kaufmann Publishers.
Ortiz, Charles L., Jr., ed. 1998. AAAI-98. Working Notes of the AAAI Spring Symposium on Prospects for a Commonsense Theory of Causation. Menlo Park, California: The AAAI Press.
Thomason, Richmond H., ed. 1989. Philosophical Logic and Artificial Intelligence. Dordrecht: Kluwer Academic Publishers.