Reasoning, Rationality & Science

Christian Straßer

29 min read

Short Bio

Christian Straßer is a full professor of Logic in Philosophy and Artificial Intelligence at the Institute for Philosophy II at Ruhr University Bochum. He is specialized in non-monotonic logics, defeasible reasoning, argumentation, deontic and adaptive logics. He is interested in utilizing formal methods (such as logical or computational methods) in philosophy. Beyond logic his research interests spread into the philosophy of science and social epistemology. You find more information on him here and his CV here (and a pdf here).

Recent Activity

2026-05-06 : New paper in KR 2026

2026-04-22 : Reading Group for Qualitative Grading Project

2026-04-30 : Christian gave a talk in Hagen on Inconsistency Measures

Publications

2026

  • Ofer Arieli and Badran Raddaoui and Christian Straßer (2026). Beyond Consistency: A Closer Look at Free Formulas. Proceedings of KR 2026.

2025

  • Christian Straßer (2025). Nonmonotonic Logic. Cambridge University Press.
  • Van Berkel, Kees and Straßer, Christian (2025). Reasoning with and about normative conflicts. Proceedings of DEON 2025.
  • Zhou, Zheng and Van Berkel, Kees and Straßer, Christian (2025). Hypothesis-Driven Disjunctive Reasoning in Logical Argumentation. Proceedings of LORI 2025.
  • Arieli, Ofer and Straßer, Christian (2025). Compactness and Preservation in Logical Argumentation Frameworks. Proceedings of KR 2025.

2024

  • van Berkel, Kees and Straßer, Christian and Zhou, Zheng (2024). Towards an Argumentative Unification of Default Reasoning. Proceeding of COMMA, pp. 313—324.
  • Arieli, Ofer and van Berkel, Kees and Raddaoui, Badran and Straßer, Christian (2024). Deontic reasoning based on inconsistency measures. Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, v. 21, pp. 71—81.
  • Van Berkel, Kees and Straßer, Christian (2024). Towards Deontic Explanations Through Dialoque. 2nd International Workshop on Argumentation for eXplainable AI (ArgXAI)., v. 3768, pp. 29—40.
  • van Berkel, Kees and Straßer, Christian (2024). Towards Deontic Explanations Through Dialogue.. ArgXAI@ COMMA, pp. 29—40.

2023

  • Straßer, Christian and Michajlova, Lisa (2023). Evaluating and Selecting Arguments in the Context of Higher Order Uncertainty. Frontiers in Artificial Intelligence, v. 6.
  • Badran Raddaoui and Christian Straßer and Said Jabbour (2023). A Comparative Study of Ranking Formulas Based on Consistency. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, pp. nil.
  • Arieli, Ofer and Borg, AnneMarie and Straßer, Christian (2023). A Postulate-Deriven Study of Logical Argumentation. Artificial Intelligence, pp. 103966.
  • van Berkel, Kees and Markovich, Réka and Strasser, Christian and van der Torre, Leendert (2023). Arguing About Choosing a Normative System: Conflict of Laws. Legal Knowledge and Information Systems, pp. 73—82.

2022

  • Pardo, Pere and Straßer, Christian (2022). Modular orders on defaults in formal argumentation. Journal of Logic and Computation.
  • Arieli, Ofer and van Berkel, Kees and Straßer, Christian (2022). Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. Proceedings of IJCAI 2022, pp. 2532—2538.
  • Pere Pardo and Christian Straßer (2022). Modular Orders on Defaults in Formal Argumentation. Journal of Logic and Computation, v. nil, pp. nil.
  • Arieli, Ofer and Borg, AnneMarie and Hesse, Matthis and Strasser, Christian (2022). Explainable Logic-Based Argumentation. Computational Models of Argument, pp. 32—43.
  • Berkelvan Berkel, Kees and Straßer, Christian (2022). Reasoning With and About Norms in Logical Argumentation. Frontiers in Artificial Intelligence and Applications: Computational Models of Argument, proceedings (COMMA22), v. 353, pp. 332 — 343.

2021

  • Heyninck, Jesse and Straßer, Christian (2021). Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut. Argument \& Computation, pp. 3—47.
  • Straßer, Christian and Pardo, Pere (2021). Prioritized Defaults and Formal Argumentation. Proceedings of DEON 2020/21, pp. 427—446.
  • Arieli, Ofer and Borg, AnneMarie and Heyninck, Jesse and Straßer, Christian (2021). Logic-based approaches to formal argumentation. Journal of Applied Logics-IfCoLog Journal, v. 8, pp. 1793—1898.
  • Arieli, Ofer and Borg, AnneMarie and Straßer, Christian (2021). Characterizations and Classifications of Argumentative Entailments. Proceedings of KR, pp. 52—62.
  • Heyninck, Jesse and Straßer, Christian (2021). A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities.. Journal of Applied Logic – IfCoLog Journal of Logics and their Applications, v. 8, pp. 737—808.
  • Tobias Schlicht and Johannes L. Brandl and Frank Esken and Hans-Johann Glock and Albert Newen and Josef Perner and Franziska Poprawe and Eva Schmidt and Anna Strasser and Julia Wolf (2021). Teleology First: Goals Before Knowledge and Belief. Behavioral and Brain Sciences, v. 44.

2020

  • Borg, AnneMarie and Straßer, Christian and Arieli, Ofer (2020). A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents. Studia Logica, v. 109, pp. 167–238.
  • Arieli, Ofer and Straßer, Christian (2020). On Minimality and Consistency Tolerance in Logical Argumentation Frameworks. Computational Models of Argument, pp. 91—102.
  • Dunja Sešelja and Christian Straßer and AnneMarie Borg (2020). Formal Models of Scientific Inquiry in a Social Context: an Introduction. Journal for General Philosophy of Science, v. 51, pp. 211—217.

2019

  • Jared Millson and Christian Straßer (2019). A logic for best explanations. Journal of Applied Non-Classical Logics, v. 29, pp. 184—231.
  • Ofer Arieli and Christian Straßer (2019). Logical argumentation by dynamic proof systems. Theoretical Computer Science, v. 781, pp. 63—91.
  • AnneMarie Borg and Daniel Frey and Dunja Šešelja and Christian Straßer (2019). Theory-choice, transient diversity and the efficiency of scientific inquiry. European Journal of Philosophy of Science.
  • Heyninck, Jesse and Straßer, Christian (2019). A Fully Rational Argumentation System for Preordered Defeasible Rules. Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, pp. 1704—1712.

2018

  • Mathieu Beirlaen and Jesse Heyninck and Christian Straßer (2018). A critical assessment of Pollock’s work on logic-based argumentation with suppositions. Proceedings of NML 2018, pp. xx.
  • Mathieu Beirlaen and Jesse Heyninck and Christian Straßer (2018). A critical assessment of Pollock’s work on logic-based argumentation with suppositions. Proceedings of Argumentation and Philosophy (sub-workshop of COMMA 2018), pp. xx.
  • Strasser, Christian and Antonelli, G. Aldo (2018). Non-monotonic Logic. The Stanford Encyclopedia of Philosophy.
  • Borg, AnneMarie and Arieli, Ofer and Straßer, Christian (2018). Hypersequent-Based Argumentation: AnInstantiation in the Relevance LogicRM. Proceedings of TAFA. Lecture Notes in Computer Science, pp. 17–34.
  • AnneMarie Borg and Daniel Frey and Dunja Šešelja and Christian Straßer (2018). Epistemic effects of scientific interaction: approaching the question with an argumentative agent-based model. Historical Social Research, v. 43, pp. 285—309.
  • Borg, AnneMarie and Straßer, Christian (2018). Relevance in Structured Argumentation. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, pp. 1753—1759.
  • Beirlaen, Mathieu and Heyninck, Jesse and Pardo, Pere and Straßer, Christian (2018). Argument strength in formal argumentation. Journal of Applied Logics-IfCoLog Journal of Logics and their Applications, v. 5, pp. 629—675.
  • Arieli, Ofer and Borg, AnneMarie and Straßer, Christian (2018). Prioritized sequent-based argumentation. Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, pp. 1105—1113.
  • Straßer, Christian and Arieli, Ofer and Borg, AnneMarie (2018). Reasoning with maximal consistency by argumentative approaches. Journal of Logic and Computation, v. 28, pp. 1523—1563.
  • Jesse Heyninck and Christian Straßer (2018). A Comparative Study of Assumption-Based Approaches to Reasoning with Priorities. Proceedings of CLAR 2018.
  • Beirlaen, Mathieu and Straßer, Christian and Heyninck, Jesse (2018). Structured argumentation with prioritized conditional obligations and permissions. Journal of Logic and Computation, v. 29, pp. 187—214.

2017

  • Beirlaen, Mathieu and Heyninck, Jesse and Straßer, Christian (2017). Reasoning by cases in structured argumentation.. Proceedings of the Symposium on Applied Computing - SAC ‘17.
  • Beirlaen, Mathieu and Heyninck, Jesse and Straßer, Christian (2017). Reasoning by cases in structured argumentation.. Proceedings of the Symposium on Applied Computing, pp. 989—994.
  • Beirlaen, Mathieu and Heyninck, Jesse and Straßer, Christian (2017). Reasoning by Cases in Structured Argumentation.. Proceedings of the Symposium on Applied Computing, pp. 989—994.
  • Heyninck, Jesse and Straßer, Christian (2017). Revisiting unrestricted rebut and preferences in structured argumentation. Proceedings of the 26th International Joint Conference on Artificial Intelligence, pp. 1088—1092.
  • Jesse Heyninck and Pere Pardo and Christian Straßer (2017). Assumption-Based Approaches to Reasoning with Priorities. 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 (AI\textasteriskcenteredIA 2017), Bari, Italy, November 16-17, 2017., v. 2012, pp. 58—72.
  • Borg, AnneMarie and Frey, Daniel and Šešelja, Dunja and Straßer, Christian (2017). Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry. Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings, pp. 391—406.
  • Borg, AnneMarie and Frey, Daniel and Šešelja, Dunja and Straßer, Christian (2017). An Argumentative Agent-Based Model of Scientific Inquiry. Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I, pp. 507—510.
  • Arieli, Ofer and Borg, AnneMarie and Straßer, Christian (2017). Argumentative Approaches to Reasoning with Consistent Subsets of Premises. Lecture Notes in Computer Science, pp. 455–465.

2016

  • Jesse Heyninck and Christian Straßer (2016). Relations between assumption-based approaches in nonmonotonic logic and formal argumentation. Proceedings of NMR2016, pp. 65—76.
  • Mathieu Beirlaen and Christian Straßer (2016). A Structured Argumentation Framework for Detaching Conditional Obligations. Deontic Logic and Normative Systems (Proceedings DEON 2016), pp. 32—48.
  • Christian Straßer and Frederik van de Putte (2016). Proof theories for superpositions of adaptive logics. Logique et analyse, v. 58, pp. 307—346.
  • Arieli, Ofer and Straßer, Christian (2016). Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations. Electronic Notes in Theoretical Computer Science, v. 323, pp. 21—37.
  • Straßer, Christian and Beirlaen, Mathieu and Van De Putte, Frederik (2016). Adaptive Logic Characterizations of Input/Output Logic. Studia Logica, v. 104, pp. 869—916.
  • Arieli, Ofer and Straßer, Christian (2016). Argumentative Approaches to Reasoning with Maximal Consistency.. KR, pp. 509—512.
  • Arieli, Ofer and Straßer, Christian (2016). Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations. Electronic Notes in Theoretical Computer Science, v. 323, pp. 21–37.
  • Straßer, Christian and Beirlaen, Mathieu and Van De Putte, Frederik (2016). Adaptive logic characterizations of input/output logic. Studia Logica, v. 104, pp. 869—916.

2015

  • Ofer Arieli and Christian Straßer (2015). Sequent-Based Logical Argumentation. Argument and Computation., v. 6, pp. 73—99.
  • Straßer, Christian and Arieli, Ofer (2015). Normative reasoning by sequent-based argumentation. Journal of Logic and Computation, v. 29, pp. 387—415.

2014

  • Straßer, Christian and Van De Putte, Frederik (2014). Proof Theories for Superpositions of Adaptive Logics. Logique et Analyse.
  • Joke Meheus and Christian Straßer and Peter Verdée (2014). Which Style of Reasoning to Choose in the Face of Conflicting Information?. Journal of Logic and Computation.
  • Straßer, Christian and Šešelja, Dunja and Wieland, Jan Willem (2014). Withstanding Tensions: Scientific Disagreement and Epistemic Tolerance. Heuristic Reasoning, pp. 113–146.
  • Ofer Arieli and Christian Straßer (2014). Dynamic Derivations for Sequent-Based Logical Argumentation. Proceedings COMMA’14, pp. 89—100.
  • Šešelja, Dunja and Straßer, Christian (2014). Heuristic Reevaluation of the Bacterial Hypothesis of Peptic Ulcer Disease in the 1950s. Acta Biotheoretica, v. 62, pp. 429–454.
  • Christian Straßer and Aleks Knoks and Joke Meheus (2014). Deontic Reasoning on the Basis of Consistency Considerations. .
  • Christian Straßer (2014). Adaptive Logic and Defeasible Reasoning. Applications in Argumentation, Normative Reasoning and Default Reasoning.. Springer, v. 38.
  • Van De Putte, Frederik and Straßer, Christian (2014). Adaptive logics: a parametric approach. Logic Journal of the IGPL, v. 22, pp. 905—932.
  • Christian Straßer and Ofer Arieli (2014). Sequent-Based Argumentation for Normative Reasoning. Deontic Logic and Normative Systems, pp. 224—240.
  • Strasser, Christian and Antonelli, G. Aldo (2014). Non-monotonic Logic. The Stanford Encyclopedia of Philosophy.
  • Šešelja, Dunja and Straßer, Christian (2014). Concerning Peter Vickers’s Recent Treatment of ‘Paraconsistencitis’. International Studies in the Philosophy of Science, v. 28, pp. 325—340.
  • Straßer, Christian and Van De Putte, Frederik (2014). Adaptive strategies and finite-conditional premise sets. Journal of Logic and Computation, v. 26, pp. 1517–1539.
  • Van De Putte, Frederik and Straßer, Christian (2014). Preferential Semantics using Non-smooth Preference Relations. Journal of Philosophical Logic, v. 43, pp. 903—942.
  • Dunja Šešelja and Christian Straßer (2014). Epistemic justification in the context of pursuit: a coherentist approach. Synthese, v. 191, pp. 3111—3141.

2013

  • Mathieu Beirlaen and Christian Straßer and Joke Meheus (2013). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic, v. 2, pp. 285—315.
  • Šešelja, Dunja and Straßer, Christian (2013). Epistemic Justification in the Context of Pursuit: a Coherentist Approach. Synthese.
  • Mathieu Beirlaen and Christian Straßer and Joke Meheus (2013). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic, v. 2, pp. 285—315.
  • Van De Putte, Frederik and Straßer, Christian (2013). Three Formats of Prioritized Adaptive Logics: a Comparative Study. Logic Journal of the IGPL, v. 2, pp. 127—159.
  • Van De Putte, Frederik and Straßer, Christian (2013). A Logic for Prioritized Normative Reasoning. Journal of Logic and Computation, v. 23, pp. 563—583.
  • Mathieu Beirlaen and Christian Straßer (2013). Two adaptive logics of norm-propositions. Journal of Applied Logic, v. 11, pp. 147—168.
  • Beirlaen, M. and Strasser, C. (2013). Non-monotonic reasoning with normative conflicts in multi-agent deontic logic. Journal of Logic and Computation, v. 24, pp. 1179–1207.
  • Van De Putte, Frederik and Straßer, Christian (2013). Preferential Semantics using Non-smooth Preference Relations. Journal of Philosophical Logic, v. 43, pp. 903–942.
  • \Seselja\, Dunja and Straßer, Christian (2013). Kuhn and the Question of Pursuit Worthiness. Topoi, v. 32, pp. 9—19.
  • Meheus, Joke and Straßer, Christian and Verdée, Peter (2013). Which style of reasoning to choose in the face of conflicting information?. Journal of Logic and Computation, v. 26, pp. 361–380.
  • Beirlaen, Mathieu and Straßer, Christian and Meheus, Joke (2013). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic, v. 42, pp. 285—315.
  • Šešelja, Dunja and Straßer, Christian (2013). Abstract argumentation and explanation applied to scientific debates. Synthese, v. 190, pp. 2195—2217.
  • Šešelja, Dunja and Straßer, Christian (2013). Kuhn and the Question of Pursuit Worthiness. Topoi, v. 32, pp. 9—19.

2012

  • Christian Straßer and Joke Meheus and Mathieu Beirlaen (2012). Tolerating Deontic Conflicts by Adaptively Restricting Inheritance. Logique et Analyse, pp. 477—506.
  • Van De Putte, Frederik and Straßer, Christian (2012). Extending the Standard Format of Adaptive Logics to the Prioritized Case. Logique et Analyse, v. 55, pp. 601—641.
  • Straßer, Christian (2012). Adaptively applying modus ponens in conditional logics of normality. Journal of Applied Non-Classical Logics, v. 22, pp. 125–148.
  • Dov M. Gabbay and Christian Straßer (2012). Reactive standard deontic logic. Journal of Logic and Computation.
  • Šešelja, Dunja and Kosolosky, Laszlo and Straßer, Christian (2012). The rationality of scientific reasoning in the context of pursuit: drawing appropriate distinctions. Philosophica, v. 86, pp. 51—82.
  • Straßer, Christian and Beirlaen, Mathieu (2012). An andersonian deontic logic with contextualized sanctions. Deontic Logic in Computer Science, pp. 151—169.
  • Van De Putte, F. and Strasser, C. (2012). Three formats of prioritized adaptive logics: a comparative study. Logic Journal of IGPL, v. 21, pp. 127–159.
  • Gabbay, D. M. and Strasser, C. (2012). Reactive standard deontic logic. Journal of Logic and Computation, v. 25, pp. 117–157.
  • Van De Putte, F. and Strasser, C. (2012). A Logic for prioritized normative reasoning. Journal of Logic and Computation, v. 23, pp. 563–583.
  • Straßer, Christian and Beirlaen, Mathieu (2012). An Andersonian deontic logic with contextualized sanctions. International Conference on Deontic Logic in Computer Science, pp. 151—169.

2011

  • Straßer, Christian (2011). A deontic logic framework allowing for factual detachment. Journal of Applied Logic, v. 9, pp. 61–80.
  • Beirlaen, Mathieu and Straßer, Christian (2011). A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts. Computational Logic in Multi-Agent Systems, pp. 312–329.

2010

  • Christian Straßer (2010). An Adaptive Logic Framework for Conditional Obligations and Deontic Dilemmas. Logic and Logical Philosophy, v. 19, pp. 95—128.
  • Christian Straßer (2010). A Deontic Logic Framework Allowing for Factual Detachment — Appendix. .
  • Christian Straßer (2010). Defeasible Reasoning With Applications in Argumentation, Normative Reasoning and Default Reasoning. .
  • Straßer, Christian (2010). An adaptive logic framework for conditional obligations and deontic dilemmas. Logic and Logical Philosophy, v. 19.
  • Straßer, C. and Seselja, D. (2010). Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: an Adaptive Logic Approach. Journal of Logic and Computation, v. 21, pp. 133–156.

2009

  • Diderik Batens and Christian Straßer and Peter Verdée (2009). On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit. Logique et Analyse, v. 52, pp. 281—304.
  • Christian Straßer and Dunja Šešelja (2009). Towards the proof-theoretic unification of Dung’s argumentation framework: An adaptive logic approach — Appendix. .
  • Šešelja, Dunja and Christian Straßer (2009). Kuhn and coherentist epistemology: in reply to J.M.Kuukkanen. Studies in History and Philosophy of Science, v. 40, pp. 322—327.
  • Christian Straßer (2009). The Many Sides of Logic. College Publications, pp. 47—67.
  • Straßer, Christian (2009). An Adaptive Logic for Rational Closure. The many sides of logic, pp. 47—67.

2006

  • Christian Straßer (2006). Quantifier Elimination For Queues. Rhine Workshop on Computer Algebra. Proceedings of the RWCA 2006., pp. 239—248.
  • Christian Straßer (2006). The Problem of Reference in the Philosophy of Hilary Putnam. .

Unknown

  • Joke Meheus and Diderik Batens and Christian Straßer and Christof de Clercq (Unknown). An Adaptive Logic for Default Reasoning. .
  • Meheus, Joke and Beirlaen, Mathieu and Van De Putte, Frederik and Straßer, Christian (Unknown). Non-Adjunctive Deontic Logics That Validate Aggregation as Much as Possible. .
  • Christian Straßer and Mathieu Beirlaen (Unknown). Towards More Conflict-Tolerant Deontic Logics By Relaxing the Interdefinability Between Obligations And Permissions. .
  • Christian Straßer and Mathieu Beirlaen (Unknown). Appendix to Towards More Conflict-Tolerant Deontic Logics By Relaxing the Interdefinability Between Obligations And Permissions. .
  • Christian Straßer and Mathieu Beirlaen (Unknown). Bridging the Trade-Off between Conflict-Tolerance and Derivative Strength in Deontic Logics. .
  • Straßer, Christian and Van De Putte, Frederik (Unknown). Dynamic Proof Theories for Selection Semantics: A Generic Adaptive Logic Framework. .
  • Christian Straßer and Joke Meheus and Peter Verdee (Unknown). Simple representations of some adaptive consequence relations in a Kripke frame. .
  • Wieland, Jan Willem and Straßer, Christian and \Seselja, Dunja (Unknown). Disagreements: A Dynamic and Two-Stances Model. .
  • Mathieu Beirlaen and Jesse Heyninck and Christian Straßer (Unknown). Reasoning by Cases in Structured Argumentation. Proceedings of SAC/KRR 2017.
  • AnneMarie Borg and Daniel Frey and Dunja Šešelja and Christian Straßer (Unknown). ArgABM. .

2026

  • Ofer Arieli and Badran Raddaoui and Christian Straßer (2026). Beyond Consistency: A Closer Look at Free Formulas. Proceedings of KR 2026.

2025

  • Christian Straßer (2025). Nonmonotonic Logic. Cambridge University Press.
  • Van Berkel, Kees and Straßer, Christian (2025). Reasoning with and about normative conflicts. Proceedings of DEON 2025.
  • Zhou, Zheng and Van Berkel, Kees and Straßer, Christian (2025). Hypothesis-Driven Disjunctive Reasoning in Logical Argumentation. Proceedings of LORI 2025.
  • Arieli, Ofer and Straßer, Christian (2025). Compactness and Preservation in Logical Argumentation Frameworks. Proceedings of KR 2025.

2024

  • van Berkel, Kees and Straßer, Christian and Zhou, Zheng (2024). Towards an Argumentative Unification of Default Reasoning. Proceeding of COMMA, pp. 313—324.
  • Arieli, Ofer and van Berkel, Kees and Raddaoui, Badran and Straßer, Christian (2024). Deontic reasoning based on inconsistency measures. Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, v. 21, pp. 71—81.
  • Van Berkel, Kees and Straßer, Christian (2024). Towards Deontic Explanations Through Dialoque. 2nd International Workshop on Argumentation for eXplainable AI (ArgXAI)., v. 3768, pp. 29—40.
  • van Berkel, Kees and Straßer, Christian (2024). Towards Deontic Explanations Through Dialogue.. ArgXAI@ COMMA, pp. 29—40.

2023

  • Straßer, Christian and Michajlova, Lisa (2023). Evaluating and Selecting Arguments in the Context of Higher Order Uncertainty. Frontiers in Artificial Intelligence, v. 6.
  • Badran Raddaoui and Christian Straßer and Said Jabbour (2023). A Comparative Study of Ranking Formulas Based on Consistency. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, pp. nil.
  • Arieli, Ofer and Borg, AnneMarie and Straßer, Christian (2023). A Postulate-Deriven Study of Logical Argumentation. Artificial Intelligence, pp. 103966.
  • van Berkel, Kees and Markovich, Réka and Strasser, Christian and van der Torre, Leendert (2023). Arguing About Choosing a Normative System: Conflict of Laws. Legal Knowledge and Information Systems, pp. 73—82.

2022

  • Pardo, Pere and Straßer, Christian (2022). Modular orders on defaults in formal argumentation. Journal of Logic and Computation.
  • Arieli, Ofer and van Berkel, Kees and Straßer, Christian (2022). Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. Proceedings of IJCAI 2022, pp. 2532—2538.
  • Pere Pardo and Christian Straßer (2022). Modular Orders on Defaults in Formal Argumentation. Journal of Logic and Computation, v. nil, pp. nil.
  • Arieli, Ofer and Borg, AnneMarie and Hesse, Matthis and Strasser, Christian (2022). Explainable Logic-Based Argumentation. Computational Models of Argument, pp. 32—43.
  • Berkelvan Berkel, Kees and Straßer, Christian (2022). Reasoning With and About Norms in Logical Argumentation. Frontiers in Artificial Intelligence and Applications: Computational Models of Argument, proceedings (COMMA22), v. 353, pp. 332 — 343.

2021

  • Heyninck, Jesse and Straßer, Christian (2021). Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut. Argument \& Computation, pp. 3—47.
  • Straßer, Christian and Pardo, Pere (2021). Prioritized Defaults and Formal Argumentation. Proceedings of DEON 2020/21, pp. 427—446.
  • Arieli, Ofer and Borg, AnneMarie and Heyninck, Jesse and Straßer, Christian (2021). Logic-based approaches to formal argumentation. Journal of Applied Logics-IfCoLog Journal, v. 8, pp. 1793—1898.
  • Arieli, Ofer and Borg, AnneMarie and Straßer, Christian (2021). Characterizations and Classifications of Argumentative Entailments. Proceedings of KR, pp. 52—62.
  • Heyninck, Jesse and Straßer, Christian (2021). A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities.. Journal of Applied Logic – IfCoLog Journal of Logics and their Applications, v. 8, pp. 737—808.
  • Tobias Schlicht and Johannes L. Brandl and Frank Esken and Hans-Johann Glock and Albert Newen and Josef Perner and Franziska Poprawe and Eva Schmidt and Anna Strasser and Julia Wolf (2021). Teleology First: Goals Before Knowledge and Belief. Behavioral and Brain Sciences, v. 44.

2020

  • Borg, AnneMarie and Straßer, Christian and Arieli, Ofer (2020). A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents. Studia Logica, v. 109, pp. 167–238.
  • Arieli, Ofer and Straßer, Christian (2020). On Minimality and Consistency Tolerance in Logical Argumentation Frameworks. Computational Models of Argument, pp. 91—102.
  • Dunja Sešelja and Christian Straßer and AnneMarie Borg (2020). Formal Models of Scientific Inquiry in a Social Context: an Introduction. Journal for General Philosophy of Science, v. 51, pp. 211—217.

2019

  • Jared Millson and Christian Straßer (2019). A logic for best explanations. Journal of Applied Non-Classical Logics, v. 29, pp. 184—231.
  • Ofer Arieli and Christian Straßer (2019). Logical argumentation by dynamic proof systems. Theoretical Computer Science, v. 781, pp. 63—91.
  • AnneMarie Borg and Daniel Frey and Dunja Šešelja and Christian Straßer (2019). Theory-choice, transient diversity and the efficiency of scientific inquiry. European Journal of Philosophy of Science.
  • Heyninck, Jesse and Straßer, Christian (2019). A Fully Rational Argumentation System for Preordered Defeasible Rules. Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, pp. 1704—1712.

2018

  • Mathieu Beirlaen and Jesse Heyninck and Christian Straßer (2018). A critical assessment of Pollock’s work on logic-based argumentation with suppositions. Proceedings of NML 2018, pp. xx.
  • Mathieu Beirlaen and Jesse Heyninck and Christian Straßer (2018). A critical assessment of Pollock’s work on logic-based argumentation with suppositions. Proceedings of Argumentation and Philosophy (sub-workshop of COMMA 2018), pp. xx.
  • Strasser, Christian and Antonelli, G. Aldo (2018). Non-monotonic Logic. The Stanford Encyclopedia of Philosophy.
  • Borg, AnneMarie and Arieli, Ofer and Straßer, Christian (2018). Hypersequent-Based Argumentation: AnInstantiation in the Relevance LogicRM. Proceedings of TAFA. Lecture Notes in Computer Science, pp. 17–34.
  • AnneMarie Borg and Daniel Frey and Dunja Šešelja and Christian Straßer (2018). Epistemic effects of scientific interaction: approaching the question with an argumentative agent-based model. Historical Social Research, v. 43, pp. 285—309.
  • Borg, AnneMarie and Straßer, Christian (2018). Relevance in Structured Argumentation. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, pp. 1753—1759.
  • Beirlaen, Mathieu and Heyninck, Jesse and Pardo, Pere and Straßer, Christian (2018). Argument strength in formal argumentation. Journal of Applied Logics-IfCoLog Journal of Logics and their Applications, v. 5, pp. 629—675.
  • Arieli, Ofer and Borg, AnneMarie and Straßer, Christian (2018). Prioritized sequent-based argumentation. Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, pp. 1105—1113.
  • Straßer, Christian and Arieli, Ofer and Borg, AnneMarie (2018). Reasoning with maximal consistency by argumentative approaches. Journal of Logic and Computation, v. 28, pp. 1523—1563.
  • Jesse Heyninck and Christian Straßer (2018). A Comparative Study of Assumption-Based Approaches to Reasoning with Priorities. Proceedings of CLAR 2018.
  • Beirlaen, Mathieu and Straßer, Christian and Heyninck, Jesse (2018). Structured argumentation with prioritized conditional obligations and permissions. Journal of Logic and Computation, v. 29, pp. 187—214.

2017

  • Beirlaen, Mathieu and Heyninck, Jesse and Straßer, Christian (2017). Reasoning by cases in structured argumentation.. Proceedings of the Symposium on Applied Computing - SAC ‘17.
  • Beirlaen, Mathieu and Heyninck, Jesse and Straßer, Christian (2017). Reasoning by cases in structured argumentation.. Proceedings of the Symposium on Applied Computing, pp. 989—994.
  • Beirlaen, Mathieu and Heyninck, Jesse and Straßer, Christian (2017). Reasoning by Cases in Structured Argumentation.. Proceedings of the Symposium on Applied Computing, pp. 989—994.
  • Heyninck, Jesse and Straßer, Christian (2017). Revisiting unrestricted rebut and preferences in structured argumentation. Proceedings of the 26th International Joint Conference on Artificial Intelligence, pp. 1088—1092.
  • Jesse Heyninck and Pere Pardo and Christian Straßer (2017). Assumption-Based Approaches to Reasoning with Priorities. 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 (AI\textasteriskcenteredIA 2017), Bari, Italy, November 16-17, 2017., v. 2012, pp. 58—72.
  • Borg, AnneMarie and Frey, Daniel and Šešelja, Dunja and Straßer, Christian (2017). Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry. Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings, pp. 391—406.
  • Borg, AnneMarie and Frey, Daniel and Šešelja, Dunja and Straßer, Christian (2017). An Argumentative Agent-Based Model of Scientific Inquiry. Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I, pp. 507—510.
  • Arieli, Ofer and Borg, AnneMarie and Straßer, Christian (2017). Argumentative Approaches to Reasoning with Consistent Subsets of Premises. Lecture Notes in Computer Science, pp. 455–465.

2016

  • Jesse Heyninck and Christian Straßer (2016). Relations between assumption-based approaches in nonmonotonic logic and formal argumentation. Proceedings of NMR2016, pp. 65—76.
  • Mathieu Beirlaen and Christian Straßer (2016). A Structured Argumentation Framework for Detaching Conditional Obligations. Deontic Logic and Normative Systems (Proceedings DEON 2016), pp. 32—48.
  • Christian Straßer and Frederik van de Putte (2016). Proof theories for superpositions of adaptive logics. Logique et analyse, v. 58, pp. 307—346.
  • Arieli, Ofer and Straßer, Christian (2016). Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations. Electronic Notes in Theoretical Computer Science, v. 323, pp. 21—37.
  • Straßer, Christian and Beirlaen, Mathieu and Van De Putte, Frederik (2016). Adaptive Logic Characterizations of Input/Output Logic. Studia Logica, v. 104, pp. 869—916.
  • Arieli, Ofer and Straßer, Christian (2016). Argumentative Approaches to Reasoning with Maximal Consistency.. KR, pp. 509—512.
  • Arieli, Ofer and Straßer, Christian (2016). Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations. Electronic Notes in Theoretical Computer Science, v. 323, pp. 21–37.
  • Straßer, Christian and Beirlaen, Mathieu and Van De Putte, Frederik (2016). Adaptive logic characterizations of input/output logic. Studia Logica, v. 104, pp. 869—916.

2015

  • Ofer Arieli and Christian Straßer (2015). Sequent-Based Logical Argumentation. Argument and Computation., v. 6, pp. 73—99.
  • Straßer, Christian and Arieli, Ofer (2015). Normative reasoning by sequent-based argumentation. Journal of Logic and Computation, v. 29, pp. 387—415.

2014

  • Straßer, Christian and Van De Putte, Frederik (2014). Proof Theories for Superpositions of Adaptive Logics. Logique et Analyse.
  • Joke Meheus and Christian Straßer and Peter Verdée (2014). Which Style of Reasoning to Choose in the Face of Conflicting Information?. Journal of Logic and Computation.
  • Straßer, Christian and Šešelja, Dunja and Wieland, Jan Willem (2014). Withstanding Tensions: Scientific Disagreement and Epistemic Tolerance. Heuristic Reasoning, pp. 113–146.
  • Ofer Arieli and Christian Straßer (2014). Dynamic Derivations for Sequent-Based Logical Argumentation. Proceedings COMMA’14, pp. 89—100.
  • Šešelja, Dunja and Straßer, Christian (2014). Heuristic Reevaluation of the Bacterial Hypothesis of Peptic Ulcer Disease in the 1950s. Acta Biotheoretica, v. 62, pp. 429–454.
  • Christian Straßer and Aleks Knoks and Joke Meheus (2014). Deontic Reasoning on the Basis of Consistency Considerations. .
  • Christian Straßer (2014). Adaptive Logic and Defeasible Reasoning. Applications in Argumentation, Normative Reasoning and Default Reasoning.. Springer, v. 38.
  • Van De Putte, Frederik and Straßer, Christian (2014). Adaptive logics: a parametric approach. Logic Journal of the IGPL, v. 22, pp. 905—932.
  • Christian Straßer and Ofer Arieli (2014). Sequent-Based Argumentation for Normative Reasoning. Deontic Logic and Normative Systems, pp. 224—240.
  • Strasser, Christian and Antonelli, G. Aldo (2014). Non-monotonic Logic. The Stanford Encyclopedia of Philosophy.
  • Šešelja, Dunja and Straßer, Christian (2014). Concerning Peter Vickers’s Recent Treatment of ‘Paraconsistencitis’. International Studies in the Philosophy of Science, v. 28, pp. 325—340.
  • Straßer, Christian and Van De Putte, Frederik (2014). Adaptive strategies and finite-conditional premise sets. Journal of Logic and Computation, v. 26, pp. 1517–1539.
  • Van De Putte, Frederik and Straßer, Christian (2014). Preferential Semantics using Non-smooth Preference Relations. Journal of Philosophical Logic, v. 43, pp. 903—942.
  • Dunja Šešelja and Christian Straßer (2014). Epistemic justification in the context of pursuit: a coherentist approach. Synthese, v. 191, pp. 3111—3141.

2013

  • Mathieu Beirlaen and Christian Straßer and Joke Meheus (2013). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic, v. 2, pp. 285—315.
  • Šešelja, Dunja and Straßer, Christian (2013). Epistemic Justification in the Context of Pursuit: a Coherentist Approach. Synthese.
  • Mathieu Beirlaen and Christian Straßer and Joke Meheus (2013). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic, v. 2, pp. 285—315.
  • Van De Putte, Frederik and Straßer, Christian (2013). Three Formats of Prioritized Adaptive Logics: a Comparative Study. Logic Journal of the IGPL, v. 2, pp. 127—159.
  • Van De Putte, Frederik and Straßer, Christian (2013). A Logic for Prioritized Normative Reasoning. Journal of Logic and Computation, v. 23, pp. 563—583.
  • Mathieu Beirlaen and Christian Straßer (2013). Two adaptive logics of norm-propositions. Journal of Applied Logic, v. 11, pp. 147—168.
  • Beirlaen, M. and Strasser, C. (2013). Non-monotonic reasoning with normative conflicts in multi-agent deontic logic. Journal of Logic and Computation, v. 24, pp. 1179–1207.
  • Van De Putte, Frederik and Straßer, Christian (2013). Preferential Semantics using Non-smooth Preference Relations. Journal of Philosophical Logic, v. 43, pp. 903–942.
  • \Seselja\, Dunja and Straßer, Christian (2013). Kuhn and the Question of Pursuit Worthiness. Topoi, v. 32, pp. 9—19.
  • Meheus, Joke and Straßer, Christian and Verdée, Peter (2013). Which style of reasoning to choose in the face of conflicting information?. Journal of Logic and Computation, v. 26, pp. 361–380.
  • Beirlaen, Mathieu and Straßer, Christian and Meheus, Joke (2013). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic, v. 42, pp. 285—315.
  • Šešelja, Dunja and Straßer, Christian (2013). Abstract argumentation and explanation applied to scientific debates. Synthese, v. 190, pp. 2195—2217.
  • Šešelja, Dunja and Straßer, Christian (2013). Kuhn and the Question of Pursuit Worthiness. Topoi, v. 32, pp. 9—19.

2012

  • Christian Straßer and Joke Meheus and Mathieu Beirlaen (2012). Tolerating Deontic Conflicts by Adaptively Restricting Inheritance. Logique et Analyse, pp. 477—506.
  • Van De Putte, Frederik and Straßer, Christian (2012). Extending the Standard Format of Adaptive Logics to the Prioritized Case. Logique et Analyse, v. 55, pp. 601—641.
  • Straßer, Christian (2012). Adaptively applying modus ponens in conditional logics of normality. Journal of Applied Non-Classical Logics, v. 22, pp. 125–148.
  • Dov M. Gabbay and Christian Straßer (2012). Reactive standard deontic logic. Journal of Logic and Computation.
  • Šešelja, Dunja and Kosolosky, Laszlo and Straßer, Christian (2012). The rationality of scientific reasoning in the context of pursuit: drawing appropriate distinctions. Philosophica, v. 86, pp. 51—82.
  • Straßer, Christian and Beirlaen, Mathieu (2012). An andersonian deontic logic with contextualized sanctions. Deontic Logic in Computer Science, pp. 151—169.
  • Van De Putte, F. and Strasser, C. (2012). Three formats of prioritized adaptive logics: a comparative study. Logic Journal of IGPL, v. 21, pp. 127–159.
  • Gabbay, D. M. and Strasser, C. (2012). Reactive standard deontic logic. Journal of Logic and Computation, v. 25, pp. 117–157.
  • Van De Putte, F. and Strasser, C. (2012). A Logic for prioritized normative reasoning. Journal of Logic and Computation, v. 23, pp. 563–583.
  • Straßer, Christian and Beirlaen, Mathieu (2012). An Andersonian deontic logic with contextualized sanctions. International Conference on Deontic Logic in Computer Science, pp. 151—169.

2011

  • Straßer, Christian (2011). A deontic logic framework allowing for factual detachment. Journal of Applied Logic, v. 9, pp. 61–80.
  • Beirlaen, Mathieu and Straßer, Christian (2011). A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts. Computational Logic in Multi-Agent Systems, pp. 312–329.

2010

  • Christian Straßer (2010). An Adaptive Logic Framework for Conditional Obligations and Deontic Dilemmas. Logic and Logical Philosophy, v. 19, pp. 95—128.
  • Christian Straßer (2010). A Deontic Logic Framework Allowing for Factual Detachment — Appendix. .
  • Christian Straßer (2010). Defeasible Reasoning With Applications in Argumentation, Normative Reasoning and Default Reasoning. .
  • Straßer, Christian (2010). An adaptive logic framework for conditional obligations and deontic dilemmas. Logic and Logical Philosophy, v. 19.
  • Straßer, C. and Seselja, D. (2010). Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: an Adaptive Logic Approach. Journal of Logic and Computation, v. 21, pp. 133–156.

2009

  • Diderik Batens and Christian Straßer and Peter Verdée (2009). On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit. Logique et Analyse, v. 52, pp. 281—304.
  • Christian Straßer and Dunja Šešelja (2009). Towards the proof-theoretic unification of Dung’s argumentation framework: An adaptive logic approach — Appendix. .
  • Šešelja, Dunja and Christian Straßer (2009). Kuhn and coherentist epistemology: in reply to J.M.Kuukkanen. Studies in History and Philosophy of Science, v. 40, pp. 322—327.
  • Christian Straßer (2009). The Many Sides of Logic. College Publications, pp. 47—67.
  • Straßer, Christian (2009). An Adaptive Logic for Rational Closure. The many sides of logic, pp. 47—67.

2006

  • Christian Straßer (2006). Quantifier Elimination For Queues. Rhine Workshop on Computer Algebra. Proceedings of the RWCA 2006., pp. 239—248.
  • Christian Straßer (2006). The Problem of Reference in the Philosophy of Hilary Putnam. .

Unknown

  • Joke Meheus and Diderik Batens and Christian Straßer and Christof de Clercq (Unknown). An Adaptive Logic for Default Reasoning. .
  • Meheus, Joke and Beirlaen, Mathieu and Van De Putte, Frederik and Straßer, Christian (Unknown). Non-Adjunctive Deontic Logics That Validate Aggregation as Much as Possible. .
  • Christian Straßer and Mathieu Beirlaen (Unknown). Towards More Conflict-Tolerant Deontic Logics By Relaxing the Interdefinability Between Obligations And Permissions. .
  • Christian Straßer and Mathieu Beirlaen (Unknown). Appendix to Towards More Conflict-Tolerant Deontic Logics By Relaxing the Interdefinability Between Obligations And Permissions. .
  • Christian Straßer and Mathieu Beirlaen (Unknown). Bridging the Trade-Off between Conflict-Tolerance and Derivative Strength in Deontic Logics. .
  • Straßer, Christian and Van De Putte, Frederik (Unknown). Dynamic Proof Theories for Selection Semantics: A Generic Adaptive Logic Framework. .
  • Christian Straßer and Joke Meheus and Peter Verdee (Unknown). Simple representations of some adaptive consequence relations in a Kripke frame. .
  • Wieland, Jan Willem and Straßer, Christian and \Seselja, Dunja (Unknown). Disagreements: A Dynamic and Two-Stances Model. .
  • Mathieu Beirlaen and Jesse Heyninck and Christian Straßer (Unknown). Reasoning by Cases in Structured Argumentation. Proceedings of SAC/KRR 2017.
  • AnneMarie Borg and Daniel Frey and Dunja Šešelja and Christian Straßer (Unknown). ArgABM. .

Graph View

Backlinks