The following pages link to (Q3830545):
Displaying 19 items.
- John McCarthy's legacy (Q543573) (← links)
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- A circumscriptive theorem prover (Q1123640) (← links)
- Three-valued nonmonotonic formalisms and semantics of logic programs (Q1182168) (← links)
- A theory of nonmonotonic rule systems I (Q1356221) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- An extension of pointwise circumscription (Q2676573) (← links)
- Circumscription and projection as primitives of logic programming (Q2883093) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (Q3534658) (← links)
- Large theory reasoning with SUMO at CASC (Q3568226) (← links)
- (Q4520488) (← links)
- Embedding circumscriptive theories in general disjunctive programs (Q5101461) (← links)
- Logic programming semantics made easy (Q5204342) (← links)
- Conservative query normalization on parallel circumscription (Q5210781) (← links)
- Prolegomena to logic programming for non-monotonic reasoning (Q6623791) (← links)