Query-answering in prioritized default logic

DOI10.1007/3-540-48747-6_4MaRDI QIDQ4262998zbMATH OpenFDO

Authors F. Benhammadi, Pascal Nicolas, Torsten Schaub

Publication date 22 September 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48747-6_4

zbMATH Keywords

default proofsdefault reasoning in presence of prioritiesprioritized normal default logicreasoning with incomplete knowledge

Mathematics Subject Classification ID

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

Recommendations

• Extension calculus and query answering in prioritized default logic
• scientific article; zbMATH DE number 1748571
• Reasoning with prioritized defaults
• scientific article; zbMATH DE number 1249652

Cited in

(4)

• Lexicographic priorities in default logic
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Reasoning with prioritized defaults
• Extension calculus and query answering in prioritized default logic

This page was built for publication: Query-answering in prioritized default logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4262998)