scientific article; zbMATH DE number 1748572

zbMATH Open0997.03008MaRDI QIDQ4530457FDOQ4530457

Stefan Brüning, Torsten Schaub

Publication date: 13 November 2002

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

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 (4)

• 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 deductive planning

   Recommendations

• Tableau-based characterization and theorem proving for default logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A new methodology for query answering in default logics via structure-oriented theorem proving 👍 👎

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)