scientific article; zbMATH DE number 4164169

MaRDI QIDQ3490987zbMATH OpenFDO

Authors Andrew B. Baker, M. L. Ginsberg

Publication date 1989

zbMATH Keywords

defaulttheorem provingprioritized circumscriptionfirst-order theorem provingcomputing parallel circumscription

Mathematics Subject Classification ID

Many-valued logic (03B50) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4106292
• A circumscriptive theorem prover
• scientific article; zbMATH DE number 2170948
• scientific article; zbMATH DE number 1090099
• scientific article; zbMATH DE number 1765677
• Embedding prioritized circumscription in disjunctive logic programs
• Logic Programming
• An Intuitionistic Predicate Logic Theorem Prover
• scientific article; zbMATH DE number 1696794

Cited in

(18)

• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
• ECWA made easy
• Modular specifications with supernormal defaults
• Lexicographic priorities in default logic
• Conservative query normalization on parallel circumscription
• How to reason defeasibly
• An abstract, argumentation-theoretic approach to default reasoning
• Evaluating dialectical structures
• When is argumentation deductive?
• Conditional entailment: bridging two approaches to default reasoning.
• Logic Programming
• Bayesian ranking for strategy scheduling in automated theorem provers
• scientific article; zbMATH DE number 1421069 (Why is no real title available?)
• Prolog technology for default reasoning: proof theory and compilation techniques
• A circumscriptive theorem prover
• Eliminating the fixed predicates from a circumscription
• scientific article; zbMATH DE number 1765677 (Why is no real title available?)
• scientific article; zbMATH DE number 4106292 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3490987)