scientific article; zbMATH DE number 194964
From MaRDI portal
Publication:4692931
zbMath0723.68092MaRDI QIDQ4692931
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilitycompletenessdeduction theoremnonmonotonic reasoningsoundnessCircumscriptionHerbrand theoremKnowledge Representationfirst order languagesprenex form theoremDefault Reasoningfirst order proof theoryorder model theorysemi-decidability
Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (29)
Operational concepts of nonmonotonic logics. I: Default logic ⋮ Some results on default logic ⋮ Nonmonotonic reasoning with multiple belief sets ⋮ Alternative approaches to default logic ⋮ Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic ⋮ Redundancy in logic. III: Non-monotonic reasoning ⋮ A knowledge representation perspective: Logics for paraconsistent reasoning ⋮ Seminormal stratified default theories ⋮ New proofs in default logic theory ⋮ Explanatory diagnoses and their characterization by circumscription ⋮ Inductive learning and defeasible inference ⋮ An extension of pointwise circumscription ⋮ A sphere world semantics for default reasoning ⋮ Skeptical rational extensions ⋮ Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard ⋮ Multi-interpretation operators and approximate classification. ⋮ Analytic tableaux for default logics ⋮ A three-valued approach to default logic ⋮ Graded hypothesis theories ⋮ Circumscription: Completeness reviewed ⋮ More on bounding introspection in modal nonmonotonic logics ⋮ Constraints on extensions of a default theory ⋮ Modeling generalized implicatures using non-monotonic logics ⋮ Semi-representability of default theories in rational default logic ⋮ Is default logic a reinvention of inductive-statistical reasoning? ⋮ Alternative foundations for Reiter's default logic ⋮ Uniform semantic treatment of default and autoepistemic logics ⋮ More on representation theory for default logic ⋮ A nonmonotonic observation logic
This page was built for publication:
