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

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

Mathematics Subject Classification ID

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

Cites Work

• On the evaluation of argumentation formalisms
• A logical account of formal argumentation
• An Algorithm for Computing Semi-stable Semantics
• On the Issue of Reinstatement in Argumentation
• Mechanizing Mathematical Reasoning
• Robust semantics for argumentation frameworks
• Fibring argumentation frames
• Title not available (Why is that?)
• Logical modes of attack in argumentation networks

Cited In (8)

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

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)