Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks

DOI10.1016/j.artint.2023.103876OpenAlexW4319033136MaRDI QIDQ6157205

Jesse Heyninck, Tjitze Rienstra, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm

Publication date: 19 June 2023

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2023.103876

zbMATH Keywords

information fusionargumentationbelief mergingabstract dialectical frameworksconditional logicsnonmonotonic logicsdefault logicsbelief revision and update

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Borderline vs. unknown: comparing three-valued representations of imperfect information
• Conditional probability in the light of qualitative belief change
• On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics
• Nonmonotonic reasoning, preferential models and cumulative logics
• Propositional knowledge base revision and minimal change
• Five faces of minimality
• A survey of non-prioritized belief revision
• An extension-based approach to belief revision in abstract argumentation
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• On the links between argumentation-based reasoning and nonmonotonic reasoning
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Realizability of three-valued semantics for abstract dialectical frameworks
• Nonmonotonic conditionals that behave like conditional probabilities above a threshold
• Belief revision in Horn theories
• Non-Monotonic Inference Properties for Assumption-Based Argumentation
• AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
• A Translation-Based Approach for Revision of Argumentation Frameworks
• On Semantic Update Operators for Answer-Set Programs
• The Geometry of Negation
• On the logic of theory change: Partial meet contraction and revision functions
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• Belief Change
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents