Default reasoning via blocking sets

DOI10.1007/3-540-46767-X_18MaRDI QIDQ4955339zbMATH OpenFDO

Authors T. Linke, Torsten Schaub

Publication date 25 October 2000

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

Full work available at URL https://doi.org/10.1007/3-540-46767-X_18

zbMATH Keywords

default logicdefault reasoningknowledge representation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Reasoning with sets of preferences in default logic
• Justifications and blocking sets in a rule-based answer set computation
• scientific article; zbMATH DE number 517004
• A logical framework for default reasoning
• scientific article; zbMATH DE number 4200176
• Default reasoning and possibility theory
• Toward efficient default reasoning
• Restricted semantics for default reasoning
• scientific article; zbMATH DE number 3926821
• Default and Inexact Reasoning with Possibility Degrees

Cited in

(2)

• Alternative foundations for Reiter's default logic
• Avoiding non-ground variables

This page was built for publication: Default reasoning via blocking sets

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