scientific article; zbMATH DE number 4114596

MaRDI QIDQ4729762zbMATH OpenFDO

Authors Gerhard Jäger

Publication date 1989

zbMATH Keywords

circumscriptionclosed world assumptioninductive definitionnon-monotonic reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Inductive definability (03D70) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4026858
• scientific article; zbMATH DE number 408769
• scientific article; zbMATH DE number 824740
• Publication:3484816
• Nonmonotonicity in (the metamathematics of) arithmetic

Cited in

(16)

• Hard problems for simple default logics
• Abstract minimality and circumscription
• The open logic and its relation to circumscription
• Nonmonotonicity in (the metamathematics of) arithmetic
• Nonmonotonic reasoning in \(LDL^{++}\)
• Extending Prolog with nonmonotonic reasoning
• scientific article; zbMATH DE number 4026858 (Why is no real title available?)
• scientific article; zbMATH DE number 4068836 (Why is no real title available?)
• scientific article; zbMATH DE number 4089520 (Why is no real title available?)
• scientific article; zbMATH DE number 1191238 (Why is no real title available?)
• scientific article; zbMATH DE number 67499 (Why is no real title available?)
• scientific article; zbMATH DE number 1775475 (Why is no real title available?)
• Non-monotonic characterization of induction and its application to inductive learning
• Axiomatic Extensions of Hohle's Monoidal Logic
• A transformation of propositional Prolog programs into classical logic
• Cumulativity Tailored for Nonmonotonic Reasoning

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 Q4729762)