Has author Vladimir Lifschitz
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Vladimir Lifschitz"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- 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 +
