Christian Straßer

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 49

Top Topics

Sequent Calculi

Scientific Inquiry

Argumentation Semantics

Top Venues

J. Log. Comput.

Publications

Louise Dupuis de Tarlé, Matteo Michelini, Annemarie Borg, Gabriella Pigozzi, Juliette Rouchier, Dunja Seselja, Christian Straßer
An Agent-Based Model of MySide Bias in Scientific Debates. J. Artif. Soc. Soc. Simul. 27 (3) (2024)
Ofer Arieli, Kees van Berkel, Christian Straßer
Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation. AAAI (2024)
Pere Pardo, Christian Straßer
Modular orders on defaults in formal argumentation. J. Log. Comput. 34 (4) (2024)
Badran Raddaoui, Christian Straßer, Saïd Jabbour
A Comparative Study of Ranking Formulas Based on Consistency. IJCAI (2023)
Christian Straßer, Lisa Michajlova
Evaluating and selecting arguments in the context of higher order uncertainty. Frontiers Artif. Intell. 6 (2023)
Kees van Berkel, Réka Markovich, Christian Straßer, Leendert van der Torre
Arguing About Choosing a Normative System: Conflict of Laws. JURIX (2023)
Jesse Heyninck, Badran Raddaoui, Christian Straßer
Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version). CoRR (2023)
Ofer Arieli, AnneMarie Borg, Christian Straßer
A postulate-driven study of logical argumentation. Artif. Intell. 322 (2023)
Matteo Michelini, Javier Osorio, Wybo Houkes, Dunja Seselja, Christian Straßer
Scientific Disagreements and the Diagnosticity of Evidence: How Too Much Data May Lead to Polarization. J. Artif. Soc. Soc. Simul. 26 (4) (2023)
Jesse Heyninck, Badran Raddaoui, Christian Straßer
Ranking-based Argumentation Semantics Applied to Logical Argumentation. IJCAI (2023)
Kees van Berkel, Christian Straßer
Reasoning With and About Norms in Logical Argumentation. COMMA (2022)
Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straßer
Abductive Reasoning with Sequent-Based Argumentation. NMR (2022)
Ofer Arieli, Kees van Berkel, Christian Straßer
Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. IJCAI (2022)
Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straßer
Explainable Logic-Based Argumentation. COMMA (2022)
Jesse Heyninck, Christian Straßer
Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut. Argument Comput. 12 (1) (2021)
Jesse Heyninck, Christian Straßer
A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities. FLAP 8 (3) (2021)
Ofer Arieli, AnneMarie Borg, Jesse Heyninck, Christian Straßer
Logic-Based Approaches to Formal Argumentation. FLAP 8 (6) (2021)
Ofer Arieli, AnneMarie Borg, Christian Straßer
Characterizations and Classifications of Argumentative Entailments. KR (2021)
Annemarie Borg, Christian Straßer, Ofer Arieli
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents. Stud Logica 109 (1) (2021)
Christian Straßer, Pere Pardo
Prioritized Defaults and Formal Argumentation. DEON (2021)
Ofer Arieli, Annemarie Borg, Christian Straßer
Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach. FLAIRS Conference (2020)
Ofer Arieli, Christian Straßer
On Minimality and Consistency Tolerance in Logical Argumentation Frameworks. COMMA (2020)
Jared Millson, Christian Straßer
A logic for best explanations. J. Appl. Non Class. Logics 29 (2) (2019)
Jesse Heyninck, Christian Straßer
A Fully Rational Argumentation System for Preordered Defeasible Rules. AAMAS (2019)
Christian Straßer, Ofer Arieli
Normative reasoning by sequent-based argumentation. J. Log. Comput. 29 (3) (2019)
Mathieu Beirlaen, Jesse Heyninck, Christian Straßer
Structured argumentation with prioritized conditional obligations and permissions. J. Log. Comput. 29 (2) (2019)
Ofer Arieli, Christian Straßer
Logical argumentation by dynamic proof systems. Theor. Comput. Sci. 781 (2019)
Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, Christian Straßer
Argument Strength in Formal Argumentation. FLAP 5 (3) (2018)
Ofer Arieli, Annemarie Borg, Christian Straßer
Prioritized Sequent-Based Argumentation. AAMAS (2018)
Ofer Arieli, Annemarie Borg, Christian Straßer
Reasoning with maximal consistency by argumentative approaches. J. Log. Comput. 28 (7) (2018)
Annemarie Borg, Christian Straßer
Relevance in Structured Argumentation. CoRR (2018)
Annemarie Borg, Christian Straßer
Relevance in Structured Argumentation. IJCAI (2018)
Jesse Heyninck, Pere Pardo, Christian Straßer
Assumption-Based Approaches to Reasoning with Priorities. AI^3@AI*IA (2017)
Jesse Heyninck, Christian Straßer
Revisiting Unrestricted Rebut and Preferences in Structured Argumentation. IJCAI (2017)
Annemarie Borg, Daniel Frey, Dunja Seselja, Christian Straßer
An Argumentative Agent-Based Model of Scientific Inquiry. IEA/AIE (1) (2017)
Ofer Arieli, Annemarie Borg, Christian Straßer
Argumentative Approaches to Reasoning with Consistent Subsets of Premises. IEA/AIE (1) (2017)
Mathieu Beirlaen, Jesse Heyninck, Christian Straßer
Reasoning by Cases in Structured Argumentation. CoRR (2017)
Jesse Heyninck, Christian Straßer, Pere Pardo
Assumption-Based Approaches to Reasoning with Priorities. CoRR (2017)
Annemarie Borg, Ofer Arieli, Christian Straßer
Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM. TAFA (2017)
Mathieu Beirlaen, Jesse Heyninck, Christian Straßer
Reasoning by cases in structured argumentation. SAC (2017)
Annemarie Borg, Daniel Frey, Dunja Seselja, Christian Straßer
Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry. LORI (2017)
Christian Straßer, Mathieu Beirlaen, Frederik Van De Putte
Adaptive Logic Characterizations of Input/Output Logic. Stud Logica 104 (5) (2016)
Ofer Arieli, Christian Straßer
Argumentative Approaches to Reasoning with Maximal Consistency. KR (2016)
Christian Straßer, Frederik Van De Putte
Adaptive strategies and finite-conditional premise sets. J. Log. Comput. 26 (5) (2016)
Jesse Heyninck, Christian Straßer
Relations between assumption-based approaches in nonmonotonic logic and formal argumentation. CoRR (2016)
Mathieu Beirlaen, Christian Straßer
A Structured Argumentation Framework for Detaching Conditional Obligations. DEON (2016)
Joke Meheus, Christian Straßer, Peter Verdée
Which style of reasoning to choose in the face of conflicting information? J. Log. Comput. 26 (1) (2016)
Mathieu Beirlaen, Christian Straßer
A structured argumentation framework for detaching conditional obligations. CoRR (2016)
Annemarie Borg, Daniel Frey, Dunja Seselja, Christian Straßer
An argumentative agent-based model of scientific inquiry. CoRR (2016)
Ofer Arieli, Christian Straßer
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations. LSFA (2015)
Ofer Arieli, Christian Straßer
Sequent-based logical argumentation. Argument Comput. 6 (1) (2015)
Dov M. Gabbay, Christian Straßer
Reactive standard deontic logic. J. Log. Comput. 25 (1) (2015)
Christian Straßer, Ofer Arieli
Sequent-Based Argumentation for Normative Reasoning. DEON (2014)
Dunja Seselja, Christian Straßer
Epistemic justification in the context of pursuit: a coherentist approach. Synth. 191 (13) (2014)
Frederik Van De Putte, Christian Straßer
Preferential Semantics using Non-smooth Preference Relations. J. Philos. Log. 43 (5) (2014)
Mathieu Beirlaen, Christian Straßer
Non-monotonic reasoning with normative conflicts in multi-agent deontic logic. J. Log. Comput. 24 (6) (2014)
Frederik Van De Putte, Christian Straßer
Adaptive logics: a parametric approach. Log. J. IGPL 22 (6) (2014)
Ofer Arieli, Christian Straßer
Dynamic Derivations for Sequent-Based Logical Argumentation. COMMA (2014)
Dunja Seselja, Christian Straßer
Abstract argumentation and explanation applied to scientific debates. Synth. 190 (12) (2013)
Frederik Van De Putte, Christian Straßer
A Logic for prioritized normative reasoning. J. Log. Comput. 23 (3) (2013)
Mathieu Beirlaen, Christian Straßer
Two adaptive logics of norm-propositions. J. Appl. Log. 11 (2) (2013)
Frederik Van De Putte, Christian Straßer
Three formats of prioritized adaptive logics: a comparative study. Log. J. IGPL 21 (2) (2013)
Mathieu Beirlaen, Christian Straßer, Joke Meheus
An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. J. Philos. Log. 42 (2) (2013)
Christian Straßer, Mathieu Beirlaen
An Andersonian Deontic Logic with Contextualized Sanctions. DEON (2012)
Christian Straßer
Adaptively applying modus ponens in conditional logics of normality. J. Appl. Non Class. Logics 22 (1-2) (2012)
Mathieu Beirlaen, Christian Straßer
A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts. CLIMA (2011)
Christian Straßer
A deontic logic framework allowing for factual detachment. J. Appl. Log. 9 (1) (2011)
Christian Straßer, Dunja Seselja
Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach. J. Log. Comput. 21 (2) (2011)