Pages that link to "Vladimir Lifschitz"

From Tetherless World Wiki

> Vladimir Lifschitz

What links here

Page:  Namespace:  all (Main) Talk User User talk Tetherless World Wiki Tetherless World Wiki talk Image Image talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Relation Relation talk Property Property talk Type Type talk Form Form talk Concept Concept talk Widget Widget talk latex Blog Blog-talk baojie baojie-talk test tw tw-talk latex latex-talk co co-talk rule rule-talk email email-talk

Filters

Hide transclusions | Hide links | Hide redirects

The following pages link to Vladimir Lifschitz:

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)

• Compiling Circumscriptive Theories into Logic Programs (← links)
• An Action Language Based on Causal Explanation: Preliminary Report (← links)
• Pointwise Circumscription: Preliminary Report (← links)
• Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report) (← links)
• Restricted Monotonicity (← links)
• A Modular Action Description Language (← links)
• The Semantics of Variables in Action Descriptions (← links)
• Dependent Fluents (← links)
• A Simple Formalization of Actions Using Circumscription (← links)
• Describing Additive Fluents in Action Language C+ (← links)
• Computing Circumscription (← links)
• Formal Theories of Action (Preliminary Report) (← links)
• Nonmonotonic Databases and Epistemic Queries (← links)
• Things That Change by Themselves (← links)
• A New Perspective on Stable Models (← links)
• tw:Jie Bao/Report/2009-05-31/Austin (← links)
• Fages' Theorem and Answer Set Programming (← links)
• What Is Answer Set Programming? (← links)
• A Reductive Semantics for Counting and Choice in Answer Set Programming (← links)
• Twelve Definitions of a Stable Model (← links)
• Safe Formulas in the General Theory of Stable Models (Preliminary Report) (← links)
• A Characterization of Strong Equivalence for Logic Programs with Variables (← links)
• Actions, Causation and Logic Programming (← links)
• Actions as Special Cases (← links)
• Why are there so many loop formulas? (← links)
• A generalization of the Lin-Zhao theorem (← links)
• Temporal phylogenetic networks and logic programming (← links)
• What is a Logic Program (← links)
• Mathematical Foundations of Answer Set Programming (← links)
• Temporal Phylogenetic Networks and Logic Programming (← links)
• Weight constraints as nested expressions (← links)
• Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings (← links)
• Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (← links)
• Almost Definite Causal Theories (← links)
• Representing the Zoo World and the Traffic World in the language of the Causal Calculator (← links)
• Nonmonotonic causal theories (← links)
• Loop Formulas for Disjunctive Logic Programs (← links)
• Definitions in Answer Set Programming: (Extended Abstract) (← links)
• Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming (← links)
• Tight Logic Programs (← links)
• Weight Constraints as Nested Expressions (← links)
• Tight logic programs (← links)
• Why Sam doesn't know calculus (← links)
• Answer set programming and plan generation (← links)
• Additive Fluents (← links)
• Fages' Theorem for Programs with Nested Expressions (← links)
• Strongly equivalent logic programs (← links)
• On calculational proofs (← links)
• Wire Routing and Satisfiability Planning (← links)
• Missionaries and Cannibals in the Causal Calculator (← links)

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)