scientific article; zbMATH DE number 1748572

MaRDI QIDQ4530457zbMATH OpenFDO

Authors Stefan Brüning, Torsten Schaub

Publication date 13 November 2002

zbMATH Keywords

automated theorem provingdefault reasoningdefault logicquery-answeringconnection calculus

Mathematics Subject Classification ID

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

Recommendations

• Tableau-based characterization and theorem proving for default logic
• scientific article; zbMATH DE number 516983
• scientific article; zbMATH DE number 140378
• scientific article; zbMATH DE number 1269576
• A new methodology for query answering in default logics via structure-oriented theorem proving

Cited in

(7)

• scientific article; zbMATH DE number 516983 (Why is no real title available?)
• Extensive form implementation in incomplete information environments
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Default reasoning by ant colony optimization
• Default reasoning by deductive planning
• Realizing Default Logic over Description Logic Knowledge Bases
• DARR- a theorem prover for constrained and rational default logics

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