scientific article; zbMATH DE number 1302383

MaRDI QIDQ4247685zbMATH OpenFDO

Authors

Publication date 13 December 1999

zbMATH Keywords

default logicdefault reasoningextension calculusknowledge representationnonmonotonic reasoningprioritiesquery answering

Mathematics Subject Classification ID

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

Cited in

(7)

• A new methodology for query answering in default logics via structure-oriented theorem proving
• scientific article; zbMATH DE number 408775 (Why is no real title available?)
• scientific article; zbMATH DE number 1301757 (Why is no real title available?)
• scientific article; zbMATH DE number 1341459 (Why is no real title available?)
• scientific article; zbMATH DE number 1761421 (Why is no real title available?)
• scientific article; zbMATH DE number 6174932 (Why is no real title available?)
• A query answering algorithm for Lukaszewicz' general open default theory

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