RUB | Fakultät für Philosophie und Erziehungswissenschaft | Institut für Philosophie II
    Research group Home | AnneMarie annemarietiny.jpg | Christian tiny_christian.stra_er.jpg | Dunja tiny_dunja._e_elja.jpg | Jesse tiny_jesse.heyninck.jpg | Mathieu tiny_mathieu.beirlaen.jpg | Pere pere.jpg | FAQ for members

Academic Curriculum Vitae of Christian Straßer

Contact

pass.jpg

E-mail: christian.strasser@rub.de

  • Office
    Ruhr-University Bochum,
    Faculty for Philosophy and Educational Sciences,
    Institute for Philosophy II,
    Research Group on Nonmonotonic Logic and Formal Argumentation,
    Universitätsstraße 150
    Building GA, Office 3/39
    Tel.: 0234 32 24721

Homepages

Personal Data

Date of birth: 16th February 1978
Place of birth:    Burghausen, Germany
State: German

University Degrees

  • Visiting Professor at the Faculty of Arts and Philosophy at Ghent University, Belgium, 2015–2017.
  • Junior-Professor with a Chair for Nonmonotonic Logic and Formal Argumentation (with tenure option) at the Institute for Philosophy II, Ruhr-University Bochum, Germany, January 2015.
  • PhD in Philosophy (Logic)1 at the Faculty of Arts and Moral Sciences, Centre for Logic and Philosophy of Science at Ghent University, Belgium, April 2011
  • Diplom (univ., summa cum laude)2 in Computer Science with secondary subject Mathematics and area of specialization Mathematical Modeling at the Department of Mathematics and Computer Science (FIM), University of Passau, Germany, March 2006
  • Magister (summa cum laude) in Philosophy with secondary subjects Mathematics and Computer Science at the Department of Philosophy, University of Passau, Germany, November 2006

Awards

  • Sofja Kovalevskaja Award by the Alexander von Humboldt Foundation (2014)
  • Faculty Award for Outstanding Study Achievements of the Faculty for Mathematics and Computer Science (FIM), University of Passau, Germany (2007)

Citation Indeces3

Citations 444
h-index 12
i10-index 20

Grants and Academic Employments

2015 – 2017 visiting professor at the Faculty of Arts and Philosophy, Ghent University
January 2015 obtained a chair as Juniorprofessor in Nonmonotonic Logic and Formal Argumentation at the Ruhr-University Bochum (incl. Tenure Track option)
August 2014 – August 2019                      obtained a grant as the 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 obtained a grant for the 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 obtained a grant for the 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 employed as a 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 employed as a 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 employed as a teaching assistant at the chair of Philosophy at the University of Passau

PhD Jury

  1. Daniel Skurt (2017)
  2. Agustin Ambrossio (2017)
  3. Xin Sun (2016)

Supervision

2017 – 2020 Co-supervisor of the PhD-candidate Stef Frijters (Ghent)
2016 – 2019 Co-supervisor of the PhD-candidate Sanderson Molick (Natal)
2015 – 2019 Main supervisor of the PhD-candidate Annemarie Borg
2015 – 2019 Main supervisor of the PhD-candidate Jesse Heyninck
2010 – 2012 Co-supervisor of the PhD candidate Mathieu Beirlaen (now working as a postdoc at the Ruhr-University Bochum). Thesis: Accommodating Normative Conflicts in Defeasible Deontic Logic, First supervisor: Joke Meheus (Ghent University)

Teaching

Post-Graduate (and partially advanced Master)

2017 Tutorial on Non-Monotonic Logic at PhDs in Logic at the RUB
2017 Summer Term Doctoral Colloquium (together with Helmut Pulte) at the RUB
2017 Summer Term Research Colloquium in Epistemology and Logic (together with Heinrich Wansing)
2016 Winter Term Doctoral Colloquium (together with Helmut Pulte) at the RUB
2016 Winter Term 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 – 2014 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)

Graduate Level

2016 Winter Term Philosophische Logik (Eng.: Philosophical Logic) (BA, Bochum)
2016 Winter Term Übung: Philosophische Logik (Eng.: /Exercise Philosophical Logic) (BA, Bochum)
2016 Winter Term Introduction to Logic (MA Cognitive Science, Bochum)
2016 Summer Term Prädikatenlogik: Logik II (Eng.: Predicate Logic: Logic II) (BA, Bochum)
2016 Summer Term Übung: Prädikatenlogik: Logik II (Eng.: Exercise Predicate Logic: Logic II) (BA, Bochum)
2016 Summer Term 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 Winter Term Übung: Grundkurs Logik (Eng.: Exercise: Basic Course Logic) (obligatory course for early BA, Bochum)
2015 Winter Term Grundkurs Logik (Eng.: Basic Course Logic) (obligatory course for early BA, Bochum)
2015 Summer Term An Introduction to Adaptive Logics (late BA+MA, Bochum)
2015 Summer Term Normative Reasoning and Deontic Logics (late BA+MA, Bochum)
2014 Winter Term An Introduction to Nonmonotonic Logic (late BA+MA, Bochum)
2014 Winter Term An Introduction to Formal Argumentation (BA, Bochum)
2013 Winter Term A Thorough Study of Selected Topics in Logic (together with Rafal Urbaniak, MA, Ghent)
2006 Winter Term 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)

Publications

Books

tiny_christian.stra_er.jpg

  • Christian Straßer, Adaptive Logic and Defeasible Reasoning. Applications in Argumentation, Normative Reasoning and Default Reasoning, Trends in Logic-series on Springer, Volume 38, 2014

tiny_christian.stra_er.jpg

  • Christian Straßer, Defeasible reasoning with applications in argumentation, normative reasoning and default reasoning, PhD Thesis, Ghent University

Papers

Forthcoming in 2017

tiny_jesse.heyninck.jpg pere.jpg tiny_christian.stra_er.jpg

  • Jesse Heyninck, Pere Pardo, Christian Straßer, Assumption-Based Approaches to Reasoning with Priorities, forthcoming in the proceedings of AI3.

tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg annemarietiny.jpg

  • 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, accepted for the special issue of Historical Social Research: “Agent Based Modelling across Social Science, Economics, and Philosophy”

tiny_jesse.heyninck.jpg tiny_mathieu.beirlaen.jpg tiny_christian.stra_er.jpg

  • Mathieu Beirlaen, Jesse Heyninck, and Christian Straßer, Structured Argumentation with Prioritized Conditional Obligations and Permissions, accepted for Studia Logica.

annemarietiny.jpg ofertiny.jpg tiny_christian.stra_er.jpg

  • Ofer Arieli, AnneMarie Borg, and Christian Straßer, Hypersequent-based Argumentation: An Instantiation in the Relevance Logic RM, Forthcoming in the proceedings of TAFA 2017 (The 2017 International Workshop on Theory and Applications of Formal Argument).

annemarietiny.jpg danielftiny.png tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • AnneMarie Borg, Daniel Frey, Dunja Seselja, and Christian Straßer, Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry, Forthcoming in the FoLLI Series on Logic, Language and Information, Springer.

tiny_jesse.heyninck.jpg tiny_christian.stra_er.jpg

  • Jesse Heyninck and Christian Straßer, Revisiting Unrestricted Rebut and Preferences in Structured Argumentation., IJCAI 2017.

ofertiny.jpg annemarietiny.jpg tiny_christian.stra_er.jpg

  • 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, Springer

annemarietiny.jpg annemarietiny.jpg tiny_christian.stra_er.jpg

  • Annemarie Borg, Daniel Frey, Dunja Seselja 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, Springer

tiny_jesse.heyninck.jpg tiny_mathieu.beirlaen.jpg tiny_christian.stra_er.jpg

  • Mathieu Beirlaen, Jesse Heyninck, and Christian Straßer, Reasoning by Cases in Structured Argumentation forthcoming in KRR/SAC 2017.

Published in 2016

tiny_mathieu.beirlaen.jpg tiny_christian.stra_er.jpg

  • 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.

ofertiny.jpg tiny_christian.stra_er.jpg

  • 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).

tiny_jesse.heyninck.jpg tiny_christian.stra_er.jpg

  • 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)

tiny_christian.stra_er.jpg fretiny.jpg

  • Christian Straßer, & Putte, F. v. d., Proof theories for superpositions of adaptive logics, Logique et analyse, 58(230), 307–346 (2016)

ofertiny.jpg tiny_christian.stra_er.jpg

  • Ofer Arieli and Christian Straßer, Argumentative Approaches to Reasoning with Maximal Consistency Proceedings of KR’16. Eds. Chitta Baral, James Delgrande, and Frank Wolter. AAAI Press. ISBN 978-1-57735-755-1.

tiny_christian.stra_er.jpg tiny_mathieu.beirlaen.jpg fretiny.jpg

  • Straßer, Christian, Beirlaen, M., & Van De Putte, F., Adaptive logic characterizations of input/output logic, Studia Logica, 104(5), 869–916 (2016)

Published in 2015

ofertiny.jpg tiny_christian.stra_er.jpg

  • Ofer Arieli, Christian Straßer, Sequent-Based Logical Argumentation, in Argument and Computation, Vol. 6, Issue 1, pp. 73–99, 2015

tiny_christian.stra_er.jpg ofertiny.jpg

  • Christian Straßer and Ofer Ariel, Normative Reasoning by Sequent-Based Argumentation, forthcoming in the Journal of Logic and Computation (special issue on the DEON 2014 conference).

Published in 2014

tiny_christian.stra_er.jpg tiny_g_aldo.antonelli.jpg

tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • Š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).

tiny_christian.stra_er.jpg fretiny.jpg

  • Christian Straßer, Frederik Van De Putte, Adaptive Strategies and Finite-Conditional Premise Sets, Journal of Logic and Computation, online first, 10.1093/logcom/exu044, 2014

ofertiny.jpg tiny_christian.stra_er.jpg

  • Ofer Arieli, 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

tiny_christian.stra_er.jpg ofertiny.jpg

  • Christian Straßer, 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

fretiny.jpg tiny_christian.stra_er.jpg

  • Frederik Van De Putte, Christian Straßer, Adaptive Logics as a Parametric Framework, accepted for Logic Journal of the IGPL, 2014

tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • Dunja Šešelja, Christian Straßer, Heuristic Reevaluation of the Bacterial Hypothesis of Peptic Ulcer Disease in the 1950s in Acta Biotheoretica, Vol. 62, Issue 4, pp. 429–454, 2014

tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • Dunja Šešelja, Christian Straßer, Epistemic justification in the context of pursuit: a coherentist approach in Synthese, Vol. 191, Issue 13, pp. 3111–3141, 2014

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg jwtiny.jpg

  • 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

joketiny.jpg tiny_mathieu.beirlaen.jpg fretiny.jpg tiny_christian.stra_er.jpg

  • 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

tiny_mathieu.beirlaen.jpg tiny_christian.stra_er.jpg

  • Mathieu Beirlaen, Christian Straßer, Nonmonotonic reasoning with normative conflicts in multi-agent deontic logic in Journal of Logic and Computation, Vol. 24, Issue 6, pp. 1179–1207, 2014

Published in 2013

tiny_mathieu.beirlaen.jpg tiny_christian.stra_er.jpg

  • Mathieu Beirlaen, Christian Straßer, Two adaptive logics of norm-propositions in the Journal of Applied Logic, 2013, Vol. 11, Issue 2, pp. 147–168

fretiny.jpg tiny_christian.stra_er.jpg

  • Frederik Van De Putte, Christian Straßer, Preferential Semantics using Non-smooth Preference Relations in the Journal of Philosophical Logic, 2013, doi:10.1007/s10992-013-9302-6

joketiny.jpg tiny_christian.stra_er.jpg petertiny.jpg

  • Joke Meheus, Christian Straßer, Peter Verdée, Which Style of Reasoning to Choose in the Face of Conflicting Information? in the Journal of Logic and Computation, 2013, doi:10.1093/logcom/ext030

Published in 2012

fretiny.jpg tiny_christian.stra_er.jpg

  • Frederik Van De Putte, Christian Straßer, Three formats of prioritized adaptive logics: a comparative study in the Logic Journal of the IGPL, 2012, doi:10.1093/jigpal/jzs004

tiny_mathieu.beirlaen.jpg tiny_christian.stra_er.jpg joketiny.jpg

  • Mathieu Beirlaen, Christian Straßer, Joke Meheus, An inconsistency-adaptive deontic logic for normative conflicts in the Journal of Philosophical Logic, 2012, doi:10.1007/s10992-011-9221-3

tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • Dunja Šešelja, Christian Straßer, Abstract argumentation and explanation applied to scientific debates in Synthese, 2012, doi:10.1007/s11229-011-9964-y

dovtiny.png tiny_christian.stra_er.jpg

  • Dov Gabbay, Christian Straßer, Reactive Standard Deontic Logic in the Journal of Logic and Computation, 2012, doi:10.1093/logcom/exs043

tiny_mathieu.beirlaen.jpg tiny_christian.stra_er.jpg

  • Mathieu Beirlaen, Christian Straßer, Nonmonotonic reasoning with normative conflicts in multi-agent deontic logic in the Journal of Logic and Computation, 2012, doi:10.1093/logcom/exs059

tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

tiny_christian.stra_er.jpg tiny_mathieu.beirlaen.jpg

  • Christian Straßer, 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

tiny_christian.stra_er.jpg

  • Christian Straßer, Adaptively applying modus ponens in conditional logics of normality in the Journal of Applied Non-Classical Logic, 2012, Nr. 1–2, Vol. 22., pp. 125–148.
    This article was Editor’s Choice in October 2013.

tiny_christian.stra_er.jpg joketiny.jpg tiny_mathieu.beirlaen.jpg

  • Christian Straßer, Joke Meheus, Mathieu Beirlaen, Tolerating deontic conflicts by adaptively restricting inheritance in Logique et Analyse, 219, 2012, pp. 477–506

tiny_dunja._e_elja.jpg lastiny.jpg tiny_christian.stra_er.jpg

  • Dunja Šešelja, Laszlo Kosolosky, Christian Straßer, The rationality of scientific reasoning in the context of pursuit: drawing appropriate distinctions in Philosophica, 86, 2012, pp. 51–82

fretiny.jpg tiny_christian.stra_er.jpg

  • Frederik Van De Putte, Christian Straßer, A logic for prioritized normative reasoning in the Journal of Logic and Computation, doi:10.1093/logcom/exs008

fretiny.jpg tiny_christian.stra_er.jpg

  • Frederik Van De Putte, Christian Straßer, Extending the standard format of adaptive logics to the prioritized case in Logique et Analyse, 2012, Vol. 220. pp. 601–641

Published in 2011

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • Christian Straßer, Dunja Šešelja, Towards the proof-theoretic unification of abstract argumentation in the Journal of Logic and Computation, 2011, 21 (2), 133-156

tiny_christian.stra_er.jpg

  • Christian Straßer, A deontic logic framework allowing for factual detachment in the Journal of Applied Logic, 2011, 9(1), pp. 61-80

tiny_mathieu.beirlaen.jpg tiny_christian.stra_er.jpg

  • Mathieu Beirlaen, 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

Published in 2010

tiny_christian.stra_er.jpg

  • Christian Straßer, An adaptive logic for conditional obligations and deontic dilemmas, published in a special issue of Logic and Logical Philosophy, vol. 19, no. 1-2, pages 95–128

Published 2009

tiny_christian.stra_er.jpg

  • 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

tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • Dunja Šešelja, 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

dirktiny.jpg tiny_christian.stra_er.jpg petertiny.jpg

  • Diderik Batens, Christian Straßer, 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

Published in 2006

tiny_christian.stra_er.jpg

  • Christian Straßer, Quantifier elimination for queues in: Rhine Workshop on Computer Algebra. Proceedings of the RWCA 2006, pp. 239-248. Universitaet Basel

Complementary online material

(available at http://logica.ugent.be/centrum/writings/pubs.php)

tiny_christian.stra_er.jpg

  • 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

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • Christian Straßer, 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

Talks

Talks in 2017

annemarietiny.jpg danielftiny.png tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • [2017-09-11 Mon]–[2017-09-14 Thu]
    AnneMarie Borg, Daniel Frey, Dunja Seselja, Christian Straßer, Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry at the 6th International Conference on Logic, Rationality and Interaction in Sapporo, Japan.

annemarietiny.jpg danielftiny.png tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • [2017-09-06 Wed]–[2017-09-09 Sat]
    AnneMarie Borg, Daniel Frey, Dunja Seselja, Christian Straßer, Is Increased Scientific Interaction Epistemically Beneficial? at The European Philosophy of Science Association Conference in Exeter, UK.

tiny_jesse.heyninck.jpg tiny_christian.stra_er.jpg

  • [2017-08-19 Sat]–[2017-08-25 Fri]
    Jesse Heyninck and Christian Straßer, Unrestricted rebuttal, crash resistance and preferences in structured argumentation, the 26th International Joint Conference on Artificial Intelligence in Melbourne, Australia.

ofertiny.jpg annemarietiny.jpg tiny_christian.stra_er.jpg

  • [2017-08-19 Sat]–[2017-08-20 Sun]
    Ofer Arieli, AnneMarie Borg, Christian Straßer, Hypersequent-based Argumentation: An Instantiation in the Relevance Logic RM at TAFA 2017 (The 2017 International Workshop on Theory and Applications of Formal Argument) in Melbourne.

ofertiny.jpg annemarietiny.jpg tiny_christian.stra_er.jpg

  • [2017-06-28 Wed]
    Ofer Arieli, Annemarie Borg and Christian Straßer, Argumentative Approaches to Reasoning with Consistent Subsets of Premises at the IEA/AIE’2017, Arras

annemarietiny.jpg tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • [2017-06-28 Wed]
    Annemarie Borg, Daniel Frey, Dunja \Seselja, and Christian Straßer, An argumentative agent-based model of scientific inquiry (poster) at the IEA/AIE’2017, Arras

annemarietiny.jpg danielftiny.png tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • [2017-06-19 Mon]
    AnneMarie Borg, Dunja \Seselja, Daniel Frey, and Christian Straßer, An Argumentative-agent based model of scientific inquiry, invited talk at the workshop on the Prospects of Including Argumentation in Agent-Based Models of Opinion Dynamics in Karlsruhe, Germany.

tiny_mathieu.beirlaen.jpg tiny_jesse.heyninck.jpg tiny_christian.stra_er.jpg

  • [2017-06-21 Wed]
    Mathieu Beirlaen, Jesse Heyninck and Christian Straßer, Reasoning by Cases in Structured Argumentation, at the ECA 2017, Fribourg

tiny_mathieu.beirlaen.jpg tiny_jesse.heyninck.jpg tiny_christian.stra_er.jpg

  • [2017-04-06 Thu]
    Mathieu Beirlaen, Jesse Heyninck and Christian Straßer, Reasoning by Cases in Structured Argumentation at KRR/SAC 2017, Marrakech

tiny_mathieu.beirlaen.jpg tiny_jesse.heyninck.jpg tiny_christian.stra_er.jpg

  • [2017-03-04 Sat]
    Christian Straßer, Reasoning Defeasibly by Cases , (invited talk, joint work with Mathieu Beirlaen and Jesse Heyninck) at the Montreal Logic Workshop.

tiny_mathieu.beirlaen.jpg tiny_jesse.heyninck.jpg tiny_christian.stra_er.jpg

  • [2017-02-02 Thu]
    Mathieu Beirlaen, Jesse Heyninck and Christian Straßer (I was not present), Reasoning by Cases in Formal Argumentation, Groningen

Talks in 2016

annemarietiny.jpg tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • [2016-10-21 Fri]
    AnneMarie, Daniel Frey, Dunja and Christian Straßer, An argumentative agent-based model of scientific inquiry at the Workshop “Agent Based Modelling across Social Science, Economics, and Philosophy” in Bamberg, Germany

tiny_mathieu.beirlaen.jpg tiny_christian.stra_er.jpg

  • [2016-08-22 Mon]–[2016-08-26 Fri]
    Mathieu and Christian gave a tutorial on Introduction to Non-Monotonic Logic at ESSLLI 2016. More info

tiny_mathieu.beirlaen.jpg tiny_christian.stra_er.jpg

  • [2016-07-18 Mon]–[2016-07-21 Thu]
    Mathieu and Christian gave a talk on A structured argumentation framework for obligation detachment at DEON 2016 in Bayreuth.

tiny_mathieu.beirlaen.jpg tiny_jesse.heyninck.jpg tiny_christian.stra_er.jpg

  • [2016-07-12 Tue]
    Mathieu Beirlaen, Jesse Heyninck and Christian Straßer, Reasoning by Cases in Structure Argumentation at ILIAS Seminars, Luxembourg (I was not present)

tiny_mathieu.beirlaen.jpg tiny_jesse.heyninck.jpg tiny_christian.stra_er.jpg

  • [2016-06-26 Sun]
    Mathieu Beirlaen, Jesse Heyninck and Christian Straßer, Casting doubt. Shadow arguments in structured argumentation, Logic in Bochum II

annemarietiny.jpg tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • [2016-06-26 Sun]
    Annemarie Borg, Dunja \Seselja  and Christian Straßer, An argumentative agent-based model for scientific inquiry, Logic in Bochum II

tiny_mathieu.beirlaen.jpg tiny_jesse.heyninck.jpg tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • [2016-05-13 Fri]
    We gave a talk introducing our group and research themes we’re working on to the other members of the Logical and Methodological Analysis of Scientific Reasoning Processes Research Network (LMASRP, more info here) which is sponsored by the Research Foundation Flanders (FWO).

tiny_jesse.heyninck.jpg tiny_mathieu.beirlaen.jpg tiny_christian.stra_er.jpg

  • [2016-09-08 Thu]
    Jesse gave a talk on Reasoning by Cases in Structured Argumentation at the 14th ArgDiap: Formal Models of Reasoning and Argumentation in Poznan.

annemarietiny.jpg tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • [2016-09-23 Fri]
    AnneMarie, Dunja and Christian gave a talk in Belgrade at the PSX5 on An argumentative agent-based model of scientific inquiry

ofertiny.jpg tiny_christian.stra_er.jpg

  • [2016-04-25 Mon]
    Ofer and Christian give a presentation on Argumentative Approaches to Reasoning with Maximal Consistency at KR 2016.

tiny_jesse.heyninck.jpg tiny_christian.stra_er.jpg

  • [2016-04-22 Fri]–[2016-04-24 Sun]
    Jesse and Christian give a talk on Relations between assumption-based approaches in nonmonotonic logic and formal argumentation at NMR 2016.

tiny_dunja._e_elja.jpg tiny_christian.stra_er.jpg

  • [2016-03-17 Thu]
    Dunja and Christian give a talk on Scientific Controversies and Interaction Among Scientists at the workshop on “Model(ling) controversies in Science” at the National University of Singapore.

tiny_christian.stra_er.jpg

  • An Introduction to Paraconsistent Logics at the weekend school entitled The Inconsistency of Science at Oxford University, January 2016

Talks in 2015

tiny_christian.stra_er.jpg tiny_jesse.heyninck.jpg

  • Keynote Argumentation Semantics for Adaptive Logics (with Jesse Heyninck) at UNILOG in Istanbul, Turkey.

tiny_christian.stra_er.jpg tiny_jesse.heyninck.jpg

  • An assumption-based logic for the analysis of inconsistent premises (with Jesse Heyninck) at CLMPS in Helsinki, Finland.

tiny_christian.stra_er.jpg ofertiny.jpg

  • Invited talk at the Institutskolloquium at University Leipzig on Sequent-Based Logical Argumentation (with Ofer Arieli) on 3rd June 2015

    Defeasible reasoning is indispensable when dealing with a world full of uncertainties: we constantly draw conclusions that we may reject later in view of new information. Examples are numerous: induction, abduction, inferences on the basis of expert opinion, etc. An intuitive perspective on defeasible reasoning is an argumentative one: an inference is retracted if and only if it cannot be defended against counterarguments.

    In my talk I will present joint work with Ofer Arieli (Tel Aviv) in which we introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made according to the skeptical or credulous semantics developed in the tradition of abstract argumentation. This framework accommodates different languages and logics in which arguments may be represented, allows for a flexible and simple way of expressing and identifying arguments, supports a variety of attack relations (including those that reflect relevance or quantitative considerations), and is faithful to standard methods of drawing conclusions by argumentation frameworks.

    If time allows, I will also highlight some recent developments in this line of research such as applications in deontic logic and I will show that argumentation theory may benefit from incorporating proof theoretical techniques inspired by the dynamic proofs of adaptive logics.

    TITLE
    Sequent-Based Logical Argumentation
    PRESENTED BY
    Christian Straßer
    AUTHORS
    Christian Straßer and Ofer Arieli

tiny_christian.stra_er.jpg tiny_jesse.heyninck.jpg

  • talk at a seminar in the master program at University Leipzig on Dynamic Proof Theories as Structured Argumentation.

    In this talk I will survey some new developments on the integration of dynamic proofs and structured argumentation. This way I will relate two traditions in the formal modeling of defeasible reasoning: the tradition in formal argumentation and the tradition of adaptive logics.

    On the one hand, this concerns work with Ofer Arieli (Tel Aviv) in which we develop dynamic proof theories for sequent-based argumentation. On the other hand, based on work with Jesse Heyninck (Bochum), I show how adaptive logics define a class of structured argumentation frameworks. We translate adaptive logics in the standard format and several generalisations (such as lexicographic, colexicographic adaptive logics, etc.) into the ASPIC-framework or the assumption-based argumentation framework. Finally, if time allows, I will present a new framework of dynamic proofs that are highly expressive, whose retraction mechanism is based on argumentative attacks and that overcomes some limitations of proofs in adaptive logics.

    TITLE
    Dynamic Proof Theories as Structured Argumentation
    PRESENTED BY
    Christian Straßer
    AUTHORS
    this is work in progress based on co-operations with Ofer Arieli (Tel Aviv) and Jesse Heyninck (Bochum)
    SLIDES
    pdf-icon20.png

Talks in 2014

tiny_christian.stra_er.jpg ofertiny.jpg

  • Invited talk Sequent-Based Logical Argumentation (with Ofer Arieli) at the Colloquium of the Institute for Philosophy, Ruhr-University Bochum, 2014

tiny_christian.stra_er.jpg

  • Investigating a logical and argumentative foundation of defeasible reasoning in Berlin in the context of the award celebrations for the Sofja Kovalevskaja prize by the Alexander von Humboldt foundation

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • Invited talk The Normative Role of Evaluative Stances in Scientific Disagreements (with Dunja Šešelja) at the workshop Norms of Reasoning, Bochum, 2014

tiny_christian.stra_er.jpg ofertiny.jpg

  • Sequent-Based Argumentation for Normative Reasoning (with Ofer Arieli) at the DEON conference, University Ghent, Belgium, 2014

Talks in 2013

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • Heuristic Reevaluation of the Bacterial Hypothesis of Peptic Ulcer Disease in the 1950s (with Dunja Šešelja) at CLPS, University Ghent, Belgium, 2013

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • Scientific Disagreement and Epistemic Tolerance (with Dunja Šešelja and Jan Willem Wieland) at the EPSA (European Philosophy of Science Association) conference in Helsinki, Finland, 2013

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • Invited talk Scientific Disagreement and Epistemic Tolerance (with Dunja Šešelja) at the workshop Heuristic Reasoning, Rome, Italy, 2013

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg jwtiny.jpg

  • Disagreements: Dynamic and Non-Bootstrappish (with Jan Willem Wieland and Dunja Šešelja) at the Epistemology Afternoon Workshop, University Ghent, 2013

Talks in 2012

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • Kuhn and the Question of Pursuit Worthiness (with Dunja Šešelja) invited talk at the University Rotterdam, 2012

tiny_christian.stra_er.jpg tiny_mathieu.beirlaen.jpg

  • An Andersonian deontic logic with contextualized sanctions (with Mathieu Beirlaen), at DEON 2012, Bergen, Norway

tiny_christian.stra_er.jpg tiny_mathieu.beirlaen.jpg

  • An Andersonian deontic logic with contextualized sanctions (with Mathieu Beirlaen) at the Trends in Logic X conference at Ruhr-University Bochum, 2012

tiny_christian.stra_er.jpg tiny_mathieu.beirlaen.jpg fretiny.jpg

  • Dynamic Proof Theories For Reasoning With Conditionals (with Mathieu Beirlaen and Frederik Van De Putte) at the workshop in the context of the doctoral defense of Frederik Van De Putte with David Makinson and Jörg Hansen, Ghent University, 2012

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • Kuhn and the context of pursuit (with Dunja Šešelja) at the conference Progress of Science in Tilburg, Netherlands, 2012

Talks in 2011

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • Abstract argumentation and explanation applied to scientific debates (with Dunja Šešelja) at the EPSA conference in Athens, Greece, 2011

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • Kuhn and the context of pursuit (with Dunja Šešelja) at the Kuhn and Rationality Workshop at CLPS, University Ghent, 2011

tiny_christian.stra_er.jpg

  • An adaptive approach to detachment in conditional logics of normality at the 14th International Congress of Logic, Methodology and Philosophy of Science (CLMPS-2011) in Nancy, France, 2011

tiny_christian.stra_er.jpg tiny_mathieu.beirlaen.jpg

  • A paraconsistent multi-agent framework for dealing with normative conflicts (with Mathieu Beirlaen) at the 12th International Workshop on Computational Logic in Multi-Agent Systems, Barcelona, Spain, 2011

tiny_christian.stra_er.jpg tiny_mathieu.beirlaen.jpg

  • Towards more conflict-tolerance by relaxing the interdefinability between obligations and permissions (with Mathieu Beirlaen) at the Dynamics of Normative Reasoning Workshop, CLPS, Ghent University, 2011

tiny_christian.stra_er.jpg tiny_mathieu.beirlaen.jpg

  • Inconsistency-adaptive deontic logic (with Mathieu Beirlaen) at the Dynamics of Normative Reasoning Workshop, CLPS, Ghent University, 2011

tiny_christian.stra_er.jpg fretiny.jpg

  • A logic for preference-based normative reasoning (with Frederik Van De Putte) at the Dynamics of Normative Reasoning Workshop, CLPS, Ghent University, 2011

Talks in 2010

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • Epistemic justification in the context of pursuit (with Dunja Šešelja) at the Logic, Reasoning and Rationality Conference, CLPS, Ghent University, 2010

tiny_christian.stra_er.jpg

  • Conditionally applying Modus Ponens in dyadic deontic logics at the Logic, Reasoning and Rationality Conference, CLPS, Ghent University, 2010

Talks in 2009

tiny_christian.stra_er.jpg

  • A conditional logic for deontic dilemmas allowing for detachment at the PhD’s in Logic Workshop, Ghent, Department of Pure Mathematics and Computer Algebra, 2009

Talks in 2008

tiny_christian.stra_er.jpg

  • Adaptive logics for conditional obligations and deontic dilemmas at the Young Researchers Day, Brussels, 2008

tiny_christian.stra_er.jpg

  • Adaptive logics for conditional obligations and deontic dilemmas, at the WCP4 (4th World Conference on Paraconsistency), Melbourne, Australien, 2008

tiny_christian.stra_er.jpg dirktiny.jpg

  • Strengthened Rescher-Manor consequence relations as CLuN-based adaptive logics (with Dunja Šešelja und Diderik Batens), at the Fourth World Congress of Paraconsistency, Melbourne, Australien, 2008

tiny_christian.stra_er.jpg

  • An adaptive logic for rational closure, at the CLE 30-XV EBL-XIV SLALM, Paraty, Brasilien, 2008

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • An adaptive logic framework for abstract argumentation (with Dunja Šešelja), at the CLE 30/XV EBL/XIV SLALM, Paraty, Brasilien, 2008

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • An adaptive logic for Dung’s abstract argumentation framework (with Dunja Šešelja), Lunchtalk at CLPS, Ghent University, 2008

tiny_christian.stra_er.jpg tiny_dunja._e_elja.jpg

  • Coherentist epistemology and convergence of scientific knowledge (with Dunja Šešelja), ECAP 6: Sixth European Congress of Analytic Philosophy, Krakow, Poland, 2008

Talks in 2007

tiny_christian.stra_er.jpg joketiny.jpg

  • Adaptive versions of the deontic logics DPM (with Joke Meheus), LMPS 07 (International Congress of Logic, Methodology and Philosophy of Science), Beijing, China, 2007

tiny_christian.stra_er.jpg dirktiny.jpg

  • Equivalent deterministic and indeterministic semantics for basic paralogics and an easy semantic approach to corrective adaptive logics (with Diderik Batens), UNILOG ’07 (World Conference on Universal Logic), Xi’An, China, 2007

tiny_christian.stra_er.jpg dirktiny.jpg

  • Equivalent deterministic and indeterministic semantics for basic paralogics and an easy semantic approach to corrective adaptive logics (with Diderik Batens), Lunchtalk at CLPS, Ghent University, 2007

Talks in 2006

tiny_christian.stra_er.jpg

  • Quantifier elimination for queues at the 10th Rhine Workshop for Computer Algebra (2006), Basel, Schweiz, 2006

tiny_christian.stra_er.jpg

  • The problem of proper names at the Philosophy Club “Gerusija” in Novi Sad, Serbia, 2006

Talks in 2005

tiny_christian.stra_er.jpg

  • Introduction to scepticism, Gymnasium Svetozar Markovic in Novi Sad, Serbia, 2005

tiny_christian.stra_er.jpg

  • Logical and language-philosophical aspects of scepticism under special consideration of the philosophy of Ludwig Wittgenstein, Faculty for Philosophy, University Novi Sad, Serbia, 2005

Organization of Conferences and Workshops

  • member of the program committee of AAAI-18 (Association for the Advancement of Artificial Intelligence 2018)
  • member of the program committee of IJCAI 2017
  • main organizer (together with Annemarie Borg and Dunja Seselja) of the conference Formal Models of Scientific Inquiry (2017) in Bochum, Germany.
  • main organizer (together with Annemarie Borg, Mathieu Beirlaen, Jesse Heyninck and Pere Pardo) of the workshop Logic in Bochum III (2017) in Bochum, Germany.
  • main organizer (together with Annemarie Borg, Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, and Dunja Seselja) of the workshop Argument Strength 2016 in Bochum, Germany.
  • 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
  • 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
  • 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 program committee for CLIMA2014 (15th International Workshop on Computational Logic in Multi-Agent Systems), 2014 in Prague, Poland
  • 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
  • member of the program committee for CLPS2013, 2013 in Ghent, Belgium
  • organizer of the special symposium ``Rational Disagreement in Science’’ (together with Dunja \Seselja) at 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
  • 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

Research Stays

11th June 2017 – 18th June 2017 Research stay at the Department of Computer Science at the The Academic College of Tel Aviv
9th May 2014 – 20th May 2014 Research stay at the Department of Computer Science at the The Academic College of Tel Aviv
21st August 2012 – 23rd August 2012 Research stay at the Computer Science and Communication Lab at the University of Luxembourg

Reviewing

I have been a reviewer for various international peer reviewed journals, such as Synthese, Review of Symbolic Logic, Logique et Analyse, Journal of Applied Logic, Journal of Logic and Computation, Studia Logica, Philosophical Studies, Journal of Artificial Intelligence Research, Minds and Machines, Journal of Philosophical Logic, the Handbook of Normative Multiagent Systems, the Handbook of Formal Argumentation, Mathematical Reviews, Fundamenta Informaticae and for various conferences and workshops.

Footnotes:

1

PhD degrees are not graded at Ghent University.

2

The German Diplom (univ.) and the German Magister are usually rated as equivalent to the Master degree (e.g., in Germany and in the USA (see http://nces.ed.gov/pubs2007/2007006.pdf)).

3

Google Scholar, [2017-09-05 Tue]

Created: 2017-09-17 Sun 17:06

Validate