Revision of defeasible preferences

DOI10.1016/j.ijar.2018.10.020zbMath1452.68186OpenAlexW2901062838MaRDI QIDQ1726329

Guido Governatori, Matteo Cristani, Francesco Olivieri, Simone Scannapieco

Publication date: 20 February 2019

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10072/385283

zbMATH Keywords

belief revisionknowledge representationnonmonotonic reasoningsceptical logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items

Inference to the stable explanations ⋮ Incremental computation for structured argumentation over dynamic DeLP knowledge bases

Uses Software

• DELORES
• DR-Prolog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complexity of constraint satisfaction problems for small relation algebras
• Reasoning about preferences in argumentation frameworks
• Subjunctives, dispositions and chances
• A microcomputer based system for small relation algebras
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• An inclusion theorem for defeasible logics
• Argument-based extended logic programming with defeasible priorities
• Defeasible logic with dynamic priorities
• Representation results for defeasible logic
• Embedding defeasible logic into logic programming
• Hierarchical Argumentation
• Changing legal systems: legal abrogations and annulments in Defeasible Logic
• A program-level approach to revising logic programs under the answer set semantics
• A defeasible logic for modelling policy-based intentions and motivational attitudes
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional defeasible logic has linear complexity
• Reconsidering AGM-Style Belief Revision in the Context of Logic Programs.
• Argumentation Semantics for Defeasible Logic
• Defeasible logic versus Logic Programming without Negation as Failure
• Dynamics of knowledge in D<scp>e</scp>LP through Argument Theory Change