Structured argumentation dynamics. Undermining attacks in default justification logic

DOI10.1007/s10472-021-09765-zOpenAlexW3185333741MaRDI QIDQ2075383

Stipe Pandžić

Publication date: 14 February 2022

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-021-09765-z

zbMATH Keywords

defeasible argumentationjustification logicreasoning dynamicsundermining attacks

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Argumentation update in YALLA (yet another logic language for argumentation)
• Multi-agent justification logic: communication and evidence elimination
• The logic of justified belief, explicit knowledge, and conclusive evidence
• Possible world semantics for first-order logic of proofs
• The logic of proofs, semantically
• Justification logics, logics of knowledge, and conservativity
• On a family of paradoxes
• A logic for default reasoning
• Intensional paradoxes
• 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 textbook of belief dynamics. Theory change and database updating
• On the dynamics of structured argumentation: modeling changes in default justification logic
• Incremental computation for structured argumentation over dynamic DeLP knowledge bases
• Explicit Provability and Constructive Semantics
• The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
• A Translation-Based Approach for Revision of Argumentation Frameworks
• Dilemmas and paradoxes: cycles in argumentation frameworks
• Semi-stable semantics
• Implementing crash-resistance and non-interference in logic-based argumentation
• Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
• On the logic of theory change: Partial meet contraction and revision functions
• Defeasible Dialectics: A Controversy-Oriented Approach towards Defeasible Argumentation
• The dynamics of default reasoning
• DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions
• On the dynamics of default reasoning
• Defeasible logic programming: an argumentative approach
• Strong Refinements for Hard Problems in Argumentation Dynamics
• Justification Logic
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

This page was built for publication: Structured argumentation dynamics. Undermining attacks in default justification logic