Modal and temporal argumentation networks

DOI10.1007/978-3-642-13754-9_1MaRDI QIDQ3587249zbMATH OpenOpenAlexFDO

Authors Howard Barringer, Dov Gabbay

Publication date 7 September 2010

Published in Time for Verification (Search for Journal in Brave)

Full work available at URL http://orbilu.uni.lu/handle/10993/26105

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Modal provability foundations for argumentation networks
• Abstract argumentation with Markov networks
• Logical modes of attack in argumentation networks
• A Logic of Abstract Argumentation
• scientific article; zbMATH DE number 7238902

Cites work

• A logical account of formal argumentation
• An Algorithm for Computing Semi-stable Semantics
• Fibring argumentation frames
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• Logical modes of attack in argumentation networks
• Mechanizing Mathematical Reasoning
• On the evaluation of argumentation formalisms
• On the Issue of Reinstatement in Argumentation
• Robust semantics for argumentation frameworks

Cited in

(10)

• Overview on the connection between reactive Kripke models and argumentation networks
• Global view on reactivity: switch graphs and their logics
• Semantics for higher level attacks in extended argumentation frames. I: Overview
• Modal provability foundations for argumentation networks
• Logical modes of attack in argumentation networks
• Fibring argumentation frames
• Evaluating networks of arguments: a case study in Mīmāṃsā dialectics
• Network modalities: an exploration paper
• Mechanizing Mathematical Reasoning
• Evolutionary temporal logic for modelling many-lives argumentation networks

This page was built for publication: Modal and temporal argumentation networks

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