Automated Reasoning
Publications (26)
Logic Programs vs. First-Order Formulas in Textual Inference 2013
Yuliya Lierler and Vladimir Lifschitz
Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming 2013
Yuliya Lierler and Peter Schueller
A Tarskian Informal Semantics for Answer Set Programming 2012
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
A Knowledge Module: Buying and Selling 2006
Joohyung Lee and Vladimir Lifschitz
A Modular Action Description Language 2006
Vladimir Lifschitz and Wanwan Ren
Actions as Special Cases 2006
Selim T. Erdoğan and Vladimir Lifschitz
Almost Definite Causal Theories 2004
Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz
Irrelevant Actions in Plan Generation (extended abstract) 2004
Vladimir Lifschitz and Wanwan Ren
Nonmonotonic Causal Theories 2004
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain and Hudson Turner
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
Describing Additive Fluents in Action Language C 2003
Joohyung Lee and Vladimir Lifschitz
Reinforcing a Claim in Commonsense Reasoning 2003
Jonathan Campbell and Vladimir Lifschitz
Answer Set Programming and Plan Generation 2002
Vladimir Lifschitz
Getting to the Airport: the Oldest Planning Problem in AI 2000
Vladimir Lifschitz, Norman McCain, Emilio Remolina and Armando Tacchella
Missionaries and Cannibals in the Causal Calculator 2000
Vladimir Lifschitz
Wire Routing and Satisfiability Planning 2000
Esra Erdem, Vladimir Lifschitz and Martin Wong
Action Languages, Answer Sets and Planning 1999
Vladimir Lifschitz
Action Languages, Temporal Action Logics and the Situation Calculus 1999
Enrico Giunchiglia and Vladimir Lifschitz
Answer Set Planning 1999
Vladimir Lifschitz
Representing Transition Systems by Logic Programs 1999
Vladimir Lifschitz and Hudson Turner
Transformations of Logic Programs Related to Causality and Planning 1999
Esra Erdem and Vladimir Lifschitz
Action Languages 1998
Michael Gelfond and Vladimir Lifschitz
An Action Language Based on Causal Explanation: preliminary report 1998
Enrico Giunchiglia and Vladimir Lifschitz
An Operator-Based Approach to First-Order Theory Revision 1992
Bradley Lance Richards
Using Explanation-Based and Empirical Methods in Theory Revision 1991
Dirk Ourston
Controlling Search for the Consequences of New Information during Knowledge Integration 1989
K. Murray and Bruce Porter
Labs
Texas Action Group