UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Automated Reasoning
Publications
[Expand to show all 26]
[Minimize]
Logic Programs vs. First-Order Formulas in Textual Inference
2013
Yuliya Lierler and Vladimir Lifschitz,
10th International Conference on Computational Semantics (IWCS)
(2013).
Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming
2013
Yuliya Lierler and Peter Schueller,
10th International Conference on Computational Semantics (IWCS)
(2013).
A Tarskian Informal Semantics for Answer Set Programming
2012
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens,
International Conference on Logic Programming (ICLP)
(2012).
A Knowledge Module: Buying and Selling
2006
Joohyung Lee and Vladimir Lifschitz, In
Working Notes of the AAAI Symposium on Formalizing Background Knowledge
2006.
A Modular Action Description Language
2006
Vladimir Lifschitz and Wanwan Ren, In
Proceedings of National Conference on Artificial Intelligence (AAAI)
, pp. 853-859 2006.
Actions as Special Cases
2006
Selim T. Erdoğan and Vladimir Lifschitz, In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, pp. 377-387 2006.
Almost Definite Causal Theories
2004
Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz, In
Proc. LPNMR-7
, pp. 74--86 2004.
Irrelevant Actions in Plan Generation (extended abstract)
2004
Vladimir Lifschitz and Wanwan Ren, In
IX Ibero-American Workshops on Artificial Intelligence
, pp. 71-78 2004.
Nonmonotonic Causal Theories
2004
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain and Hudson Turner,
Artificial Intelligence
, Vol. 153(1--2) (2004), pp. 49-104.
Representing the Zoo World and the Traffic World in the language of the Causal Calculator
2004
Varol Akman, Selim T. Erdoğan, Joohyung Lee, Vladimir Lifschitz and Hudson Turner,
Artificial Intelligence
, Vol. 153(1--2) (2004), pp. 105-140.
Describing Additive Fluents in Action Language C
2003
Joohyung Lee and Vladimir Lifschitz, In
Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-03)
, pp. 1079--1084 2003.
Reinforcing a Claim in Commonsense Reasoning
2003
Jonathan Campbell and Vladimir Lifschitz, unpublished. In {em Working Notes of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning}.
Answer Set Programming and Plan Generation
2002
Vladimir Lifschitz,
Artificial Intelligence
, Vol. 138 (2002), pp. 39-54.
Getting to the Airport: the Oldest Planning Problem in AI
2000
Vladimir Lifschitz, Norman McCain, Emilio Remolina and Armando Tacchella, In
Logic-Based Artificial Intelligence
, Jack Minker (Eds.), pp. 147-165 2000. Kluwer.
Missionaries and Cannibals in the Causal Calculator
2000
Vladimir Lifschitz, In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, pp. 85-96 2000.
Wire Routing and Satisfiability Planning
2000
Esra Erdem, Vladimir Lifschitz and Martin Wong, In
Proceedings of International Conference on Computational Logic
, pp. 822-836 2000.
Action Languages, Answer Sets and Planning
1999
Vladimir Lifschitz, In
The Logic Programming Paradigm: a 25-Year Perspective
, pp. 357-373 1999. Springer Verlag.
Action Languages, Temporal Action Logics and the Situation Calculus
1999
Enrico Giunchiglia and Vladimir Lifschitz, In
Working Notes of the IJCAI-99 Workshop on Nonmonotonic Reasoning, Action, and Change
1999.
Answer Set Planning
1999
Vladimir Lifschitz, In
Proceedings ICLP-99
, pp. 23-37 1999.
Representing Transition Systems by Logic Programs
1999
Vladimir Lifschitz and Hudson Turner, In
Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
, pp. 92-106 1999.
Transformations of Logic Programs Related to Causality and Planning
1999
Esra Erdem and Vladimir Lifschitz, In
Logic Programming and Non-monotonic Reasoning: Proceedings Fifth Int'l Conf. (Lecture Notes in Artificial Intelligence 1730)
, pp. 107-116 1999.
Action Languages
1998
Michael Gelfond and Vladimir Lifschitz,
Electronic Transactions on Artificial Intelligence
, Vol. 3 (1998), pp. 195-210.
An Action Language Based on Causal Explanation: preliminary report
1998
Enrico Giunchiglia and Vladimir Lifschitz, In
Proceedings of National Conference on Artificial Intelligence (AAAI)
, pp. 623-630 1998. AAAI Press.
An Operator-Based Approach to First-Order Theory Revision
1992
Bradley Lance Richards, PhD Thesis, Department of Computer Science, University of Texas at Austin.
Using Explanation-Based and Empirical Methods in Theory Revision
1991
Dirk Ourston, PhD Thesis, Department of Computer Science, University of Texas at Austin.
Controlling Search for the Consequences of New Information during Knowledge Integration
1989
K. Murray and Bruce Porter , In
Proceedings of the Sixth International Workshop on Machine Learning
, pp. 290-295, Ithaca, NY, June 1989.