Revision of defeasible preferences
From MaRDI portal
Publication:1726329
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
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
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
