Publications of Christian Straßer

• 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)
• Christian Straßer and Sanderson Molick
  Minimal inconsistency-tolerant logics: a quantitative approach
  forthcoming in the Australasian Journal of Logic.
• 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,
  Forthcoming in COMMA 2024
• Pere Pardo and Christian Straßer,
  The Goal after Tomorrow: Offline Goal Reasoning with Norms,
  Forthcoming in Journal of Artificial Intelligence Research
• 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,
  , Forthcoming IJCAI 2024.
• Ofer Arieli, Kees van Berkel, Christian Straßer,
  Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation,
  Forthcoming, AAAI 2024.

• 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,
  accepted for publication in Frontiers in Artificial Intelligence.
• Ofer Arieli, AnneMarie Borg and Christian Straßer,
  A Postulate-Driven Study of Logical Argumentation,
  Artificial Intelligence, 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.

• Ofer Arieli, AnneMarie Borg, Matthis Hesse, and Christian Straßer,
  Explainable Logic-Based Argumentation,
  Proceedings of COMMA 2022

• Pere Pardo and Christian Straßer,
  Modular orders on defaults in formal argumentation,
  Journal of Logic and Computation, https://doi.org/10.1093/logcom/exac084

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

• 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/21

• AnneMarie Borg, Christian Straßer and Ofer Arieli,
  A Generalized Proof-Theoretic Approach to Logical Argumentation based on Hypersequents,
  accepted for Studia Logica
  Bibtex

  @Article{Borg_et_al_SL_2021,
  author =         {AnneMarie Borg and Christian Stra{\ss}er and Ofer Arieli},
  title =          {A Generalized Proof-Theoretic Approach to Logical Argumentation based on Hypersequents},
  journal =        {Studia Logica},
  year =   {2021},
  OPTkey =         {},
  OPTvolume =      {},
  OPTnumber =      {},
  OPTpages =       {},
  OPTmonth =       {},
  note =   {Forthcoming.},
  OPTannote =      {}
  }
  

• Ofer Arieli, AnneMarie Borg, Jesse Heyninck, and Christian Straßer,
  Logic-Based Approaches to Formal Argumentation,
  Handbook of Formal Argumentation, Vol.2

• Ofer 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), 2021

• Sanderson Molick and Christian Straßer,
  Valuation and Compactness in Finitely-Valued Nondeterministic First Order Logics,
  Conditionally accepted for the Logic Journal of the IGPL

• AnneMarie Borg, Ofer Arieli and Christian Straßer,
  Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach,
  accepted for FLAIRS, 2020
  Bibtex

  @incollection{Arieli_et_al_FLAIRS_2020,
  author =         {Ofer Arieli and AnneMarie Borg and Christian Stra{\ss}er},
  title =          {Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach},
  OPTcrossref =  {},
  OPTkey =         {},
  booktitle =      {Proceedings of FLAIRS 2020},
  year =   {2020},
  OPTeditor =      {},
  OPTvolume =      {},
  OPTnumber =      {},
  OPTseries =      {},
  OPTpages =       {},
  OPTmonth =       {},
  OPTaddress =     {},
  OPTorganization = {},
  OPTpublisher = {},
  note =   {Forthcoming.},
  OPTannote =      {}
  }
  

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

  • Also appeared in: Jesse Heyninck and Christian Straßer, Rationality and maximal consistent sets for a fragment of \(\mathrm{ASPIC} ^{+}\) without undercut, accepted for the Recently Published Research track of KR2020.

• Jesse Heyninck and Christian Straßer, A comparative study of assumption-based argumentative approaches to reasoning with priorities, conditionally accepted for IFCOLOG

• Jared Millson and Christian Straßer,
  A Logic for Best Explanations,
  Journal of Applied Non-Classical Logics, 2019
  Bibtex

  @article{Millson_Strasser_JANCL_2019,
  author = {Jared Millson and Christian Stra{\ss}er},
  title = {A logic for best explanations},
  journal = {Journal of Applied Non-Classical Logics},
  volume = {0},
  number = {0},
  pages = {1-48},
  year  = {2019},
  publisher = {Taylor & Francis},
  doi = {10.1080/11663081.2019.1591108},
  URL = {https://doi.org/10.1080/11663081.2019.1591108},
  eprint = {https://doi.org/10.1080/11663081.2019.1591108},
  }
  

• Jesse Heyninck and Christian Straßer,
  A fully rational argumentation system for preordered defeasible rules,
  AAMAS 2019 (acceptance rate: 24%).
  Bibtex

  @incollection{Heyninck_Strasser_AAMAS_2019,
  title={A Fully Rational Argumentation System for Preordered Defeasible Rules},
  author={Heyninck, Jesse and Stra{\ss}er, Christian},
  booktitle={Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems},
  pages={1704--1712},
  year={2019},
  organization={International Foundation for Autonomous Agents and Multiagent Systems}
  }
  

• Ofer Arieli and Christian Straßer,
  Logical Argumentation by Dynamic Proof Systems,
  Theoretical Computer Science, 2019
  Bibtex

    @article{Arieli_Strasser_TCS_2019,
  title = "Logical argumentation by dynamic proof systems",
  journal = "Theoretical Computer Science",
  year = "2019",
  issn = "0304-3975",
  doi = "https://doi.org/10.1016/j.tcs.2019.02.019",
  url = "http://www.sciencedirect.com/science/article/pii/S0304397519301252",
  author = "Ofer Arieli and Christian Straßer",
  keywords = "Logical argumentation, Sequent calculi, Dynamic derivations",
  abstract = "In this paper we provide a proof theoretical investigation of logical argumentation, where arguments are represented by sequents, conflicts between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems extending standard sequent calculi. The idea is to imitate argumentative movements in which certain claims are introduced or withdrawn in the presence of counter-claims. This is done by a dynamic evaluation of sequences of sequents, in which the latter are considered ‘derived’ or ‘not derived’ according to the content of the sequence. We show that decisive conclusions of such a process correspond to well-accepted consequences of the underlying argumentation framework. The outcome is therefore a general and modular proof-theoretical approach for paraconsistent and non-monotonic reasoning with argumentation systems."
  }
  

• AnneMarie Borg, Daniel Frey, Dunja Šešelja, and Christian Straßer,
  Theory-Choice, Transient Diversity and the Efficiency of Scientific Inquiry,
  European Journal of Philosophy of Science, 2019, 9(2)
  Bibtex

    @article{Borg_et_al_EPSA_2019,
    title={Theory-choice, transient diversity and the efficiency of scientific inquiry},
    author={Borg, AnneMarie and Frey, Daniel and {\v{S}}e{\v{s}}elja, Dunja and Stra{\ss}er, Christian},
    journal={European Journal for Philosophy of Science},
    volume={9},
    number={2},
    pages={26},
    year={2019},
    publisher={Springer}
  }
  

• Dunja Šešelja, Christian Straßer, AnneMarie Borg
  Formal Models of Scientific Inquiry: an Introduction,
  Journal for General Philosophy of Science, Accepted.
  Bibtex

  @article{Seselja_et_al_GPS_2020,
  title = {Formal Models of Scientific Inquiry: an Introduction},
  journal = {Journal for General Philosophy of Science},
  year = {2020},
  OPTvolume = {},
  OPTnumber = {},
  OPTpages = {},
  note = {Forthcoming.},
  }
  

• Mathieu Beirlaen, Jesse Heyninck, and Christian Straßer,
  A critical assessment of Pollock’s work on logic-based argumentation with suppositions,
  NMR 2018.
  Bibtex

  @incollection{Beirlaen_et_al_NML_2018,
  title={A critical assessment of Pollock’s work on logic-based argumentation with suppositions},
  author={Beirlaen, Mathieu and Heyninck, Jesse and Stra{\ss}er, Christian},
  booktitle={Proceedings of the NMR},
  volume={20},
  pages={63--72},
  year={2018}
  }
  

• Ofer Arieli, AnneMarie Borg and Christian Straßer,
  Reasoning with maximal consistency by argumentative approaches, Journal of Logic and Computation,
  NMR 2018.
  Bibtex

  @article{Arieli_et_al_NRM_2018,
  title={Reasoning with maximal consistency by argumentative approaches},
  author={Arieli, Ofer and Borg, AnneMarie and Stra{\ss}er, Christian},
  journal={Journal of Logic and Computation},
  volume={28},
  number={7},
  pages={1523--1563},
  year={2018},
  publisher={Oxford University Press}
  }
  

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

  @article{Borg_et_al_JLC_2018,
    author = {Straßer, Christian and Arieli, Ofer and Borg, AnneMarie},
    title = "{Reasoning with maximal consistency by argumentative approaches}",
    journal = {Journal of Logic and Computation},
    volume = {28},
    number = {7},
    pages = {1523-1563},
    year = {2018},
    month = {10},
    abstract = "{Reasoning with the maximally consistent subsets (MCS) of the premises is a well-known approach for handling contradictory information. In this paper we consider several variations of this kind of reasoning, for each one we introduce two complementary computational methods that are based on logical argumentation theory. The difference between the two approaches is in their ways of making consequences: one approach is of a declarative nature and is related to Dung-style semantics for abstract argumentation, while the other approach has a more proof-theoretical flavor, extending Gentzen-style sequent calculi. The outcome of this work is a new perspective on reasoning with MCS, which shows a strong link between the latter and argumentation systems, and which can be generalized to some related formalisms. As a by-product of this we obtain soundness and completeness results for the dynamic proof systems with respect to several of Dung’s semantics. In a broader context, we believe that this work helps to better understand and evaluate the role of logic-based instantiations of argumentation frameworks.}",
    issn = {0955-792X},
    doi = {10.1093/logcom/exy027},
    url = {https://doi.org/10.1093/logcom/exy027},
    eprint = {http://oup.prod.sis.lan/logcom/article-pdf/28/7/1523/26152992/exy027.pdf},
  }
  

• Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, Christian Straßer,
  Argument Strength in Formal Argumentation,
  IFCOLOG, 5(1), pp. 629–676
  Bibtex

  @article{Beirlaen_et_al_IFCOLOG_2018,
    title={Argument strength in formal argumentation},
    author={Beirlaen, Mathieu and Heyninck, Jesse and Pardo, Pere and Stra{\ss}er, Christian},
    journal={Journal of Applied Logics-IfCoLog Journal of Logics and their Applications},
    volume={5},
    number={3},
    pages={629--675},
    year={2018},
    publisher={COLL PUBLICATIONS 35 BALLARDS LN, LONDON, N3 1XW, ENGLAND}
    }
  

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

  @incollection{Beirlaen_et_al_ArgPhil_2018,
  title =          {A critical assessment of Pollock's work on logic-based argumentation with suppositions},
  year =   {2018},
  author = {Mathieu Beirlaen and Jesse Heyninck and Christian Stra{\ss}er},
  booktitle =      {Proceedings of Argumentation and Philosophy (sub-workshop of COMMA 2018)},
  note =   {Extended Abstract.},
  }
  

• AnneMarie Borg and Christian Straßer,
  Relevance in Structured Argumentation,
  IJCAI 2018 (acceptance rate 20%), doi:10.24963/ijcai.2018/242
  Bibtex

  @Article{Borg_Strasser_IJCAI_2018,
  author       = {Borg, AnneMarie and Straßer, Christian},
  title          = {Relevance in Structured Argumentation},
  year           = 2018,
  doi            = {10.24963/ijcai.2018/242},
  journal      = {Proceedings of the Twenty-Seventh International
                  Joint Conference on Artificial Intelligence},
  publisher    = {International Joint Conferences on Artificial
                  Intelligence Organization}
  }
  

• Jesse Heyninck and Christian Straßer,
  A Comparative Study of Assumption-Based Approaches to Reasoning with Priorities,
  CLAR 2018 (non-archival)
  Bibtex

  @incollection{Heyninck_Strasser_CLAR_2018,
  title =          {A Comparative Study of Assumption-Based Approaches to Reasoning with Priorities},
  year =   {2018},
  booktitle =      {Proceedings of CLAR 2018},
  note =   {Non-archival publication.},
  }
  

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

  @Article{Borg_et_al_TAFA_2018,
  author       = {Borg, AnneMarie and Arieli, Ofer and Straßer,
                  Christian},
  title          = {Hypersequent-Based Argumentation: An Instantiation
                  in the Relevance Logic RM},
  year           = 2018,
  pages          = {17–34},
  doi            = {10.1007/978-3-319-75553-3_2},
  isbn           = 9783319755533,
  journal      = {Proceedings of TAFA. Lecture Notes in Computer Science},
  publisher    = {Springer International Publishing}
  }
  

• Ofer Arieli, AnneMarie Borg, Christian Straßer,
  Prioritized Sequent-Based Argumentation,
  AAMAS 2018, pp.\s 1105–1113 (acceptance rate 25%).
  Bibtex

  @incollection{Arieli_et_al_AAMAS_2018,
  title={Prioritized sequent-based argumentation},
  author={Arieli, Ofer and Borg, AnneMarie and Stra{\ss}er, Christian},
  booktitle={Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems},
  pages={1105--1113},
  year={2018},
  organization={International Foundation for Autonomous Agents and Multiagent Systems}
  }
  

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

  @Article{Borg_et_al_HSR_2018,
  author =         {AnneMarie Borg and Daniel Frey and Dunja {\v{S}}e{\v{s}}elja and Christian Stra{\ss}er},
  title =          {Epistemic effects of scientific interaction: approaching the question with an argumentative agent-based model},
  journal =        {Historical Social Research},
  year =   {2018},
  volume =         {43},
  number =         {1},
  pages =  {285-309},
  }
  

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

  @article{Beirlaen_et_al_JLC_2018,
    author = {Beirlaen, Mathieu and Straßer, Christian and Heyninck, Jesse},
    title = "{Structured argumentation with prioritized conditional obligations and permissions}",
    journal = {Journal of Logic and Computation},
    volume = {29},
    number = {2},
    pages = {187-214},
    year = {2018},
    month = {03},
    abstract = "{We present a formal argumentation system for dealing with the detachment of prioritized conditional obligations and permissions. In the presence of facts and constraints, we answer the question whether an unconditional obligation or permission is detachable by considering arguments for and against its detachment. For the evaluation of arguments in favour of detachment, we use a Dung-style argumentation-theoretical semantics. We illustrate how violations and contrary-to-duty scenarios are dealt with in our framework and pay special attention to conflict-resolution via priorities.}",
    issn = {0955-792X},
    doi = {10.1093/logcom/exy005},
    url = {https://doi.org/10.1093/logcom/exy005},
    eprint = {http://oup.prod.sis.lan/logcom/article-pdf/29/2/187/27941054/exy005.pdf},
  }
  

• Jesse Heyninck, Pere Pardo, Christian Straßer
  , Assumption-Based Approaches to Reasoning with Priorities,
  Proceedings of AI³, pp.\s 58–72, 2017
  Bibtex

    @incollection{Heyninck_et_al_AI3_2017,
    author    = {Jesse Heyninck and
                 Pere Pardo and
                 Christian Stra{\ss}er},
    title     = {Assumption-Based Approaches to Reasoning with Priorities},
    booktitle = {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*IA 2017), Bari,
                 Italy, November 16-17, 2017.},
    pages     = {58--72},
    year      = {2017},
    crossref  = {DBLP:conf/aiia/2017ai3},
    url       = {http://ceur-ws.org/Vol-2012/AI3-2017_paper_6.pdf},
    note = {Arxiv version at \url{https://arxiv.org/abs/1709.07255}},
    timestamp = {Tue, 12 Dec 2017 14:07:25 +0100},
    biburl    = {https://dblp.org/rec/bib/conf/aiia/HeyninckPS17},
    bibsource = {dblp computer science bibliography, https://dblp.org}
  }
  
  @collection{DBLP:conf/aiia/2017ai3,
    editor    = {Stefano Bistarelli and
                 Massimiliano Giacomin and
                 Andrea Pazienza},
    title     = {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*IA 2017), Bari,
                 Italy, November 16-17, 2017},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2012},
    publisher = {CEUR-WS.org},
    year      = {2017},
    url       = {http://ceur-ws.org/Vol-2012},
    urn       = {urn:nbn:de:0074-2012-3},
    timestamp = {Tue, 12 Dec 2017 14:06:40 +0100},
    biburl    = {https://dblp.org/rec/bib/conf/aiia/2017ai3},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  

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

  @Inbook{Borg_et_al_LORI_2017,
  author="Borg, AnneMarie
  and Frey, Daniel
  and {\v{S}}e{\v{s}}elja, Dunja
  and Stra{\ss}er, Christian",
  editor="Baltag, Alexandru
  and Seligman, Jeremy
  and Yamada, Tomoyuki",
  title="Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry",
  bookTitle="Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings",
  year="2017",
  publisher="Springer Berlin Heidelberg",
  address="Berlin, Heidelberg",
  pages="391--406"
  }
  

• Jesse Heyninck and Christian Straßer,
  Revisiting Unrestricted Rebut and Preferences in Structured Argumentation.,
  IJCAI 2017, pp.\s 1088–1092.
  Bibtex

  @incollection{Heyninck_Strasser_IJCAI_2017,
  title={Revisiting unrestricted rebut and preferences in structured argumentation},
  author={Heyninck, Jesse and Stra{\ss}er, Christian},
  booktitle={Proceedings of the 26th International Joint Conference on Artificial Intelligence},
  pages={1088--1092},
  year={2017},
  organization={AAAI Press}
  }
  

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

  @Article{Arieli_et_al_IEA_2017,
  author       = {Arieli, Ofer and Borg, AnneMarie and Straßer,
                  Christian},
  title          = {Argumentative Approaches to Reasoning with
                  Consistent Subsets of Premises},
  year           = 2017,
  pages          = {455–465},
  issn           = {1611-3349},
  doi            = {10.1007/978-3-319-60042-0_50},
  url            = {http://dx.doi.org/10.1007/978-3-319-60042-0_50},
  isbn           = 9783319600420,
  journal      = {Lecture Notes in Computer Science},
  publisher    = {Springer International Publishing}
  }
  

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

  @Inbook{Borg_et_al_IEA_2017,
  author={Borg, AnneMarie and Frey, Daniel and {\v{S}}e{\v{s}}elja, Dunja and Stra{\ss}er, Christian},
  editor={Benferhat, Salem and Tabia, Karim and Ali, Moonis},
  title="An Argumentative Agent-Based Model of Scientific Inquiry",
  bookTitle="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",
  year="2017",
  publisher="Springer International Publishing",
  address="Cham",
  pages="507--510",
  isbn="978-3-319-60042-0",
  }
  

• Mathieu Beirlaen, Jesse Heyninck, and Christian Straßer,
  Reasoning by Cases in Structured Argumentation
  forthcoming in KRR/SAC 2017, doi:10.1145/3019612.3019716
  Bibtex

  @Article{Beirlaen_etal_KRR_2017,
  author       = {Beirlaen, Mathieu and Heyninck, Jesse and Straßer,
                  Christian},
  title          = {Reasoning by cases in structured argumentation.},
  year           = 2017,
  doi            = {10.1145/3019612.3019716},
  url            = {http://dx.doi.org/10.1145/3019612.3019716},
  isbn           = 9781450344869,
  journal      = {Proceedings of the Symposium on Applied Computing -
                  SAC ’17},
  publisher    = {ACM Press}
  }
  

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

  @incollection{Beirlaen_Strasser_DEON_2016,
  author =         {Mathieu Beirlaen and Christian Stra{\ss}er},
  title =          {A structured argumentation framework for detaching conditional obligations},
  booktitle =      {Proceedings of DEON 2016},
  year =   {2016},
  editor =         {O. Roy, A. Tamminga, & M. Willer},
  pages =  {32--48},
  publisher =      {College Publications},
  url =    {http://www.collegepublications.co.uk/DEON/?00001},
  }
  

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

  @Article{Arieli_Strasser_2016,
  author       = {Arieli, Ofer and Straßer, Christian},
  title          = {Deductive Argumentation by Enhanced Sequent Calculi
                  and Dynamic Derivations},
  year           = 2016,
  volume       = 323,
  month          = {Jul},
  pages          = {21–37},
  issn           = {1571-0661},
  doi            = {10.1016/j.entcs.2016.06.003},
  url            = {http://dx.doi.org/10.1016/j.entcs.2016.06.003},
  journal      = {Electronic Notes in Theoretical Computer Science},
  publisher    = {Elsevier BV}
  }
  

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

  @incollection{Heyninck_Strasser_NMR_2016,
  author =         {Jesse Heyninck and Christian Stra{\ss}er},
  title =          {Relations between assumption-based approaches in nonmonotonic logic and formal argumentation},
  booktitle =      {Proceedings of NMR2016},
  year =   {2016},
  pages = {65--76},
  url = {https://arxiv.org/abs/1604.00162},
  editor =         {Gabriele Kern-Isberner and Renata Wassermann},
  }
  

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

  @Article{Strasser_Putte_LA_2016,
  author =         {Christian Stra{\ss}er and Frederik van de Putte},
  title =          {Proof theories for superpositions of adaptive logics},
  journal =        {Logique et analyse},
  year =   {2016},
  volume =         {58},
  number =         {230},
  pages =  {307--346},
  }
  

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

  @incollection{Arieli_Strasser_KR_2016,
  title={Argumentative Approaches to Reasoning with Maximal Consistency.},
  author={Arieli, Ofer and Stra{\ss}er, Christian},
  booktitle={KR},
  pages={509--512},
  published = {AAAI},
  year={2016}
  }
  

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

    @Article{Strasser_at_el_SL_2016,
  author="Stra{\ss}er, Christian
  and Beirlaen, Mathieu
  and Van De Putte, Frederik",
  title="Adaptive Logic Characterizations of Input/Output Logic",
  journal="Studia Logica",
  year="2016",
  volume="104",
  number="5",
  pages="869--916",
  abstract="We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic (dynamic) characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions.",
  issn="1572-8730",
  doi="10.1007/s11225-016-9656-1",
  url="http://dx.doi.org/10.1007/s11225-016-9656-1"
  }
  

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

  @article{Arieli_Strasser_AC_2014,
  author =         {Ofer Arieli and Christian Stra{\ss}er},
  title =          {Sequent-Based Logical Argumentation},
  journal =        {Argument and Computation.},
  number = {1},
  volume = {6},
  pages = {73--99},
  year =   {2015},
  }
  

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

  @article{Strasser_Arieli_JLC_2015,
      author = {Straßer, Christian and Arieli, Ofer},
      title = "{Normative reasoning by sequent-based argumentation}",
      journal = {Journal of Logic and Computation},
      volume = {29},
      number = {3},
      pages = {387-415},
      year = {2015},
      month = {07},
      abstract = "{In this article, we present an argumentative approach to normative reasoning. Special attention is paid to deontic conflicts, contrary-to-duty and specificity cases, which are modelled by means of argumentative attacks. For this, we adopt a recently proposed framework for logical argumentation in which arguments are generated by a sequent calculus of a given base logic (see the papers of the second author in CLIMA'2013 and of the two authors in Volume 6 (No. 1) of Argument \\& Computation ), and use standard deontic logic as our base logic. Argumentative attacks are realized by elimination rules that allow to discharge specific sequents. We demonstrate the usefulness of our approach by means of various well-known benchmark examples, and show that this approach is rich enough to capture a variety of paradigms for handling conflicting norms such as reasoning with maximally consistent sets, prioritized norms and deontic formalisms based on I/O logic. }",
      issn = {0955-792X},
      doi = {10.1093/logcom/exv050},
      url = {https://doi.org/10.1093/logcom/exv050},
      eprint = {http://oup.prod.sis.lan/logcom/article-pdf/29/3/387/28321903/exv050.pdf},
  }
  

• Christian Straßer and Aldo Antonelli,
  Nonmonotonic Logic,
  Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/logic-nonmonotonic, 2014
  Bibtex

  @InCollection{sep-logic-nonmonotonic_2018,
          author       =  {Strasser, Christian and Antonelli, G. Aldo},
          title        =  {Non-monotonic Logic},
          booktitle    =  {The Stanford Encyclopedia of Philosophy},
          editor       =  {Edward N. Zalta},
          howpublished =  {\url{https://plato.stanford.edu/archives/sum2018/entries/logic-nonmonotonic/}},
          year         =  {2018},
          edition      =  {Summer 2018},
          publisher    =  {Metaphysics Research Lab, Stanford University}
  }
  

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

  @article{Seselja_Strasser_ISPS_2014,
  title={Concerning Peter Vickers's Recent Treatment of ‘Paraconsistencitis’},
  author={{\v{S}}e{\v{s}}elja, Dunja and Stra{\ss}er, Christian},
  journal={International Studies in the Philosophy of Science},
  volume={28},
  number={3},
  pages={325--340},
  year={2014},
  publisher={Taylor \& Francis}
  }
  

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

  @Article{Strasser_Putte_JLC_2014,
  author       = {Straßer, Christian and Van De Putte, Frederik},
  title          = {Adaptive strategies and finite-conditional premise
                  sets},
  year           = 2014,
  volume       = 26,
  number       = 5,
  month          = {Jun},
  pages          = {1517–1539},
  issn           = {1465-363X},
  doi            = {10.1093/logcom/exu044},
  url            = {http://dx.doi.org/10.1093/logcom/exu044},
  journal      = {Journal of Logic and Computation},
  publisher    = {Oxford University Press (OUP)}
  }
  

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

  @incollection{Arieli_Strasser_COMMA_2014,
  author = {Ofer Arieli and Christian Stra{\ss}er},
  title =  {Dynamic Derivations for Sequent-Based Logical Argumentation},
  booktitle = {Proceedings COMMA'14},
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications 266},
  pages = {89--100},
  year = {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
  Bibtex

  @incollection{Strasser-Arieli_DEON_2014,
  author =         {Christian Stra{\ss}er and Ofer Arieli},
  title =          {Sequent-Based Argumentation for Normative Reasoning},
  booktitle =      {Deontic Logic and Normative Systems},
  year =   {2014},
  editor =         {Fabrizio Cariani and Davide Grossi and Joke Meheus and Xavier Parent},
  series =         {Lecture Notes in Computer Science},
  pages =  {224--240},
  publisher =      {Springer},
  }
  

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

  @article{Putte_Strasser_IGPL_2014,
  title={Adaptive logics: a parametric approach},
  author={Van De Putte, Frederik and Stra{\ss}er, Christian},
  journal={Logic Journal of the IGPL},
  volume={22},
  number={6},
  pages={905--932},
  year={2014},
  publisher={Oxford University Press}
  }
  

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

  @Article{Seselja_Strasser_AB_2014,
  author       = {Šešelja, Dunja and Straßer, Christian},
  title          = {Heuristic Reevaluation of the Bacterial Hypothesis
                  of Peptic Ulcer Disease in the 1950s},
  year           = 2014,
  volume       = 62,
  number       = 4,
  month          = {Jul},
  pages          = {429–454},
  issn           = {1572-8358},
  doi            = {10.1007/s10441-014-9219-7},
  url            = {http://dx.doi.org/10.1007/s10441-014-9219-7},
  journal      = {Acta Biotheoretica},
  publisher    = {Springer Nature}
  }
  

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

  @article{Seselja_Strasser_Synthese_2014,
  title={Epistemic justification in the context of pursuit: a coherentist approach},
  author={Dunja {\v{S}}e{\v{s}}elja and Christian Stra{\ss}er},
  journal={Synthese},
  volume={191},
  number={13},
  pages={3111--3141},
  year={2014},
  publisher={Springer}
  }
  

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

  @Article{Strasser_et_al_HR_2014,
  author       = {Straßer, Christian and Šešelja, Dunja and Wieland,
                  Jan Willem},
  title          = {Withstanding Tensions: Scientific Disagreement and
                  Epistemic Tolerance},
  year           = 2014,
  month          = {Sep},
  pages          = {113–146},
  issn           = {2192-6263},
  doi            = {10.1007/978-3-319-09159-4_6},
  url            = {http://dx.doi.org/10.1007/978-3-319-09159-4_6},
  isbn           = 9783319091594,
  journal      = {Heuristic Reasoning},
  publisher    = {Springer International Publishing}
  }
  

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

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

  @Article{Beirlaen_Strasser_JLC_2013,
  author       = {Beirlaen, M. and Strasser, C.},
  title          = {Non-monotonic reasoning with normative conflicts in
                  multi-agent deontic logic},
  year           = 2013,
  volume       = 24,
  number       = 6,
  month          = {Jan},
  pages          = {1179–1207},
  issn           = {1465-363X},
  doi            = {10.1093/logcom/exs059},
  url            = {http://dx.doi.org/10.1093/logcom/exs059},
  journal      = {Journal of Logic and Computation},
  publisher    = {Oxford University Press (OUP)}
  }
  

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

  @Article{Beirlaen_Strasser_JAL_2013,
  author =         {Mathieu Beirlaen and Christian Stra{\ss}er},
  title =          {Two adaptive logics of norm-propositions},
  journal =        {Journal of Applied Logic},
  year =   {2013},
  OPTkey =         {},
  volume =         {11},
  number =         {2},
  pages =  {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
  Bibtex

  @Article{Van_De_Putte_Strasser_JPL_2013,
  author       = {Van De Putte, Frederik and Straßer, Christian},
  title          = {Preferential Semantics using Non-smooth Preference
                  Relations},
  year           = 2013,
  volume       = 43,
  number       = 5,
  month          = {Sep},
  pages          = {903–942},
  issn           = {1573-0433},
  doi            = {10.1007/s10992-013-9302-6},
  url            = {http://dx.doi.org/10.1007/s10992-013-9302-6},
  journal      = {Journal of Philosophical Logic},
  publisher    = {Springer Nature}
  }
  

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

  @Article{Meheus_et_al_JLC_2013,
  author       = {Meheus, Joke and Straßer, Christian and Verdée,
                  Peter},
  title          = {Which style of reasoning to choose in the face of
                  conflicting information?},
  year           = 2013,
  volume       = 26,
  number       = 1,
  month          = {Sep},
  pages          = {361–380},
  issn           = {1465-363X},
  doi            = {10.1093/logcom/ext030},
  url            = {http://dx.doi.org/10.1093/logcom/ext030},
  journal      = {Journal of Logic and Computation},
  publisher    = {Oxford University Press (OUP)}
  }
  

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

    @Article{Beirlaen_Strasser_Meheus_JPL_2013,
  author="Beirlaen, Mathieu
  and Stra{\ss}er, Christian
  and Meheus, Joke",
  title="An Inconsistency-Adaptive Deontic Logic for Normative Conflicts",
  journal="Journal of Philosophical Logic",
  year="2013",
  volume="42",
  number="2",
  pages="285--315",
  issn="1573-0433",
  doi="10.1007/s10992-011-9221-3",
  url="http://dx.doi.org/10.1007/s10992-011-9221-3"
    }
  

• Dunja Šešelja and Christian Straßer
  , Abstract argumentation and explanation applied to scientific debates,
  Synthese, 190/12, 2195–2217, 2013
  Bibtex

    @Article{Seselja_Strasser_Synthese_2013,
  author="{\v{S}}e{\v{s}}elja, Dunja and Stra{\ss}er, Christian",
  title="Abstract argumentation and explanation applied to scientific debates",
  journal="Synthese",
  year="2013",
  volume="190",
  number="12",
  pages="2195--2217",
  abstract="Abstract argumentation has been shown to be a powerful tool within many fields such as artificial intelligence, logic and legal reasoning. In this paper we enhance Dung's well-known abstract argumentation framework with explanatory capabilities. We show that an explanatory argumentation framework (EAF) obtained in this way is a useful tool for the modeling of scientific debates. On the one hand, EAFs allow for the representation of explanatory and justificatory arguments constituting rivaling scientific views. On the other hand, different procedures for selecting arguments, corresponding to different methodological and epistemic requirements of theory evaluation, can be formulated in view of our framework.",
  issn="1573-0964",
  doi="10.1007/s11229-011-9964-y",
  url="http://dx.doi.org/10.1007/s11229-011-9964-y"
  }
  

• Dunja Šešelja and Christian Straßer,
  Kuhn and the Question of Pursuit Worthiness,
  Topoi, 32/1, 9–19, 2013
  Bibtex

    @Article{Seselja_Strasser_Topoi_2013,
  author="{\v{S}}e{\v{s}}elja, Dunja and Stra{\ss}er, Christian",
  title="Kuhn and the Question of Pursuit Worthiness",
  journal="Topoi",
  year="2013",
  volume="32",
  number="1",
  pages="9--19",
  abstract="The aim of this paper is, on the one hand, to critically investigate Kuhn's stance on the assessment of the pursuit worthiness of scientific theories, and, on the other hand, to show the actuality of some of Kuhn's points on this issue, in view of their critical analysis. To this end we show that Kuhn presents certain tools, which may help scientists to overcome communication breakdowns when engaging in the process of rational deliberation regarding the question whether a theory is worthy of further pursuit. These tools are persuasion, translation and interpretation. However, we argue that the perspective of epistemic semantic monism present in Kuhn's work obstructs the full applicability of these tools. We show that dropping this perspective makes the notions of persuasion and interpretation more fruitful, and moreover, allows for a pluralism of scientific theories and practices that complements the pluralism based on disagreement among scientists, emphasized by Kuhn.",
  issn="1572-8749",
  doi="10.1007/s11245-012-9144-9",
  url="http://dx.doi.org/10.1007/s11245-012-9144-9"
  }
  

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

  @Article{Putte_Strasser_IGPL_2012,
  author       = {Van De Putte, F. and Strasser, C.},
  title          = {Three formats of prioritized adaptive logics: a
                  comparative study},
  year           = 2012,
  volume       = 21,
  number       = 2,
  month          = {Feb},
  pages          = {127–159},
  issn           = {1368-9894},
  doi            = {10.1093/jigpal/jzs004},
  url            = {http://dx.doi.org/10.1093/jigpal/jzs004},
  journal      = {Logic Journal of IGPL},
  publisher    = {Oxford University Press (OUP)}
  }
  

• Dov Gabbay and Christian Straßer,
  Reactive Standard Deontic Logic,
  Journal of Logic and Computation, 25/1, 117–157, 2012
  Bibtex

  @Article{Gabbay_Strasser_2012,
  author       = {Gabbay, D. M. and Strasser, C.},
  title          = {Reactive standard deontic logic},
  year           = 2012,
  volume       = 25,
  number       = 1,
  month          = {Oct},
  pages          = {117–157},
  issn           = {1465-363X},
  doi            = {10.1093/logcom/exs043},
  url            = {http://dx.doi.org/10.1093/logcom/exs043},
  journal      = {Journal of Logic and Computation},
  publisher    = {Oxford University Press (OUP)}
  }
  

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

  @incollection{Strasser_Beirlaen_DEON_2012,
  title={An Andersonian deontic logic with contextualized sanctions},
  author={Stra{\ss}er, Christian and Beirlaen, Mathieu},
  booktitle={International Conference on Deontic Logic in Computer Science},
  pages={151--169},
  year={2012},
  organization={Springer}
  }
  

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

  @Article{Strasser_JANCL_2012,
  author       = {Straßer, Christian},
  title          = {Adaptively applying modus ponens in conditional
                  logics of normality},
  year           = 2012,
  volume       = 22,
  number       = {1-2},
  month          = {Jun},
  pages          = {125–148},
  issn           = {1958-5780},
  doi            = {10.1080/11663081.2012.682450},
  url            = {http://dx.doi.org/10.1080/11663081.2012.682450},
  journal      = {Journal of Applied Non-Classical Logics},
  publisher    = {Informa UK Limited}
  }
  

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

  @Article{Strasser_et_al_LA_2012,
  author = {Christian Stra{\ss}er and Joke Meheus and Mathieu Beirlaen},
  title = {Tolerating Deontic Conflicts by Adaptively Restricting Inheritance},
  journal = {Logique et Analyse},
  year = {2012},
  number = {219},
  pages = {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
  Bibtex

  @article{Seselja_et_al_Philosophica_2012,
  title={The rationality of scientific reasoning in the context of pursuit: drawing appropriate distinctions},
  author={{\v{S}}e{\v{s}}elja, Dunja and Kosolosky, Laszlo and Stra{\ss}er, Christian},
  journal={Philosophica},
  volume={86},
  pages={51--82},
  year={2012}
  }
  

• Frederik Van De Putte and Christian Straßer,
  A logic for prioritized normative reasoning,
  Journal of Logic and Computation, 23/3, 563–583, 2012
  Bibtex

  @Article{Van_De_Putte_Strasser_JLC_2012,
  author       = {Van De Putte, F. and Strasser, C.},
  title          = {A Logic for prioritized normative reasoning},
  year           = 2012,
  volume       = 23,
  number       = 3,
  month          = {Apr},
  pages          = {563–583},
  issn           = {1465-363X},
  doi            = {10.1093/logcom/exs008},
  url            = {http://dx.doi.org/10.1093/logcom/exs008},
  journal      = {Journal of Logic and Computation},
  publisher    = {Oxford University Press (OUP)}
  }
  

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

  @ARTICLE{Putte_Strasser_LA_2012,
  author = {Van De Putte, Frederik and Stra{\ss}er, Christian},
  title = {Extending the Standard Format of Adaptive Logics to the Prioritized
          Case},
  journal = {Logique et Analyse},
  year = {2012},
  number = {220},
  volume = {55},
  pages = {601--641},
  }
  

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

  @Article{Strasser_JAL_2011,
  author       = {Straßer, Christian},
  title          = {A deontic logic framework allowing for factual
                  detachment},
  year           = 2011,
  volume       = 9,
  number       = 1,
  month          = {Mar},
  pages          = {61–80},
  issn           = {1570-8683},
  doi            = {10.1016/j.jal.2010.11.001},
  url            = {http://dx.doi.org/10.1016/j.jal.2010.11.001},
  journal      = {Journal of Applied Logic},
  publisher    = {Elsevier BV}
  }
  

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

  @Article{Beirlaen_Strasser_2011,
  author       = {Beirlaen, Mathieu and Straßer, Christian},
  title          = {A Paraconsistent Multi-agent Framework for Dealing
                  with Normative Conflicts},
  year           = 2011,
  pages          = {312–329},
  issn           = {1611-3349},
  editor =         {Joao Leite and Paolo Torroni and Thomas Agotnes and Guido Boella and Leon van der Torre},
  doi            = {10.1007/978-3-642-22359-4_22},
  url            = {http://dx.doi.org/10.1007/978-3-642-22359-4_22},
  isbn           = 9783642223594,
  journal      = {Computational Logic in Multi-Agent Systems},
  publisher    = {Springer Berlin Heidelberg}
  }
  

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

  @Article{Strasser_Seselja_JLC_2010,
  author       = {Strasser, C. and Seselja, D.},
  title          = {Towards the Proof-theoretic Unification of Dung’s
                  Argumentation Framework: an Adaptive Logic Approach},
  year           = 2010,
  volume       = 21,
  number       = 2,
  month          = {May},
  pages          = {133–156},
  issn           = {1465-363X},
  doi            = {10.1093/logcom/exq015},
  url            = {http://dx.doi.org/10.1093/logcom/exq015},
  journal      = {Journal of Logic and Computation},
  publisher    = {Oxford University Press (OUP)}
  }
  

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

  @Article{Strasser_LLP_2010,
  author       = {Straßer, Christian},
  title          = {An adaptive logic framework for conditional
                  obligations and deontic dilemmas},
  year           = 2010,
  volume       = 19,
  number       = {1-2},
  month          = {Jun},
  issn           = {1425-3305},
  doi            = {10.12775/llp.2010.005},
  url            = {http://dx.doi.org/10.12775/llp.2010.005},
  journal      = {Logic and Logical Philosophy},
  publisher    = {Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus
                  University}
  }
  

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

  @InBook{Strasser_MSL_2009,
  author =         {Christian Stra{\ss}er},
  editor =         {Walter Carnielli, Marcello E. Coniglio and Itala M. Loffredo D'Ottaviano},
  title =          {The Many Sides of Logic},
  chapter =        {An adaptive logic for Rational Closure},
  publisher =      {College Publications},
  year =   {2009},
  pages =  {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
  Bibtex

  @Article{Seselja_Strasser_SHPS_2009,
  author =         {{\v{S}}e{\v{s}}elja, Dunja and Christian Stra{\ss}er},
  title =          {Kuhn and coherentist epistemology: in reply to {J}.\
                  {M}.\ {K}uukkanen},
  journal =        {Studies in History and Philosophy of Science},
  year =   {2009},
  volume =         {40},
  number =         {3},
  pages =  {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
  Bibtex

  @ARTICLE{Batens_et_al_LA_2009,
  author = {Diderik Batens and Christian Stra{\ss}er and Peter Verd{\'{e}}e},
  title = {On the Transparency of Defeasible Logics: Equivalent Premise Sets,
          Equivalence of Their Extensions, and Maximality of the Lower Limit},
  journal = {Logique et Analyse},
  year = {2009},
  volume = {52},
  pages = {281-304},
  number = {207},
  }
  

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

  @incollection{Strasser_RWCA_2006,
  author =         {Christian Stra{\ss}er},
  title =          {Quantifier Elimination For Queues},
  booktitle =      {Rhine Workshop on Computer Algebra. Proceedings of the RWCA 2006.},
  pages =  {239--248},
  year =   {2006},
  editor =         {Jan Draisma and Hanspeter Kraft},
  publisher =      {Universitaet Basel},
  }
  

(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