]> 2012-05-29T09:22:57-04:00 Vladimir Lifschitz Vladimir Vladimir Lifschitz Lifschitz Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions On the Declarative Semantics of Logic Programs with Negation A Reductive Semantics for Counting and Choice in Answer Set Programming Compiling Circumscriptive Theories into Logic Programs An Action Language Based on Causal Explanation: Preliminary Report Pointwise Circumscription: Preliminary Report Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report) Restricted Monotonicity A Modular Action Description Language The Semantics of Variables in Action Descriptions Additive Fluents Dependent Fluents A Simple Formalization of Actions Using Circumscription Describing Additive Fluents in Action Language C+ Computing Circumscription Formal Theories of Action (Preliminary Report) Nonmonotonic Databases and Epistemic Queries Things That Change by Themselves Strongly equivalent logic programs A New Perspective on Stable Models Toward a Metatheory of Action Some Results on Circumscription Classical Negation in Logic Programs and Disjunctive Databases Transformations of Logic Programs Related to Causality and Planning A generalization of the Lin-Zhao theorem Fages' Theorem and Answer Set Programming What Is Answer Set Programming? Logic Programs with Classical Negation On Verification of Programs With Goto Statements Twelve Definitions of a Stable Model Safe Formulas in the General Theory of Stable Models (Preliminary Report) A Characterization of Strong Equivalence for Logic Programs with Variables Actions, Causation and Logic Programming Actions as Special Cases Why are there so many loop formulas? Temporal phylogenetic networks and logic programming What is a Logic Program Mathematical Foundations of Answer Set Programming Temporal Phylogenetic Networks and Logic Programming Weight constraints as nested expressions Almost Definite Causal Theories Representing the Zoo World and the Traffic World in the language of the Causal Calculator Nonmonotonic causal theories Loop Formulas for Disjunctive Logic Programs Definitions in Answer Set Programming: (Extended Abstract) Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming Tight Logic Programs Weight Constraints as Nested Expressions Tight logic programs Why Sam doesn't know calculus Answer set programming and plan generation Fages' Theorem for Programs with Nested Expressions On calculational proofs Wire Routing and Satisfiability Planning Missionaries and Cannibals in the Causal Calculator Review: M. Shanahan, Solving the Frame Problem Answer Set Planning Answer Set Planning (Abstract) Representing Transition Systems by Logic Programs Nested Expressions in Logic Programs Situation Calculus and Causal Logic The Sixth International Workshop on Nonmonotonic Reasoning (Workshop Report). Action Languages Two Components of an Action Language Representing Action: Indeterminacy and Ramifications On the Logic of Causal Explanation (Research Note) SLDNF, Constructive Negation and Grounding Loop Checking and the Wll-Founded Semantics The Logic of Common Sense ECWA Made Easy Nested Abnormality Theories Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning Splitting a Logic Program From Disjunctive Programs to Abduction Actions with Indirect Effects (Preliminary Report) Autoepistemic Logic and Introspective Circumscription Minimal Belief and Negation as Failure Automated Reasoning About Actions: A Logic Programming Approach Extended Logic Programs as Autoepistemic Theories Representing Action and Change by Logic Programs Representing Actions in Extended Logic Programming Answer Sets in General Nonmonotonic Reasoning (Preliminary Report) What are the Limitations of the Situation Calculus? Disjective Defaults Frames in the Space of Situations Logical Foundations of Deductive Databases Between Circumscription and Autoepistemic Logic Critical Issues in Nonmonotonic Reasoning The Mathematics of Nonmonotonic Reasoning (Abstract) Miracles in Formal Theories of Action What Is the Inverse Method? The Stable Model Semantics for Logic Programming Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00 On the Satisfiability of Circumscription Closed-World Databases and Circumscription A Note on the Complexity of a Partition Algorithm The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms Constructive Assertions in an Extension of Classical Mathematics The Number of Increasing Subsequences of the Random Permutation Has author Has editor Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person