Reasoning with prioritized defaults

DOI10.1007/BFB0054795MaRDI QIDQ4217936zbMATH OpenFDO

Authors Tran Cao Son, Michael Gelfond

Publication date 21 June 1999

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

Full work available at URL https://doi.org/10.1007/BFB0054795

zbMATH Keywords

methodology of reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1748571
• scientific article; zbMATH DE number 6747901
• Query-answering in prioritized default logic
• scientific article; zbMATH DE number 1761422
• scientific article; zbMATH DE number 1249652

Cited in

(29)

• Lexicographic priorities in default logic
• Expressing preferences in default logic
• Prioritized logic programming and its application to commonsense reasoning
• Logic programming and knowledge representation---The A-Prolog perspective
• Preference Logic Grammars: Fixed point semantics and application to data standardization
• Fundamental properties of attack relations in structured argumentation with priorities
• Defaults with priorities
• A selective semantics for logic programs with preferences
• Defeasible logic with dynamic priorities
• scientific article; zbMATH DE number 67480 (Why is no real title available?)
• scientific article; zbMATH DE number 140394 (Why is no real title available?)
• Query-answering in prioritized default logic
• scientific article; zbMATH DE number 2014709 (Why is no real title available?)
• Two results for prioritized logic programming
• scientific article; zbMATH DE number 1748571 (Why is no real title available?)
• scientific article; zbMATH DE number 1761422 (Why is no real title available?)
• Argumentation for practical reasoning: an axiomatic approach
• scientific article; zbMATH DE number 1931674 (Why is no real title available?)
• scientific article; zbMATH DE number 2097605 (Why is no real title available?)
• scientific article; zbMATH DE number 7368411 (Why is no real title available?)
• Reasoning with stratified default theories
• Reasoning About Prescription and Description Using Prioritized Default Rules
• An answer set programming framework for reasoning about truthfulness of statements by agents
• Logic Programming with Defaults and Argumentation Theories
• An argument-based approach to reasoning with specificity
• Specifying and reasoning about CPS through the lens of the NIST CPS framework
• An ASP framework for the refinement of authorization and obligation policies
• How to build your own ASP-based system?!
• An axiomatic analysis of structured argumentation with priorities

This page was built for publication: Reasoning with prioritized defaults

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