Christian Straßer

According to our database, Christian Straßer authored at least 61 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation.

Ofer Arieli, Kees van Berkel, Christian Straßer

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

A postulate-driven study of logical argumentation.

Ofer Arieli, AnneMarie Borg, Christian Straßer

Artif. Intell., September, 2023

Evaluating and selecting arguments in the context of higher order uncertainty.

Christian Straßer, Lisa Michajlova

Frontiers Artif. Intell., February, 2023

Scientific Disagreements and the Diagnosticity of Evidence: How Too Much Data May Lead to Polarization.

Matteo Michelini, Javier Osorio, Wybo Houkes, Dunja Seselja, Christian Straßer

J. Artif. Soc. Soc. Simul., 2023

Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version).

Jesse Heyninck, Badran Raddaoui, Christian Straßer

CoRR, 2023

Arguing About Choosing a Normative System: Conflict of Laws.

Kees van Berkel, Réka Markovich, Christian Straßer, Leendert van der Torre

Proceedings of the Legal Knowledge and Information Systems, 2023

A Comparative Study of Ranking Formulas Based on Consistency.

Badran Raddaoui, Christian Straßer, Saïd Jabbour

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Ranking-based Argumentation Semantics Applied to Logical Argumentation.

Jesse Heyninck, Badran Raddaoui, Christian Straßer

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Abductive Reasoning with Sequent-Based Argumentation.

Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straßer

Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation.

Ofer Arieli, Kees van Berkel, Christian Straßer

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Explainable Logic-Based Argumentation.

Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straßer

Proceedings of the Computational Models of Argument, 2022

Reasoning With and About Norms in Logical Argumentation.

Kees van Berkel, Christian Straßer

Proceedings of the Computational Models of Argument, 2022

2021

A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.

Annemarie Borg, Christian Straßer, Ofer Arieli

Stud Logica, 2021

A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities.

Jesse Heyninck, Christian Straßer

FLAP, 2021

Logic-Based Approaches to Formal Argumentation.

Ofer Arieli, AnneMarie Borg, Jesse Heyninck, Christian Straßer

FLAP, 2021

Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut.

Jesse Heyninck, Christian Straßer

Argument Comput., 2021

Characterizations and Classifications of Argumentative Entailments.

Ofer Arieli, AnneMarie Borg, Christian Straßer

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Prioritized Defaults and Formal Argumentation.

Christian Straßer, Pere Pardo

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach.

Ofer Arieli, Annemarie Borg, Christian Straßer

Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

On Minimality and Consistency Tolerance in Logical Argumentation Frameworks.

Ofer Arieli, Christian Straßer

Proceedings of the Computational Models of Argument, 2020

2019

Logical argumentation by dynamic proof systems.

Ofer Arieli, Christian Straßer

Theor. Comput. Sci., 2019

Normative reasoning by sequent-based argumentation.

Christian Straßer, Ofer Arieli

J. Log. Comput., 2019

Structured argumentation with prioritized conditional obligations and permissions.

Mathieu Beirlaen, Jesse Heyninck, Christian Straßer

J. Log. Comput., 2019

A logic for best explanations.

Jared Millson, Christian Straßer

J. Appl. Non Class. Logics, 2019

A Fully Rational Argumentation System for Preordered Defeasible Rules.

Jesse Heyninck, Christian Straßer

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Reasoning with maximal consistency by argumentative approaches.

Ofer Arieli, Annemarie Borg, Christian Straßer

J. Log. Comput., 2018

Argument Strength in Formal Argumentation.

Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, Christian Straßer

FLAP, 2018

Relevance in Structured Argumentation.

Annemarie Borg, Christian Straßer

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Prioritized Sequent-Based Argumentation.

Ofer Arieli, Annemarie Borg, Christian Straßer

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM.

Annemarie Borg, Ofer Arieli, Christian Straßer

Proceedings of the Theory and Applications of Formal Argumentation, 2017

Reasoning by cases in structured argumentation.

Mathieu Beirlaen, Jesse Heyninck, Christian Straßer

Proceedings of the Symposium on Applied Computing, 2017

Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry.

Annemarie Borg, Daniel Frey, Dunja Seselja, Christian Straßer

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Revisiting Unrestricted Rebut and Preferences in Structured Argumentation.

Jesse Heyninck, Christian Straßer

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

An Argumentative Agent-Based Model of Scientific Inquiry.

Annemarie Borg, Daniel Frey, Dunja Seselja, Christian Straßer

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

Argumentative Approaches to Reasoning with Consistent Subsets of Premises.

Ofer Arieli, Annemarie Borg, Christian Straßer

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

Assumption-Based Approaches to Reasoning with Priorities.

Jesse Heyninck, Pere Pardo, Christian Straßer

Proceedings of the 1st Workshop on Advances In Argumentation In Artificial Intelligence co-located with XVI International Conference of the Italian Association for Artificial Intelligence, 2017

2016

Adaptive Logic Characterizations of Input/Output Logic.

Christian Straßer, Mathieu Beirlaen, Frederik Van De Putte

Stud Logica, 2016

Adaptive strategies and finite-conditional premise sets.

Christian Straßer, Frederik Van De Putte

J. Log. Comput., 2016

Which style of reasoning to choose in the face of conflicting information?

Joke Meheus, Christian Straßer, Peter Verdée

J. Log. Comput., 2016

Relations between assumption-based approaches in nonmonotonic logic and formal argumentation.

Jesse Heyninck, Christian Straßer

CoRR, 2016

Argumentative Approaches to Reasoning with Maximal Consistency.

Ofer Arieli, Christian Straßer

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

A Structured Argumentation Framework for Detaching Conditional Obligations.

Mathieu Beirlaen, Christian Straßer

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

2015

Reactive standard deontic logic.

Dov M. Gabbay, Christian Straßer

J. Log. Comput., 2015

Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations.

Ofer Arieli, Christian Straßer

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Sequent-based logical argumentation.

Ofer Arieli, Christian Straßer

Argument Comput., 2015

2014

Epistemic justification in the context of pursuit: a coherentist approach.

Dunja Seselja, Christian Straßer

Synth., 2014

Non-monotonic reasoning with normative conflicts in multi-agent deontic logic.

Mathieu Beirlaen, Christian Straßer

J. Log. Comput., 2014

Preferential Semantics using Non-smooth Preference Relations.

Frederik Van De Putte, Christian Straßer

J. Philos. Log., 2014

Adaptive logics: a parametric approach.

Frederik Van De Putte, Christian Straßer

Log. J. IGPL, 2014

Sequent-Based Argumentation for Normative Reasoning.

Christian Straßer, Ofer Arieli

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

Dynamic Derivations for Sequent-Based Logical Argumentation.

Ofer Arieli, Christian Straßer

Proceedings of the Computational Models of Argument, 2014

2013

Abstract argumentation and explanation applied to scientific debates.

Dunja Seselja, Christian Straßer

Synth., 2013

A Logic for prioritized normative reasoning.

Frederik Van De Putte, Christian Straßer

J. Log. Comput., 2013

An Inconsistency-Adaptive Deontic Logic for Normative Conflicts.

Mathieu Beirlaen, Christian Straßer, Joke Meheus

J. Philos. Log., 2013

Two adaptive logics of norm-propositions.

Mathieu Beirlaen, Christian Straßer

J. Appl. Log., 2013

Three formats of prioritized adaptive logics: a comparative study.

Frederik Van De Putte, Christian Straßer

Log. J. IGPL, 2013

2012

Adaptively applying modus ponens in conditional logics of normality.

Christian Straßer

J. Appl. Non Class. Logics, 2012

An Andersonian Deontic Logic with Contextualized Sanctions.

Christian Straßer, Mathieu Beirlaen

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

2011

Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach.

Christian Straßer, Dunja Seselja

J. Log. Comput., 2011

A deontic logic framework allowing for factual detachment.

Christian Straßer

J. Appl. Log., 2011

A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts.

Mathieu Beirlaen, Christian Straßer

Proceedings of the Computational Logic in Multi-Agent Systems, 2011