Lifschitz, Vladimir - Department of Computer Sciences, University of Texas at Austin

• Twelve Definitions of a Stable Model Vladimir Lifschitz
• Yuliya Lierler The Dissertation Committee for Yuliya Lierler
• Answer Set Planning Vladimir Lifschitz
• A Reductive Semantics for Counting and Choice in Answer Set Programming
• Why the Monkey Needs the Box: A Serious Look at a Toy Domain
• On Calculational Proofs Vladimir Lifschitz
• Reconstructing the Evolutionary History of Indo-European Languages
• Situation Calculus and Causal Logic Vladimir Lifschitz
• Answer Set Programming and Plan Generation
• Variables in Action Descriptions: Merging C+ with ADL Vladimir Lifschitz and Wanwan Ren
• Reinforcing a Claim in Commonsense Reasoning Jonathan Campbell and Vladimir Lifschitz
• Action Languages, Answer Sets and Planning
• De nitions in Answer Set Programming Selim T. Erdo gan and Vladimir Lifschitz
• Nonmonotonic Causal Theories Enrico Giunchiglia
• Fages' Theorem for Programs with Nested Expressions
• Norman Clayton McCain Causality in Commonsense Reasoning about Actions
• On the Logic of Causal Explanation Vladimir Lifschitz
• Under consideration for publication in Theory and Practice of Logic Programming 1 Temporal Phylogenetic Networks
• Preprint 0 (1999) ?--? 1 Nested Expressions in Logic Programs
• Describing Additive Fluents in Action Language C+ Joohyung Lee and Vladimir Lifschitz
• A Knowledge Module: Buying and Selling Joohyung Lee
• Representing the Zoo World and the Trac World
• Wire Routing and Satisfiability Planning Esra Erdem, Vladimir Lifschitz, and Martin D. F. Wong
• Success of Default Logic Vladimir Lifschitz
• Book Review: M. Shanahan, Solving the Frame Problem
• Fages' Theorem and Answer Set Programming
• Why Are There So Many Loop Formulas? Vladimir Lifschitz
• A Characterization of Strong Equivalence for Logic Programs with Variables
• Almost De nite Causal Theories Semra Do ganda g 1 , Paolo Ferraris 2 , and Vladimir Lifschitz 2
• Two Components of An Action Language Vladimir Lifschitz
• Strongly Equivalent Logic Programs Vladimir Lifschitz
• G. Neelakantan Kartha A Mathematical Investigation of Reasoning About Actions
• A Generalization of the Lin-Zhao Theorem
• Tight Logic Programs Esra Erdem and Vladimir Lifschitz
• Actions as Special Cases Selim T. Erdo gan and Vladimir Lifschitz
• Irrelevant Actions in Plan Generation (Extended Abstract)
• The Semantics of Variables in Action Descriptions Vladimir Lifschitz and Wanwan Ren
• Volume title 1 The editors
• What Is Answer Set Programming? Vladimir Lifschitz
• Safe Formulas in the General Theory of Stable Models (Preliminary Report)
• Charles Hudson Turner Causal Action Theories and Satis ability Planning
• Paolo Ferraris The Dissertation Committee for Paolo Ferraris
• The Dissertation Committee for Wanwan Ren certifies that this is the approved version of the following dissertation
• A Modular Action Description Language Vladimir Lifschitz and Wanwan Ren
• Loop Formulas for Disjunctive Logic Programs
• Selim Turhan Erdogan The Dissertation Committee for Selim Turhan Erdogan
• An Action Language Based on Causal Explanation: Preliminary Report
• Translating peter.e.clark@boeing.com
• Representing Transition Systems by Logic Programs
• GETTING TO THE AIRPORT: THE OLDEST PLANNING PROBLEM IN AI
• Representing Action: Indeterminacy and Ramifications
• Logic Programs vs. First-Order Formulas in Textual Inference
• KM The Knowledge Machine 2.0: Users Manual
• Missionaries and Cannibals in the Causal Calculator Vladimir Lifschitz
• Action Languages, Temporal Action Logics and the Situation Calculus
• Mathematical Foundations of Answer Set Programming
• Under consideration for publication in Theory and Practice of Logic Programming 1 Weight Constraints as Nested Expressions
• BENCHMARK PROBLEMS FOR FORMAL NONMONOTONIC REASONING
• Stable Models and Circumscription Paolo Ferraris, Joohyung Lee, and Vladimir Lifschitz
• Datalog Programs and Their Stable Models Vladimir Lifschitz