scientific article; zbMATH DE number 4164169

zbMATH Open0708.68058MaRDI QIDQ3490987FDOQ3490987

Authors: Andrew B. Baker, M. L. Ginsberg 

Publication date: 1989

Title of this publication is not available (Why is that?)

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
• Publication:2767052

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)

Cited In (17)

• Bayesian ranking for strategy scheduling in automated theorem provers
• Title not available (Why is that?)
• Title not available (Why is that?)
• An abstract, argumentation-theoretic approach to default reasoning
• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
• When is argumentation deductive?
• ECWA made easy
• Modular specifications with supernormal defaults
• Conditional entailment: bridging two approaches to default reasoning.
• A circumscriptive theorem prover
• Eliminating the fixed predicates from a circumscription
• Lexicographic priorities in default logic
• Prolog technology for default reasoning: proof theory and compilation techniques
• Evaluating dialectical structures
• How to reason defeasibly
• Title not available (Why is that?)
• Logic Programming

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)