Contact
Wasserstraße 221, 4. OG , Office 401, 44801 Bochum
Ruhr-University Bochum, Institute for Philosophy II,
Professor for Logic in Philosophy and Artificial Intelligence,
Research Group on Reasoning, Rationality and Science,
Web: http://homepages.ruhr-uni-bochum.de/defeasible-reasoning/
Awards
- Quality Champion Award, ECAI 2023 for outstanding reviewing efforts
- Distinguished Program Committee Member at IJCAI 2022 (top 3%)
- BOF Research Professorship, 2021 (Ghent University)1
- Distinguished Program Committee Member at IJCAI 20192
- Sofja Kovalevskaja Award by the Alexander von Humboldt Foundation (2014)
- Faculty Award for Outstanding Study Achievements, Mathematics and Computer Science (FIM), University of Passau, Germany (2007)
Academic Positions and University Degrees
- Head of the Institute Philosophy II, Ruhr-University Bochum, 1. October 2023 – 30. September 2024
- Full Professor in Logic in Philosophy and Artificial Intelligence, Institute Philosophy II, Ruhr-University Bochum, 2021
- Head of the Institute Philosophy II, Ruhr-University Bochum, 1. October 2019 – 30. September 2020
- Junior-Professor in Nonmonotonic Logic and Formal Argumentation, Institute Philosophy II, Ruhr-University Bochum, 2015 – 2020
- Visiting Professor, Faculty of Arts and Philosophy, Ghent University, 2015–2017.
- Postdoctoral researcher, Faculty of Arts and Philosophy, Ghent University, 2011–2014
- PhD in Philosophy (Logic)/3, Faculty of Arts and Moral Sciences, Centre for Logic and Philosophy of Science, Ghent University, April 2011
- PhD Researcher, Faculty of Arts and Philosophy, Ghent University, 2007–2011
- Diplom (univ., summa cum laude) in Computer Science, secondary subject Mathematics, area of specialization Mathematical Modeling, Department of Mathematics and Computer Science (FIM), University of Passau, March 2006
- Magister (summa cum laude) in Philosophy, Department of Philosophy, University of Passau, November 2006
Citation Indices (
, Google Scholar)Citations | 1752 |
h-index | 23 |
i10-index | 55 |
Grants and Academic Employments
January 2021 | University Professor (W2) with a denomination in Logic in Philosophy and Artificial Intelligence at the Institute for Philosophy II, Ruhr-University Bochum |
2015 – 2017 | visiting professor at the Faculty of Arts and Philosophy, Ghent University |
January 2015 | Juniorprofessor in Nonmonotonic Logic and Formal Argumentation at the Ruhr-University Bochum |
August 2014 – August 2019 | principal researcher in the project An Argumentative Approach to Defeasible Reasoning: Towards a Unifying Base Theory at the Ruhr-University Bochum funded by the Alexander von Humboldt Foundation in the context of the Sofja Kovalevskaja award |
October 2013 – October 2016 | post-doc project Adaptive Logics and the Argumentative Approach to Defeasible Reasoning funded by the Research Foundation Flanders (FWO) at the Centre for Logic and Philosophy of Science (CLPS), Ghent University |
October 2011 – October 2013 | post-doc project Formal Characterizations of Defeasible Reasoning Forms: The Capacities and Limits of the Standard Format for Adaptive Logics funded by the Special Research Fond of Ghent University (BOF) at the CLPS |
March 2011 – October 2011 | post-doc researcher in the project A Logico-Philosophical Analysis of the Structure and Dynamics of Values and Norms funded by the FWO at the CLPS |
February 2007 – March 2011 | PhD-researcher in the project Development of Adaptive Logics for the Study of Central Topics in Contemporary Philosophy of Science. Towards a New Formal Philosophy of Science funded by the FWO at the CLPS |
October 2006 – February 2007 | teaching assistant at the chair of Philosophy at the University of Passau |
3rd Party Funding
Research Projects
WEAVE grant, LoDEx (Logical Methods for Deontic Explanation), trilateral (PI Bochum: Straßer, PI Luxembourg: Van der Torre, PI TU Vienna: Ciabbattoni) | 1.4 M (375K Bochum) |
Sofja Kovalevskaja Award (2014–2019), Research Project: An Argumentative Approach to Defeasible Reasoning: Towards a Unifying Base Theory | 1.353.000€ |
FWO Research Project Towards a more integrated formal account of actual ethical reasoning, with applications in medical ethics. Promoters: Joke Meheus, Christian Straßer, Frederik Van De Putte. | 234.000€ |
FWO PostDoc Project (2013-2016) Adaptive Logics and the Argumentative Approach to Defeasible Reasoning | 250.000€ |
BOF PostDoc Project (2011-2013) Formal Characterizations of Defeasible Reasoning Forms: The Capacities and Limits of the Standard Format for Adaptive Logics | 250.000€ |
Sum | 3.487.000€ |
Conference and Traveling grants
VIP Traveling grant (2018) for Ofer Arieli (Tel Aviv) from the Research School PLUS, Ruhr-University Bochum | 12.000€ |
Veranstaltungsprämie (2017) of Ruhr-University Bochum | 5.000€ |
Veranstaltungsprämie (2019) of Ruhr-University Bochum | 5.000€ |
Sum | 23.000€ |
Funding obtained with my support by doctoral students in my research group
PhD exchange grant, Research RUB), Sanderson Molick | 8.400€ |
International Realization Budget, Jesse Heyninck | 7.500€ |
International Realization Budget, upgrade, Jesse Heyninck | 2.500€ |
PR.INT Budget for the Conference Formal Models of Scientific Inquiry obtained by AnneMarie Borg | 4.725€ |
Sum | 23.125€ |
Supervision
2025 – now | Supervisor PhD Matteo Cerasa | |
2024 – now | Supervisor PostDoc Minkyung Wang | |
2024 – now | Supervisor PhD Luca Redondi (Cotutelle with Luxembourg) | |
2024 – 2025 | Supervisor PostDoc Eliot Watkins | |
2023 – now | Co-supervisor PhD Soong Woo (RUB) | |
2022 – 2023 | Supervisor PostDoc Kees van Berkel (RUB) | |
2017 – 2019 | Supervisor PostDoc Pere Pardo (RUB) | |
2020 – now | Co-supervisor PhD Simon Vanlanthen (RUB) | |
2017 – 2021 | Co-supervisor PhD Stef Frijters (Ghent) | |
2016 – 2021 | Supervisor PhD Sanderson Molick (Natal, Cotutelle, the other supervisor is Joao Marcos, Natal) | |
2015 – 2019 | Supervisor PhD Annemarie Borg (Magna cum laude, postdoc at Utrecht University) | |
2015 – 2017 | Supervisor PostDoc Matthieu Beirlaen | |
2015 – 2019 | Supervisor PhD Jesse Heyninck. Thesis: Investigations into the logical foundations of Defeasible Reasoning: an argumentative perspective (Summa cum laude, postdoc at TU Dortmund) | |
2010 – 2012 | Co-supervisor PhD Mathieu Beirlaen. Thesis: Accommodating Normative Conflicts in Defeasible Deontic Logic, First supervisor: Joke Meheus (Ghent University) |
Membership in Doctoral Committees
- Sara Ayhan (Bochum, 2023)
- Liuwen Lu (Luxembourg, 2023)
- Franci Mangraviti (Bochum, 2023)
- Fabian de Martin Polo (Bochum, 2023)
- Sanderson Molick (Natal, Bochum, 2021)
- Ali Farjami (Luxembourg, 2020)
- Sanderson Molick (Natal, Qualification, 2019)
- AnneMarie Borg (Bochum, 2019)
- Jesse Heyninck (Bochum, 2019)
- Daniel Skurt (Bochum, 2017)
- Agustin Ambrossio (Luxembourg, 2017)
- Xin Sun (Luxembourg, 2016)
- Mathieu Beirlaen (Ghent, 2012)
Publications
Books and Dissertation
![]() |
Christian Straßer,
, Nonmonotonic Logic,
, Elements-Series on Oxford University Press, 2025Christian Straßer,
Adaptive Logic and Defeasible Reasoning. Applications in Argumentation, Normative Reasoning and Default Reasoning,
Trends in Logic-series on Springer, Volume 38, 2014
Christian Straßer,
Defeasible reasoning with applications in argumentation, normative reasoning and default reasoning,
PhD Thesis, Ghent University
Guest Editorials
- Clayton Peterson and Christian Straßer, DEON 2023, Journal of Applied Logics – IfCoLog Journal of Logics and Their Applications, Vol. 12, Issue 2, 2025
- Dunja Seselja, Christian Straßer and AnneMarie Borg, Formal Models of Scientific Inquiry in a Social Context, Special Edition of Journal of General Philosophy of Science, 51, 2020
- Mathieu Beirlaen, Jesse Heyninck, Pere Pardo and Christian Straßer, Argument Strength in Formal Argumentation, Special Edition of Journal of Applied Logics – IfCoLog Journal of Logics and Their Applications, Vol. 5, Number 3, 2018
Papers
Note that the default order of authors is alphabetical.
2025
- Christian Straßer, Badran Raddaoui and Said Jabbour,
Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques,
Forthcoming in the Proceedings of IJCAI 2025 - Kees van Berkel and Christian Straßer,
Reasoning With and About Normative Conflicts,
forthcoming in the Proceedings of DEON 2025 - Zheng Zhou, Christian Straßer and Kees Van Berkel,
Hypothesis-Driven Disjunctive Reasoning in Logical Argumentation,
Forthcoming in the Proceedings of LORI 2025 - Christian Straßer and Sanderson Molick,
Minimal inconsistency-tolerant logics: a quantitative approach,
Australasian Journal of Logic, 22(03), 308-365, 2025 - Louise Dupuis, Matteo Michelini, Dunja Šešelja, and Christian Straßer,
Argumentative Agent-Based Models,
Journal of Applied Logic, IfColog, Vol. 12, Number 3, 2025, 489–548
2024
- Louise Dupuis, Matteo Michelini, Dunja Šešelja, and Christian Straßer
Argumentative Agent-Based Models
forthcoming in the Handbook of Formal Argumentation Volume 3 - Kees van Berkel and Christian Straßer
A Tutorial in Proof-Theoretic Approaches to Logical Argumentation
forthcoming in Proceedings of the Reasoning Web Summer School 2023 (Springer Lecture Notes in Computer Science) - Kees van Berkel and Christian Straßer
Towards Deontic Explanations Through Dialogue
Proceedings of Argumentation for eXplainable AI 2024 (ArgXAI) - Christian Meske, Daniel Eisenhardt, Dunja Šešelja, Christian Straßer
and Johannes Schneider
Mitigating Bias in academic Publishing: Towards Responsible AI-Augmentation in Peer-Rewiew Processes,
Forthcoming in Proceedings of CAPSI & MCIS 2024. - Ofer Arieli, Kees van Berkel, Badran Raddaoui and Christian Straßer,
Deontic Reasoning based on Inconsistency Measures,
Forthcoming in Proceedings of KR’2024. - Kees van Berkel, Christian Straßer, and Zheng Zhou,
Towards an Argumentative Unification of Default Reasoning,
Frontiers in Artificial Intelligence and Applications (COMMA), Vol. 388, 313-324 - Pere Pardo and Christian Straßer,
The Goal after Tomorrow: Offline Goal Reasoning with Norms,
Journal of Artificial Intelligence Research, Vol.80, 1703-1759, 2024 - Louise Dupuis de Tarlé, Matteo Michelini, AnneMarie Borg, Gabriella Pigozzi, Juliette Rouchier, Dunja Šešelja, Christian Straßer,
An Agent-Based Model of MySide Bias in Scientific Debates,
Forthcoming in JASSS. - Said Jabbour, Badran Raddaoui, Christian Straßer,
Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases,
, Proceedings of the Thirty-Third International Joint conference on Artificial Intelligence, 3541-3548, 2024. - Ofer Arieli, Kees van Berkel, Christian Straßer,
Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation,
Forthcoming, AAAI 2024.
2023
- Kees van Berkel, Reka Markovich, Christian Straßer, Leon van der Torre,
Arguing About Choosing a Normative System: Conflict of Laws,
Legal Knowledge and Information Systems (JURIX 2023), p. 73–82, 2023 - Christian Straßer and Lisa Michajlova,
Evaluating and Selecting Arguments in the Context of Higher Order Uncertainty,
Frontiers in Artificial Intelligence, Vol. 6 - Ofer Arieli, AnneMarie Borg and Christian Straßer,
A Postulate-Driven Study of Logical Argumentation,
Artificial Intelligence, 103966, 2023. - Said Jabbour, Badran Raddaoui and Christian Straßer,
A Comparative Study of Ranking Formulas based on Consistency,
accepted for publication in IJCAI 2023 (15% acceptance rate) - Jesse Heyninck, Badran Raddaoui and Christian Straßer,
Ranking-based Argumentation Semantics applied to Logical Argumentation,
accepted for publication in IJCAI 2023 (15% acceptance rate) - Matteo Michelini, Javier Osorio, Wybo Houkes, Dunja Šešelja, and Christian Straßer,
“Scientific disagreements and the diagnosticity of evidence: how too much data may lead to polarization”,
accepted for publication in JASSS (Journal of Artificial Societies and Social Simulation), 2023.
2022
![]() |
![]() |
![]() |
![]() |
Ofer Arieli, AnneMarie Borg, Matthis Hesse, and Christian Straßer,
Explainable Logic-Based Argumentation,
Proceedings of COMMA 2022Pere Pardo and Christian Straßer,
Modular orders on defaults in formal argumentation,
Journal of Logic and Computation, https://doi.org/10.1093/logcom/exac084Ofer Arieli, AnneMarie Borg, Matthis Hesse, and Christian Straßer,
Abductive Reasoning with Sequent-Based Argumentation (Short Paper),
Proceedings of NMR 2022.Kees van Berkel and Christian Straßer,
Reasoning with and About Norms in Logical Argumentation,
Proceedings of COMMA 2022.- Ofer Arieli, Kees van Berkel and Christian Straßer,
Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation,
Proceedings of IJCAI 2022 (acceptance rate, 15%)
2021
![]() |
![]() |
![]() |
Ofer Arieli, AnneMarie Borg, and Christian Straßer,
Characterizations and Classifications of Argumentative Entailments,
Proceedings of KR 2021. (Acceptance rate full papers: 25%)Christian Straßer and Pere Pardo,
Prioritized Defaults and Formal Argumentation,
Proceedings of DEON 2020/21AnneMarie Borg, Christian Straßer and Ofer Arieli,
A Generalized Proof-Theoretic Approach to Logical Argumentation based on Hypersequents,
accepted for Studia Logica
Ofer Arieli, AnneMarie Borg, Jesse Heyninck, and Christian Straßer,
Logic-Based Approaches to Formal Argumentation,
Handbook of Formal Argumentation, Vol.2Ofer Arieli, AnneMarie Borg, Jesse Heyninck and Christian Straßer,
Logic-based approaches to formal argumentation,
Journal of Applied Logics, IfCoLog Journal of Logics and Their Applications, p. 1793-1898, Vol.8 (6), 2021Sanderson Molick and Christian Straßer,
Valuation and Compactness in Finitely-Valued Nondeterministic First Order Logics,
Conditionally accepted for the Logic Journal of the IGPL
2020
![]() |
![]() |
![]() |
AnneMarie Borg, Ofer Arieli and Christian Straßer,
Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach,
accepted for FLAIRS, 2020
Ofer Arieli and Christian Straßer, On Minimality and Consistency Tolerance in Logical Argumentation Frameworks, accepted for COMMA 2020.
Jesse Heyninck and Christian Straßer, Rationality and maximal consistent sets for a fragment of \(\mathrm{ASPIC} ^{+}\) without undercut, accepted for Argument and Computation.
- Jesse Heyninck and Christian Straßer, A comparative study of assumption-based argumentative approaches to reasoning with priorities, conditionally accepted for IFCOLOG
2019
![]() |
![]() |
Jared Millson and Christian Straßer,
A Logic for Best Explanations,
Journal of Applied Non-Classical Logics, 2019
Jesse Heyninck and Christian Straßer,
A fully rational argumentation system for preordered defeasible rules,
AAMAS 2019 (acceptance rate: 24%).
Ofer Arieli and Christian Straßer,
Logical Argumentation by Dynamic Proof Systems,
Theoretical Computer Science, 2019
2018
![]() |
![]() |
![]() |
Mathieu Beirlaen, Jesse Heyninck, and Christian Straßer,
A critical assessment of Pollock’s work on logic-based argumentation with suppositions,
NMR 2018.
Ofer Arieli, AnneMarie Borg and Christian Straßer,
Reasoning with maximal consistency by argumentative approaches, Journal of Logic and Computation,
NMR 2018.
AnneMarie Borg, Ofer Arieli and Christian Straßer,
Reasoning with maximal consistency by argumentative approaches,
Journal of Logic and Computation, forthcoming, doi:10.1093/logcom/exy027
Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, Christian Straßer,
Argument Strength in Formal Argumentation,
IFCOLOG, 5(1), pp. 629–676
Mathieu Beirlaen, Jesse Heyninck, and Christian Straßer,
A Critical Assessment of Pollock’s Accounts of Suppositional Argumentation (Extended Abstract),
Argumentation and Philosophy, Sub-Workshop of COMMA 2018
AnneMarie Borg and Christian Straßer,
Relevance in Structured Argumentation,
IJCAI 2018 (acceptance rate 20%), doi:10.24963/ijcai.2018/242
Jesse Heyninck and Christian Straßer,
A Comparative Study of Assumption-Based Approaches to Reasoning with Priorities,
CLAR 2018 (non-archival)
AnneMarie Borg, Ofer Arieli and Christian Straßer,
Hypersequent-based Argumentation: An Instantiation in the Relevance Logic RM.
In: Theory and Applications of Formal Argumentation 2018. Lecture Notes in Computer Science, vol 10757, pp. \s 17–34, Springer.
Ofer Arieli, AnneMarie Borg, Christian Straßer,
Prioritized Sequent-Based Argumentation,
AAMAS 2018, pp.\s 1105–1113 (acceptance rate 25%).
AnneMarie Borg, Daniel Frey, Dunja Šešelja, and Christian Straßer,
Epistemic Effects of Scientific Interaction: approaching the question with an argumentative agent-based model,
special issue of Historical Social Research: “Agent Based Modelling across Social Science, Economics, and Philosophy”, Vol. 43, No. 1 (163), pp. 285–307, 2018
Mathieu Beirlaen, Jesse Heyninck, and Christian Straßer
, Structured Argumentation with Prioritized Conditional Obligations and Permissions,
Studia Logica, 29(2), 187-214 doi:10.1093/logcom/exy005
2017
![]() |
![]() |
![]() |
Jesse Heyninck, Pere Pardo, Christian Straßer
, Assumption-Based Approaches to Reasoning with Priorities,
Proceedings of AI3, pp.\s 58–72, 2017
AnneMarie Borg, Daniel Frey, Dunja Šešelja, and Christian Straßer,
Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry
in the FoLLI Series on Logic, Language and Information 2017, pp.\s 391–406, Springer.
Jesse Heyninck and Christian Straßer,
Revisiting Unrestricted Rebut and Preferences in Structured Argumentation.,
IJCAI 2017, pp.\s 1088–1092.
Ofer Arieli, Annemarie Borg, and Christian Straßer,
Argumentative Approaches to Reasoning with Consistent Subsets of Premises
in proceedings of IEA/AIE’2017 (full paper), Lecture Notes in Artificial Intelligence series, pp.\s 455–465, Springer
Annemarie Borg, Daniel Frey, Dunja Šešelja and Christian Straßer,
An argumentative agent-based model of scientific inquiry,
in proceedings of IEA/AIE’2017 (poster paper), Lecture Notes in Artificial Intelligence series, pp.\s 507–510, Springer
Mathieu Beirlaen, Jesse Heyninck, and Christian Straßer,
Reasoning by Cases in Structured Argumentation
forthcoming in KRR/SAC 2017, doi:10.1145/3019612.3019716
2016
![]() |
![]() |
Beirlaen, M., & Christian Straßer,
A structured argumentation framework for detaching conditional obligations,
In O. Roy, A. Tamminga, & M. Willer, Deontic Logic and Normative Systems (Proceedings DEON 2016) (pp. 32–48) (2016). College Publications.
Ofer Arieli and Christian Straßer,
Deductive argumentation by enhanced sequent calculi and dynamic derivations,
Electronic Notes in Theoretical Computer Science, 323, 21–37 (2016).
Heyninck, J., & Christian Straßer,
Relations between assumption-based approaches in nonmonotonic logic and formal argumentation,
In G. Kern-Isberner, & R. Wassermann, Proceedings of NMR2016 (pp. 65–76) (2016)
Christian Straßer, & Putte, F. v. d.,
Proof theories for superpositions of adaptive logics,
Logique et analyse, 58(230), 307–346 (2016)
Ofer Arieli and Christian Straßer,
Argumentative Approaches to Reasoning with Maximal Consistency,
Proceedings of KR’16, pp.\s 509–512. Eds. Chitta Baral, James Delgrande, and Frank Wolter. AAAI Press. ISBN 978-1-57735-755-1.
Straßer, Christian, Beirlaen, M., & Van De Putte, F.,
Adaptive logic characterizations of input/output logic,
Studia Logica, 104(5), 869–916 (2016)
2015
2014
![]() |
![]() |
Christian Straßer and Aldo Antonelli,
Nonmonotonic Logic,
Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/logic-nonmonotonic, 2014
Šešelja D. and Straßer C. (2014),
Concerning Peter Vickers’ Recent Treatment of ‘Paraconsistencitis’: Review article of Peter Vickers, Understanding Inconsistent Science. Oxford: Oxford University Press, 2013. xii + 273 pp.,
International Studies in the Philosophy of Science, 28(3), pp. 325-340 (invited review article).
Christian Straßer and Frederik Van De Putte,
Adaptive Strategies and Finite-Conditional Premise Sets,
Journal of Logic and Computation, 26/5, pp.\s 1517–1539, 2016
Ofer Arieli and Christian Straßer,
Dynamic Derivations for Sequent-Based Deductive Argumentation,
Computational Models of Argument (Ed. S. Parsons, COMMA14) in the series Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 89–100, 2014
Christian Straßer and Ofer Arieli,
Sequent-Based Argumentation for Normative Reasoning,
Deontic Logic and Normative Systems (Ed. Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent) in the series Lecture Notes in Computer Science, Springer, pp. 224–240, 2014
Frederik Van De Putte and Christian Straßer,
Adaptive Logics as a Parametric Framework,
Logic Journal of the IGPL, 22/6, pp.\s 905–932, 2014
Dunja Šešelja, Christian Straßer
, Heuristic Reevaluation of the Bacterial Hypothesis of Peptic Ulcer Disease in the 1950s,
Acta Biotheoretica, Vol. 62, Issue 4, pp. 429–454, 2014
Dunja Šešelja and Christian Straßer,
Epistemic justification in the context of pursuit: a coherentist approach,
Synthese, Vol. 191, Issue 13, pp. 3111–3141, 2014
Christian Straßer, Dunja Šešelja, and Jan Willem Wieland,
Withstanding Tensions: Scientific Disagreement and Epistemic Tolerance,
in Heuristic Reasoning in the series Studies in Applied Philosophy, Epistemology and Rational Ethics (Ed. Emiliano Ippoliti), Springer, Vol. 16, pp. 113–146, 2014
- Joke Meheus, Mathieu Beirlaen, Frederik Van De Putte, Christian Straßer,
Non-adjunctive deontic logics that validate aggregation as much as possible,
accepted for Journal of Applied Logic [The special issue never appeared.]
2013
![]() |
![]() |
Mathieu Beirlaen and Christian Straßer,
Nonmonotonic reasoning with normative conflicts in multi-agent deontic logic,
Journal of Logic and Computation, Vol. 24, Issue 6, pp. 1179–1207, 2013
Mathieu Beirlaen and Christian Straßer,
Two adaptive logics of norm-propositions,
Journal of Applied Logic, 2013, Vol. 11, Issue 2, pp. 147–168
Frederik Van De Putte and Christian Straßer,
Preferential Semantics using Non-smooth Preference Relations,
Journal of Philosophical Logic, 5, 903–942, 2013
Joke Meheus, Christian Straßer, and Peter Verdée,
Which Style of Reasoning to Choose in the Face of Conflicting Information?,
Journal of Logic and Computation, 26/1, 361–380, 2013
Mathieu Beirlaen, Christian Straßer, and Joke Meheus,
An inconsistency-adaptive deontic logic for normative conflicts,
Journal of Philosophical Logic, 42/2, 285–315, 2013
Dunja Šešelja and Christian Straßer
, Abstract argumentation and explanation applied to scientific debates,
Synthese, 190/12, 2195–2217, 2013
Dunja Šešelja and Christian Straßer,
Kuhn and the Question of Pursuit Worthiness,
Topoi, 32/1, 9–19, 2013
2012
![]() |
![]() |
Frederik Van De Putte and Christian Straßer,
Three formats of prioritized adaptive logics: a comparative study,
Logic Journal of the IGPL, 21/2, 127–159, 2012
Dov Gabbay and Christian Straßer,
Reactive Standard Deontic Logic,
Journal of Logic and Computation, 25/1, 117–157, 2012
Christian Straßer and Mathieu Beirlaen,
An Andersonian deontic logic with contextualized sanctions,
in: Thomas Agotnes, Jan Broersen and Dag Elgesem, (eds.), Proceedings of the 11th International Conference on Deontic Logic in Computer Science (DEON 2012) (Lecture Notes in Articial Intelligence Vol.~7393), Springer, 2012, pp. 151–169
Christian Straßer,
Adaptively applying modus ponens in conditional logics of normality,
Journal of Applied Non-Classical Logic, 2012, Nr. 1–2, Vol. 22., pp. 125–148.
This article was Editor’s Choice in October 2013.
Christian Straßer, Joke Meheus, and Mathieu Beirlaen,
Tolerating deontic conflicts by adaptively restricting inheritance,
Logique et Analyse, 219, 2012, pp. 477–506
Dunja Šešelja, Laszlo Kosolosky, and Christian Straßer,
The rationality of scientific reasoning in the context of pursuit: drawing appropriate distinctions,
Philosophica, 86, 2012, pp. 51–82
Frederik Van De Putte and Christian Straßer,
A logic for prioritized normative reasoning,
Journal of Logic and Computation, 23/3, 563–583, 2012
Frederik Van De Putte and Christian Straßer,
Extending the standard format of adaptive logics to the prioritized case,
Logique et Analyse, 2012, Vol. 220. pp. 601–641
2011
![]() |
Christian Straßer,
A deontic logic framework allowing for factual detachment,
Journal of Applied Logic, 2011, 9(1), pp. 61-80
Mathieu Beirlaen and Christian Straßer,
A paraconsistent multi-agent framework for dealing with normative conflicts,
in: Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, and Leon van der Torre, (eds.), Computational Logic in Multi-Agent Systems, Springer, pp. 312-329
2010
![]() |
![]() |
Christian Straßer and Dunja Šešelja,
Towards the proof-theoretic unification of abstract argumentation,
Journal of Logic and Computation, 2010, 21 (2), 133-156
Christian Straßer,
An adaptive logic for conditional obligations and deontic dilemmas,
Logic and Logical Philosophy, vol. 19, no. 1-2, pages 95–128
2009
![]() |
Christian Straßer,
An adaptive logic for Rational Closure,
In: Walter Carnielli, Marcello E. Coniglio and Itala M. Loffredo D’Ottaviano, (eds.), The Many Sides of Logic, College Publications, London, pp. 47-67
Dunja Šešelja and Christian Straßer,
Kuhn and coherentist epistemology: in reply to J. M. Kuukkanen,
in Studies in History and Philosophy of Science, 40, pp. 322-327
Diderik Batens, Christian Straßer, and Peter Verdée,
On the transparency of defeasible logics: equivalent premise sets, equivalence of their extensions and maximality of the lower limit,
in Logique et Analyse, vol. 207, pp. 281-304
2006
Complementary online material
(available at http://logica.ugent.be/centrum/writings/pubs.php)
![]() |
- Christian Straßer,
A deontic logic framework allowing for factual detachment – appendix
for the article published in the Journal of Applied Logic, 2011, 9(1), pp. 61-80
![]() |
![]() |
- Christian Straßer and Dunja Šešelja,
Towards the proof-theoretic unification of Dung’s argumentation framework: an adaptive logic approach – appendix
for the article published in the Journal of Logic and Computation, 2011, 21 (2), pp. 133-156
Teaching
I consider teaching an essential and fun part of my work. I have significant experience of teaching students on all levels, from earlier Bachelor to PhD-students. I have taught introductory courses to large groups (~400) 1st year BA students and specialized tutorials to PhD-students, e.g., at the prestigious ESSLLI summer school.
Graduate Level
2025
2025 Summer | Arguments in Action: Debating (with D. Seselja, BA, MS) |
Grundzüge der Logik (BA) | |
Übung: Grundzüge der Logik (BA) | |
Introduction to Logic (BA) | |
Introduction to Artificial Intelligence (1 lecture, MS) | |
Writing a Bachelor or Master Thesis in English (with D. Seselja, late BA, MS) |
2024
2024 Summer | Formal argumentation and defeasible reasoning (late BA, MS) |
Exercise: Formal argumentation and defeasible reasoning (late BA, MS) | |
Introduction to Artificial Intelligence (1 lecture, MS) | |
Writing a Bachelor Thesis in English (with D. Seselja, late BA, MS) | |
2024 Winter | Agent-based simulations in philosophy: theory (with D. Seselja, late BA, MS) |
Argumentation (with D. Seselja, BA, MS) | |
Logic and Philosophical Methodology (MS) | |
Science in a Political World (with D. Seselja, late BA, MS) |
2023
ATTRHTML: :border 2 :rules none :frame 0 :cellpadding 4
2023 Summer | Introduction to Logic (BA, Bochum) |
Grundkurs Logik (BA, Bochum) | |
Übung: Grundkurs Logik (BA, Bochum) | |
Writing a Bachelor or Master Thesis in English (BA, MS) | |
Introduction to Artificial Intelligence (1 lecture, MS) | |
2023 Winter | Agent-based simulations in Philosophy (with D. Seselja, late BA, MS) |
Argumentation (with D. Seselja, BA, MS) | |
Introduction to Deontic Logic: challenges, paradoxes and formal systems (with K. van Berkel, BA, MS) |
2022
2022 Summer | Prädikatenlogik: Logik II (Engl. Predicate Logic: Logic II) (BA, Bochum) |
Übung: Prädikatenlogik (Engl. Exercise: Predicate Logic) (BA, Bochum) | |
Logic and Artificial Intelligence (MS, Bochum) | |
Exercise: Logic and Artificial Intelligence (MS, Bochum) | |
2022 Winter | Agent-based simulations in philosophy (with D. Seselja, late BA, MS) |
Argumentation (with D. Seselja, BA, MA) | |
Philosophische Logik (BA, MS) | |
Exercise: Philosophische Logik |
2021
2021 Winter | Philosophische Logik (Engl. Philosophical Logic) (BA, Bochum) |
Übung: Philosophische Logik (Engl. Exercise: Philosophical Logicl) (BA, Bochum) |
2020
2020 Summer | Prädikatenlogik: Logik II (Engl. Predicate Logic: Logic II) (BA, Bochum) |
Übung: Prädikatenlogik (Engl. Exercise: Predicate Logic) (BA, Bochum) | |
2020 Summer | Logic and Artificial Intelligence (late BA+MA, Bochum) |
2019
2019 Winter | Grundkurs Logik (Engl. Basic Course Logic) (obligatory course for early BA, Bochum, ~400 students) |
Übung: Grundkurs Logik (Engl. Exercise: Basic Course Logic) | |
2019 Summer | Deontic Logic and Normative Reasoning: On Gentle Murderers and Drowning Twins (BA, Bochum) |
Deontic Logic has an associated online blog at:
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/.
2018
2018 Winter | Philosophische Logik (Eng.: Philosophical Logic) (BA, Bochum) |
2018 Winter | Übung: Philosophische Logik (Eng.: /Exercise Philosophical Logic) (BA, Bochum) |
2018 Summer | Prädikatenlogik: Logik II (Eng.: Predicate Logic: Logic II) (BA, Bochum) |
2018 Summer | Übung: Prädikatenlogik: Logik II (Eng.: Exercise Predicate Logic: Logic II) (BA, Bochum) |
Philosophical Logic has an associated online blog at:
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/Phil-Log-2018/.
2017
2017 Winter | Grundkurs Logik (Eng.: Basic Course Logic) (obligatory course for early BA, Bochum, ~400 students) |
2017 Winter | Übung: Grundkurs Logik (Eng.: Exercise: Basic Course Logic) (obligatory course for early BA, Bochum) |
2016
2016 Winter | Philosophische Logik (Eng.: Philosophical Logic) (BA, Bochum) |
2016 Winter | Übung: Philosophische Logik (Eng.: /Exercise Philosophical Logic) (BA, Bochum) |
2016 Winter | Introduction to Logic (MA Cognitive Science, Bochum) |
2016 Summer | Prädikatenlogik: Logik II (Eng.: Predicate Logic: Logic II) (BA, Bochum) |
2016 Summer | Übung: Prädikatenlogik: Logik II (Eng.: Exercise Predicate Logic: Logic II) (BA, Bochum) |
2016 Summer | Introducing Defeasibility into Formal Logics: a Survey of Nonmonotonic Logics (late BA+MA, together with Mathieu Beirlaen) |
2016 | Logic Boot Camp (BA, survey of topics in philosophical logic, together with Daniel Skurt and Jesse Heyninck) |
2015
2015 Winter | Grundkurs Logik (Eng.: Basic Course Logic) (obligatory course for early BA, Bochum, ~200 students) |
2015 Winter | Übung: Grundkurs Logik (Eng.: Exercise: Basic Course Logic) (obligatory course for early BA, Bochum) |
2015 Summer | An Introduction to Adaptive Logics (late BA+MA, Bochum) |
2015 Summer | Normative Reasoning and Deontic Logics (late BA+MA, Bochum) |
2014
2014 Winter | An Introduction to Nonmonotonic Logic (late BA+MA, Bochum) |
2014 Winter | An Introduction to Formal Argumentation (BA, Bochum) |
2013
2013 Winter | A Thorough Study of Selected Topics in Logic (together with Rafal Urbaniak, MA, Ghent) |
2006
2006 Winter | Das Verhältnis von Sprache und Welt(en) (Eng.: The relationship of language and world(s) in the perspective of analytic philosophy of science (Kuhn, Putnam, Goodman, etc.)) (BA+MA, Passau) |
Einführung in die Analytische Philosophie (Eng.: Introduction into analytic philosophy) (BA+MA, Passau) |
Post-Graduate (and partially advanced Master)
2025 | ESSLLI: Tutorial on Proof-Theoretic Approaches to Logical Argumentation (together with Kees van Berkel) |
2023 | Reasoning Web Summer School: Tutorial on Proof-Theoretic Approaches to Logical Argumentation (together with Kees van Berkel) |
2021 | Tutorial on Logical Argumentation at KR 2021 (together with Ofer Arieli) |
2018 Winter | Research Colloquium in Epistemology and Logic (together with Heinrich Wansing) |
2018 Summer | Research Colloquium in Epistemology and Logic (together with Heinrich Wansing) |
2017 | Tutorial on Non-Monotonic Logic at PhDs in Logic at the RUB |
2017 Summer | Doctoral Colloquium (together with Helmut Pulte) at the RUB |
2017 Summer | Research Colloquium in Epistemology and Logic (together with Heinrich Wansing) |
2016 Winter | Doctoral Colloquium (together with Helmut Pulte) at the RUB |
2016 Winter | Research Colloquium in Epistemology and Logic (together with Heinrich Wansing) |
2016 | ESSLII Tutorial on Non-Monotonic Logic (together with Mathieu Beirlaen) |
September 2015 | Tutorial on Non-monotonic Reasoning as part of the TRS Reasoning School in Natal, Brazil. |
2011 – 2015 | Teaching in the Postgraduate Program for Logic, History and Philosophy of Science at the Faculty of Arts and Moral Sciences, Ghent. Courses: |
• Logic and Artificial Intelligence | |
• Adaptive Logics Applied to the Philosophy of Science | |
• Thorough Survey of the Philosophy of Mathematics (2014) |
Recent Talks (2025)
- TBA, Vienna, DEON 2025 (keynote)
- Reasoning With and About Normative Conflicts, Gent, LHPS Inspiration Day 4 (Invited, based on joint work with Kees van Berkel)
- An Argumentative Model of Deontic Conflicts, Hagen, Hagen MeetUp (Invited, based on joint work with Kees van Berkel and Zheng Zhou)
- Argumentation-based proof-calculi for defeasible normative reasoning and measuring the inconsistency of a normative code to recommend action to agents, 1st LoDEx Workshop (based on joint work with Kees van Berkel, Ofer Arieli and Badran Raddoui)
Scientific Committees
I am currently member of the FWO Review College (2025-2027).
2025
- program committee DEON 2025
- program committee KogWis2025
2024
- program committee COMMA 2024
2023
- program committee IJCAI 2023
- program committee KR 2023 (senior member)
- program committee CLAR 2023
- program committee DEON 2023 (pc chair)
2022
- program committee KR 2022 (senior member)
- program committee AAAI (senior member)
- program committee IJCAI 2022
- program committee CAKR 2022
- program committee SI-CLAR 2021 (Post-Proceedings)
- program committee ArgXAI 2022
- program committee COMMA 2022
- program committee NMR 2022
- program committee AAMAS 2022
2021
- program committee IJCAI 2021
- program committee FCR 2021 (7th Workshop on Formal and Cognitive Reasoning)
- program committee CLAR 2021
- program committee DEON 2021
- program committee AAMAS 2021
- program committee CIAC21
2020
- program committee NMR 2020
- program committee IJCAI 2020
- program committee COMMA 2020
- program committee KR 2020
- program committee Bayes by the Sea 2020
- program committee CLAR 2020
- program committee DEON 2020
- program committee PhDs in Logic 2020
2019
- member of the program committee Bayes by the Sea 2019
- member of the program committee ExLog2019 at UCLouvain
- member of the program committee DARE 2019
- member of the program committee of IJCAI 2019 (I have been elected as Distinguished Program Committee member)
- member of the program committee of ExLog2019: Explaining explanation using new developments in logic and formal semantics. Hyperintensionality, relevance, counterfactuals, grounding and truth-maker semantics (Louvain).
Before 2019
- member of the program committee of DEON2018
- member of the program committee of AAAI-18 (Association for the Advancement of Artificial Intelligence 2018)
- member of the program committee of CLAR-18 (2nd Chinese Conference on Logic and Argumentation)
- member of the program committee of IJCAI-17
- member of the scientific committee of Workshop on Object/Meta-Language at UC Louvain (19-20 May 2016)
- member of the program committee for DEON2016 (13th International Conference on Deontic Logic and Normative Systems), 2016 in Bayreuth, Germany
- member of the program committee for CLIMA2014 (15th International Workshop on Computational Logic in Multi-Agent Systems), 2014 in Prague, Poland
- member of the program committee for DEON2014 (12th International Conference on Deontic Logic and Normative Systems), 2014 in Ghent, Belgium
- member of the program committee for CLPS2013, 2013 in Ghent, Belgium
- member of the program committee at CLIMA2013 (14th International Workshop on Computational Logic in Multi-Agent Systems), 2013 in Corunna, Spain
Research Networks
- member of the Machine Learning and Artificial Intelligence group at Ruhr-University Bochum
- member of the DFG research network “Simulations of Scientfic Inquiry”, 2019-2025
- part of the steering committee of the research network “Logical and Methodological Analysis of Scientific Reasoning Processes”, funded by FWO, Belgium (2016-2020)
- member of the Center for Mind and Cognition (RUB, from 2019)
- member of the GetFun research network (2014-2016)
Organization of Conferences and Workshops
- main organizer (together with Dunja Seselja (LMU) and Gregor Betz (KIT)) of the conference Agent-Based Models in Philosophy – Prospects and Limitations (2019) in Bochum, Germany.
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/ABM-Phil-2019.html - main organizer (together with Ofer Arieli, AnneMarie Borg, Marcos Cramer, Jesse Heyninck, and Pere Pardo) of the conference Bridging the Gap Between Formal Argumentation and Actual Reasoning (2018) in Bochum, Germany
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/ArgRea-2018.html - main organizer (together with Annemarie Borg, Dunja Seselja, and Vlasta Sikimic) of the conference Formal Models of Scientific Inquiry (2017) in Bochum, Germany.
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/Conference-Formal-Models.html - main organizer (together with Annemarie Borg, Mathieu Beirlaen, Jesse Heyninck and Pere Pardo) of the workshop Logic in Bochum III (2017) in Bochum, Germany.
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/Logic-In-Bochum-III.html - main organizer (together with Annemarie Borg, Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, and Dunja Seselja) of the workshop Argument Strength 2016 in Bochum, Germany.
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/Argument-Strength-2016.html - main organizer (together with Mathieu Beirlaen) of the Tutorial on Non-Monotonic Logic at the 28th European Summer School in Logic, Language and Information - ESSLLI 2016 in Bozen-Bolzano, Italy
- main organizer (together with Mathieu Beirlaen) of the special colloquium on the ``Foundations of Defeasible Reasoning’’ at CLMPS 2015 in Helsinki, Finland. Invited speakers: Niki Pfeifer, Leila Amgoud, and Aldo Antonelli.
- member of the conference committee, the program committee, and chair of the local organizing committee for DEON2014 (12th International Conference on Deontic Logic and Normative Systems), 2014 in Ghent, Belgium
- main organizer of the special symposium ``Rational Disagreement in Science’’ (together with Dunja \Seselja) at CLPS2013, 2013 in Ghent, Belgium
- member of the local organizing team of the Dynamics of Normative Reasoning Workshop 2011 in Ghent, Belgium
- member of the local organizing team of the ``Logic, Reasoning and Rationality’’ conference 2010 in Ghent, Belgium
University Administration
- 2023–2024: Director of the Institute Philosophy II, Ruhr-University Bochum
- 2019–2020: Director of the Institute Philosophy II, Ruhr-University Bochum
- 2016–2019: IT-User Council, Ruhr-University Bochum
- 2016–2019: IT-User Representative (German: Nutzervertretung) of the Faculty of Philosophy and Educational Sciences, Ruhr-University Bochum
Language and Programming Skills
- I am fluent in writing, reading and speaking German, English, and, of course and most importantly, Bavarian.
- I finished two language courses for Dutch which I can read nearly fluently. My writing and speaking skills are at a beginners level.
- I have programming skills in various languages and dialects, including C, C++, Java, Julia, html, \LaTeX, and bash. I have advanced administrative skills in the Linux operation system.
- I live in emacs’s org-mode.
… and I love playing nerdy boardgames ;-)
Footnotes:
Declined in favor of a dual career offer by the Ruhr University Bochum with my partner Dunja Šešelja which allowed us to form a research group on Reasoning, Rationality and Science.
See https://www.ijcai19.org/distinguished-PC.html. Out of 2818 program committee members, 113 were chosen as Distinguished PCs for their exceptional reviewing contribution.
PhD degrees are not graded at Ghent University.