scientific article; zbMATH DE number 1748572

MaRDI QIDQ4530457zbMATH OpenFDO

Authors Stefan Brüning, Torsten Schaub

Publication date 13 November 2002

zbMATH Keywords

automated theorem provingconnection calculusdefault logicdefault reasoningquery-answering

Mathematics Subject Classification ID

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

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

(10)

• Extensive form implementation in incomplete information environments
• Prolog technology for default reasoning: proof theory and compilation techniques
• The automation of reasoning with incomplete information. From semantic foundations to efficient computation
• Default reasoning by deductive planning
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Default reasoning by ant colony optimization
• Realizing Default Logic over Description Logic Knowledge Bases
• scientific article; zbMATH DE number 1301757 (Why is no real title available?)
• scientific article; zbMATH DE number 516983 (Why is no real title available?)
• 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)