scientific article; zbMATH DE number 1748572

zbMATH Open0997.03008MaRDI QIDQ4530457FDOQ4530457

Authors: Stefan Brüning, Torsten Schaub 

Publication date: 13 November 2002

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (7)

• Title not available (Why is that?)
• 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)