scientific article; zbMATH DE number 4089520

MaRDI QIDQ3818294zbMATH OpenFDO

Authors Pierre Siegel, P. Besnard

Publication date 1988

zbMATH Keywords

automated reasoningnonmonotonic logicnonmonotonic reasoningsupposition languagesupposition theories

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 4114596
• A theory of nonmonotonic rule systems I
• scientific article; zbMATH DE number 4202232
• Nonmonotonic reasoning, preferential models and cumulative logics
• Nonmonotonic reasoning based on incomplete logic

Cited in

(6)

• Tableau-based characterization and theorem proving for default logic
• Modal logic based theory for non-monotonic reasoning
• More on bounding introspection in modal nonmonotonic logics
• A tableaux-based theorem prover for a decidable subset of default logic
• Graded hypothesis theories
• Interest driven suppositional 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 Q3818294)