scientific article; zbMATH DE number 1301757

MaRDI QIDQ4246972zbMATH OpenFDO

Authors T. Linke, Torsten Schaub

Publication date 16 June 1999

zbMATH Keywords

compilation phasedefault logicdefault reasoningextensionsquery-answering

Mathematics Subject Classification ID

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

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

(5)

• Prolog technology for default reasoning: proof theory and compilation techniques
• Alternative foundations for Reiter's default logic
• scientific article; zbMATH DE number 1302383 (Why is no real title available?)
• 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)