scientific article; zbMATH DE number 1301757

zbMATH Open0928.03028MaRDI QIDQ4246972FDOQ4246972

Torsten Schaub, T. Linke

Publication date: 16 June 1999

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

Recommendations

• scientific article; zbMATH DE number 1302383
• scientific article; zbMATH DE number 1748572
• A query answering algorithm for Lukaszewicz' general open default theory

zbMATH Keywords

extensionsdefault reasoningdefault logicquery-answeringcompilation phase

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Cited In (2)

• A new default theories compilation for MSP-entailment
• Alternative foundations for Reiter's default logic

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