| Code, Nr | Citation |
|---|---|
1 | http://www.cs.utexas.edu/users/vl/mypapers/open.ps Papers by Vladimir LifschitzV. Lifschitz, " On open defaults ," in Computational Logic: Symposium Proceedings , pp. 80-95, 1990. |
2 | http://www.cs.utexas.edu/users/vl/mypapers/clnegdd.ps M. Gelfond and V. Lifschitz, " Classical negation in logic programs and disjunctive databases ," New Generation Computing , pp. 365-385, 1991. |
3 | http://www.cs.utexas.edu/users/vl/mypapers/disdef.ps M. Gelfond, V. Lifschitz, H. Przymusinska and M. Truszczynski, " Disjunctive defaults ," in Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning , pp. 230-237, 1991. |
| c-kr-91-230 | Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, and Miroslaw Truszczynski. Disjective Defaults. [postscript] Proc. International Conf on Knowledge Representation and Reasoning, 1991, pp. 230-237. |
4 | http://www.cs.utexas.edu/users/vl/mypapers/metatheory.ps V. Lifschitz, " Towards a metatheory of action ," in Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning , pp. 376-386, 1991. |
| c-kr-91-376 | Vladimir Lifschitz. Toward a Metatheory of Action. [postscript] Proc. International Conf on Knowledge Representation and Reasoning, 1991, pp. 376-386. |
5 | http://www.cs.utexas.edu/users/vl/mypapers/answersets.ps V. Lifschitz and T. Woo, " Answer sets in general nonmonotonic reasoning (preliminary report) ," in Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning , pp. 603-614, 1992. |
| c-kr-92-603 | Vladimir Lifschitz and Thomas Y. C. Woo. Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). [postscript] Proc. International Conf on Knowledge Representation and Reasoning, 1992, pp. 603-614. |
6 | http://www.cs.utexas.edu/users/vl/mypapers/editorial.ps V. Lifschitz, Editorial , Journal of Logic and Computation , Vol. 2, pp. 671-673, 1992. |
7 | http://www.cs.utexas.edu/users/vl/mypapers/rmon.ps V. Lifschitz, " Restricted monotonicity ," in Proceedings of the Eleventh National Conference on Artificial Intelligence , pp. 432-437, 1993. |
8 | http://www.cs.utexas.edu/users/vl/mypapers/ae.ps V. Lifschitz and G. Schwarz, " Extended logic programs as autoepistemic theories ," in Logic Programming and Non-monotonic Reasoning: Proceedings of the Second International Workshop , pp. 101-114, 1993. |
9 | http://www.cs.utexas.edu/users/vl/mypapers/representing_actions.ps M. Gelfond and V. Lifschitz, " Representing action and change by logic programs ," Journal of Logic Programming , Vol. 17, pp. 301-321, 1993. |
| j-jlp-17-301 | Michael Gelfond and Vladimir Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, vol. 17 (1993), pp. 301-321. |
10 | http://www.cs.utexas.edu/users/vl/mypapers/circumscription.ps V. Lifschitz, " Circumscription ," in Handbook of Logic in AI and Logic Programming , Vol. 3, Oxford University Press, pp. 298-352, 1994. |
11 | http://www.cs.utexas.edu/users/vl/mypapers/mbnf.ps V. Lifschitz, " Minimal belief and negation as failure ," Artificial Intelligence , Vol. 70, pp. 53-72, 1994. |
12 | http://www.cs.utexas.edu/users/vl/mypapers/ael_and_ic.ps M. Gelfond, V. Lifschitz, H. Przymusinska and G. Schwarz, " Autoepistemic logic and introspective circumscription ," in Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fifth Conference , pp. 197-207, 1994. |
13 | http://www.cs.utexas.edu/users/vl/mypapers/indirect0.ps G. N. Kartha and V. Lifschitz, " Actions with indirect effects (preliminary report) ," in Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning , pp. 341-350, 1994. |
| c-kr-94-341 | G. Neelakantan Kartha and Vladimir Lifschitz. Actions with Indirect Effects (Preliminary Report). [postscript] Proc. International Conf on Knowledge Representation and Reasoning, 1994, pp. 341-350. |
14 | http://www.cs.utexas.edu/users/vl/mypapers/splitting.ps V. Lifschitz and H. Turner, " Splitting a logic program ," in Proceedings of the Eleventh International Conference on Logic Programming , pp. 23-37, 1994. |
15 | http://www.cs.utexas.edu/users/vl/mypapers/abduction.ps V. Lifschitz and H. Turner, " From disjunctive programs to abduction ," in Non-Monotonic Extensions of Logic Programming (Lecture Notes in Artificial Intelligence 927) , pp. 23-42, 1995. |
16 | http://www.cs.utexas.edu/users/vl/mypapers/common_sense.ps V. Lifschitz, " The logic of common sense ," ACM Computing Surveys , Vol. 27, pp. 343-345, 1995. |
17 | http://www.cs.utexas.edu/users/vl/mypapers/nested.ps V. Lifschitz, " Nested abnormality theories ," Artificial Intelligence , Vol. 74, pp. 351-365, 1995. |
| j-aij-74-351 | Vladimir Lifschitz. Nested abnormality theories. [postscript] Artificial Intelligence Journal, vol. 74 (1995), pp. 351-365. |
18 | http://www.cs.utexas.edu/users/vl/mypapers/sldnf.ps V. Lifschitz, " SLDNF, constructive negation and grounding ," in Proceedings of the Twelfth International Conference on Logic Programming , pp. 581-595, 1995. |
19 | http://www.cs.utexas.edu/users/vl/mypapers/loop_checking.ps V. Lifschitz, N. McCain, T. Przymusinski and R. Staerk, " Loop checking and the well-founded semantics , in Logic Programming and Non-Monotonic Reasoning: Proceedings of the Third International Conference , pp. 127-142, 1995. |
20 | http://www.cs.utexas.edu/users/vl/mypapers/dependent.ps E. Giunchiglia and V. Lifschitz, " Dependent fluents ," in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence , pp. 1964-1969, 1995. |
| c-ijcai-95-1964 | E. Giunchiglia and Vladimir Lifschitz. Dependent Fluents. [postscript] Proc. International Joint Conference on Artificial Intelligence, 1995, pp. 1964-1969. |
21 | http://www.cs.utexas.edu/users/vl/mypapers/simple.ps G. N. Kartha and V. Lifschitz, " A simple formalization of actions using circumscription ," in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence , pp. 1970-1975, 1995. |
| c-ijcai-95-1970 | G. N. Kartha and Vladimir Lifschitz. A Simple Formalization of Actions Using Circumscription. [postscript] Proc. International Joint Conference on Artificial Intelligence, 1995, pp. 1970-1975. |
22 | http://www.cs.utexas.edu/users/vl/mypapers/ecwa.ps V. Lifschitz, " ECWA made easy ," Annals of Mathematics and Artificial Intelligence , Vol. 14, pp. 269-274, 1995. |
| j-amai-14-269 | Not available |
23 | http://www.cs.utexas.edu/users/vl/mypapers/flp.ps V. Lifschitz, " Foundations of logic programming ," in Principles of Knowledge Representation , CSLI Publications, pp. 69-127, 1996. |
24 | http://www.cs.utexas.edu/users/vl/mypapers/ar.ps E. Giunchiglia, N. Kartha and V. Lifschitz, " Representing action: indeterminacy and ramifications ," Artificial Intelligence , Vol. 95, pp. 409-443, 1997. |
| j-aij-95-409 | E. Giunchiglia, G.N. Kartha, and V. Lifschitz. Representing action: indeterminacy and ramifications. [postscript] Artificial Intelligence Journal, vol. 95, pp. 409-438. |
25 | http://www.cs.utexas.edu/users/vl/mypapers/causal-rn.ps V. Lifschitz, " On the logic of causal explanation ," Artificial Intelligence , Vol. 96, pp. 451-465, 1997. |
| j-aij-96-451 | V. Lifschitz. On the logic of causal explanation (Research note). [postscript] Artificial Intelligence Journal, vol. 96, pp. 451-465. |
26 | http://www.cs.utexas.edu/users/vl/mypapers/components.ps V. Lifschitz, " Two components of an action language ," Annals of Mathematics and Artificial Intelligence , Vol. 21, pp. 305-320, 1997. |
| j-amai-21-305 | Not available |
27 | http://www.cs.utexas.edu/users/vl/mypapers/challenge.ps V. Lifschitz, A problem in automated reasoning: Simplifying formulas of classical logic . Unpublished draft, 1997. |
28 | http://www.cs.utexas.edu/users/vl/mypapers/calc.ps V. Lifschitz, A calculational deductive system for propositional logic . Unpublished draft, 1997. |
29 | http://www.cs.utexas.edu/users/vl/mypapers/sc.ps V. Lifschitz, " Situation calculus and causal logic ," in Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning , pp. 536-646, 1998. |
| c-kr-98-536 | Vladimir Lifschitz. Situation Calculus and Causal Logic. [postscript] Proc. International Conf on Knowledge Representation and Reasoning, 1998, pp. 536-546. |
30 | http://www.cs.utexas.edu/users/vl/mypapers/nestedlp.ps V. Lifschitz, L. R. Tang and H. Turner, " Nested expressions in logic programs ," in Working Notes of the Seventh International Workshop on Nonmonotonic Reasoning , 1998. |
31 | http://www.cs.utexas.edu/users/vl/mypapers/c.ps E. Giunchiglia and V. Lifschitz, " An action language based on causal explanation: preliminary report ," in Proc. AAAI-98 , 1998 (to appear). |
32 | http://www.cs.utexas.edu/users/vl/mypapers/egg.ps V. Lifschitz, Cracking an egg: an exercise in formalizing commonsense reasoning . Unpublished draft, 1998. |
33 | http://www.cs.utexas.edu/users/vl/mypapers/alasp.ps V. Lifschitz, Action languages, answer sets and planning . Unpublished draft, 1998. |
34 | http://www.cs.utexas.edu/users/vl Back to Lifschitz's web page |