Modal and temporal argumentation networks

DOI10.1007/978-3-642-13754-9_1zbMATH Open1288.68205OpenAlexW1604694862MaRDI QIDQ3587249FDOQ3587249

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

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

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

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

Cited in

(9)

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

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)