Prioritized sequent-based argumentation

, &
In Elisabeth Andre & Sven Koening (eds.), Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. pp. 1105--1113 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

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.
Sequent-based logical argumentation.Ofer Arieli & Christian Straßer - 2015 - Argument and Computation 6 (1):73-99.
Normative reasoning by sequent-based argumentation.Christian Straßer & Ofer Arieli - 2015 - Journal of Logic and Computation 29 (3):387-415.
Sequent-Based Argumentation for Normative Reasoning.Christian Straßer & Ofer Arieli - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. London, UK: College Publications. pp. 224--240.
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.AnneMarie Borg, Christian Straßer & Ofer Arieli - 2020 - Studia Logica 109 (1):167-238.
Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM.AnneMarie Borg, Ofer Arieli & Christian Straßer - 2018 - 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.
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations.Ofer Arieli & Christian Straßer - 2016 - Electronic Notes in Theoretical Computer Science 323:21–37.
Logical argumentation by dynamic proof systems.Ofer Arieli & Christian Straßer - forthcoming - Theoretical Computer Science.
Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach.Ofer Arieli, AnneMarie Borg & Christian Straßer - forthcoming - In Ofer Arieli, AnneMarie Borg & Christian Straßer (eds.), Proceedings of Flairs 2020.
Structured argumentation with prioritized conditional obligations and permissions.Mathieu Beirlaen, Christian Straßer & Jesse Heyninck - 2018 - Journal of Logic and Computation 29 (2):187-214.
Reasoning with maximal consistency by argumentative approaches.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - Journal of Logic and Computation 28 (7):1523--1563.
A critical assessment of Pollock’s work on logic-based argumentation with suppositions.Mathieu Beirlaen, Jesse Heyninck & Christian Straßer - 2018 - In Mathieu Beirlaen, Jesse Heyninck & Christian Straßer (eds.), Proceedings of Argumentation and Philosophy.
Argumentative Approaches to Reasoning with Consistent Subsets of Premises.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2017 - Lecture Notes in Computer Science:455–465.
Cut-Based Abduction.Marcello D'agostino, Marcelo Finger & Dov Gabbay - 2008 - Logic Journal of the IGPL 16 (6):537-560.
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).

Analytics

Added to PP
2020-01-31

Downloads
6 (#1,465,246)

6 months
1 (#1,477,342)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christian Straßer
Ruhr-Universität Bochum

Citations of this work

Add more citations

References found in this work

No references found.

Add more references