A proof method for closed normal default theories

MaRDI QIDQ5309602zbMATH OpenFDO

Authors

Publication date 9 October 2007

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other nonclassical logic (03B60) Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27)

Recommendations

• New proofs in default logic theory
• A tableaux-based theorem prover for a decidable subset of default logic
• Formalizing nonmonotonic reasoning systems
• scientific article; zbMATH DE number 2197975
• scientific article; zbMATH DE number 140378

Cited in

(3)

• Seminormalizing a default theory
• Extensions for open default theories via the domain closure assumption
• Extensions for open default theories via the domain closure assumption

This page was built for publication: A proof method for closed normal default theories

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