In E. Black, S. Modgil & N. Oren (eds.), Theory and Applications of Formal Argumentation. TAFA 2017. Lecture Notes in Computer Science, vol 10757. Cham, Switzerland: Springer. pp. 17–34 (2018)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories |
No categories specified (categorize this paper) |
| Buy the book |
Find it on Amazon.com
|
| ISBN(s) | 9783319755533 |
| DOI | 10.1007/978-3-319-75553-3_2 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.AnneMarie Borg, Christian Straßer & Ofer Arieli - 2021 - Studia Logica 109 (1):167-238.
Similar books and articles
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.AnneMarie Borg, Christian Straßer & Ofer Arieli - 2021 - Studia Logica 109 (1):167-238.
Prioritized Sequent-Based Argumentation.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - In Elisabeth Andre & Sven Koening (eds.), Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. pp. 1105--1113.
Sequent-Based Argumentation for Normative Reasoning.Christian Straßer & Ofer Arieli - 2014 - In Fabrizio Cariani, Davide Grossi, Joke Meheus & Xavier Parent (eds.), Deontic Logic and Normative Systems. Springer. pp. 224--240.
Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach.Ofer Arieli, AnneMarie Borg & Christian Straßer - forthcoming - In Proceedings of Flairs 2020.
Theory of Semi-Instantiation in Abstract Argumentation.D. M. Gabbay - 2016 - Logica Universalis 10 (4):431-516.
Relevance in Structured Argumentation.AnneMarie Borg & Christian Straßer - 2018 - In Jérôme Lang (ed.), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18).
Dynamic Derivations for Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2014 - In Simon Parsons, Nir Oren, Chris Reed & Federico Cerutti (eds.), Proceedings COMMA 2014. IOS Press. pp. 89--100.
Profiles of Dialogue for Relevance.Douglas Walton & Fabrizio Macagno - 2016 - Informal Logic 36 (4):523-562.
Meta-Argumentation Modelling I: Methodology and Techniques.Guido Boella, Dov M. Gabbay, Leendert van der Torre & Serena Villata - 2009 - Studia Logica 93 (2-3):297 - 355.
Completeness of a Hypersequent Calculus for Some First-Order Gödel Logics with Delta.Matthias Baaz, Norbert Preining & Richard Zach - 2006 - In 36th International Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings. Los Alamitos: IEEE Press.
Reasoning with Maximal Consistency by Argumentative Approaches.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - Journal of Logic and Computation 28 (7):1523--1563.
Intermediate Logics Admitting a Structural Hypersequent Calculus.Frederik Lauridsen - 2019 - Studia Logica 107 (2):247-282.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
Normative Reasoning by Sequent-Based Argumentation.Christian Straßer & Ofer Arieli - 2015 - Journal of Logic and Computation 29 (3):387-415.
Analytics
Added to PP index
2020-01-31
Total views
3 ( #1,285,577 of 2,409,593 )
Recent downloads (6 months)
1 ( #540,301 of 2,409,593 )
2020-01-31
Total views
3 ( #1,285,577 of 2,409,593 )
Recent downloads (6 months)
1 ( #540,301 of 2,409,593 )
How can I increase my downloads?
Downloads
