scientific article; zbMATH DE number 1301757

MaRDI QIDQ4246972zbMATH OpenFDO

Authors T. Linke, Torsten Schaub

Publication date 16 June 1999

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)

Recommendations

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

Cited in

(3)

• Alternative foundations for Reiter's default logic
• A query answering algorithm for Lukaszewicz' general open default theory
• A new default theories compilation for MSP-entailment

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)