Talks of Christian Straßer

Table of Contents

Talks in 2022

  • Christian Straßer, Some recent developments in the argumentative unification of defeasible reasoning, Keynote at LNGAI (Logics for a New Generation Artificial Intelligence) 2022
  • Ofer Arieli, AnneMarie Borg, Matthis Hesse, and Christian Straßer,
    Explainable Logic-Based Argumentation,
    COMMA 2022
  • Ofer Arieli, AnneMarie Borg, Matthis Hesse, and Christian Straßer,
    Abductive Reasoning with Sequent-Based Argumentation (Short Paper),
    NMR 2022.
  • Kees van Berkel and Christian Straßer,
    Reasoning with and About Norms in Logical Argumentation,
    COMMA 2022.
  • Ofer Arieli, Kees van Berkel and Christian Straßer,
    Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation,
    IJCAI 2022 (acceptance rate, 15%)

Talks in 2021

  • Ofer Arieli, AnneMarie Borg, and Christian Straßer,
    Characterizations and Classifications of Argumentative Entailments,
    KR 2021
  • Christian Straßer and Pere Pardo,
    Prioritized Defaults and Formal Argumentation,
    DEON 2020/21

Talks in 2020

christiantiny.png

  • Christian Straßer, TBA, First Rhine-Ruhr Epistemology Meeting, Cologne, 15th May, invited. (Cancelled due to Covid)
  • AnneMarie Borg, Ofer Arieli and Christian Straßer, Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach, FLAIRS, 2020
  • Ofer Arieli and Christian Straßer, On Minimality and Consistency Tolerance in Logical Argumentation Frameworks, COMMA 2020.
  • Jesse Heyninck and Christian Straßer, Rationality and maximal consistent sets for a fragment of \(\mathrm{ASPIC} ^{+}\) without undercut, Recently Published Research track of KR2020.
  • Christian Straßer, Some Notes on Defaults, Priorities and Argumentation, Workshop in the Context of the PhD-defense of Ali Farjami, Luxembourg.

Talks in 2019

christiantiny.png

  • Christian Straßer and Sanderson Molick, A quantitative approach to inconsistency-adaptive logics, invited talk at 40 years of Logic of Paradox, Ruhr-University Bochum

    annemarietiny.jpg christiantiny.png

  • AnneMarie Borg and Christian Straßer, Relevance in Structured Argumentation at 40 years of Logic of Paradox, Ruhr-University Bochum

    tiny_dunja._e_elja.jpg annemarietiny.jpg danielftiny.png christiantiny.png

  • AnneMarie Borg, Daniel Frey, Dunja Šešelja, and Christian Straßer, Modeling Bias and Deception in Scientific Inquiry at Biases in Science - LMU Munich.

Talks in 2018

tiny_dunja._e_elja.jpg danielftiny.png annemarietiny.jpg christiantiny.png

  • AnneMarie Borg, Daniel Frey, Dunja Šešelja, and Christian Straßer, Multiple Models Workshop, University of Helsinki, 2-3 October 2018, Agent-Based Models of Scientific Inquiry: Towards Robust Findings,

annemarietiny.jpg christiantiny.png

  • AnneMarie Borg and Christian Straßer, “Relevance and Contamination in Structured Argumentation” at IJCAI 2018 in Stockholm, Sweden, 16-19th July

annemarietiny.jpg christiantiny.png ofertiny.jpg

  • Ofer Arieli, AnneMarie and Christian Straßer, “Prioritized Sequent-Based Argumentation” at AAMAS 2018 in Stockholm, Sweden, 11-13th July)

jessetiny.jpg christiantiny.png

  • Jesse Heyninck and Christian Straßer, “A Comparative Study of Assumption-Based Approaches to Reasoning with Priorities”, Second Chinese Conference on Logic and Argumentation.

jessetiny.jpg christiantiny.png

  • Jesse Heyninck and Christian Straßer, “Unrestricted Rebut in Structured Argumentation”, 2nd Workshop on Argument Strength, Toulouse, France.

Talks in 2017

christiantiny.png jessetiny.jpg pere.jpg

  • Jesse Heyninck, Pere Pardo and Christian Straßer, Assumption-Based Approaches to Reasoning with Priorities at the 1st Workshop on Advances In Argumentation In Artificial Intelligence in Bari

annemarietiny.jpg ofertiny.jpg christiantiny.png

  • AnneMarie Borg, Ofer Arieli, Christian Straßer, Hypersequent-based Argumentation: An Instantiation in the Relevance Logic RM at ISRALOG17.

christiantiny.png jessetiny.jpg

  • Jesse Heyninck and Christian Straßer, Unrestricted rebut in Structured argumentation at the Logic in the Wild Workshop at Ghent University

christiantiny.png jessetiny.jpg tiny_mathieu.beirlaen.jpg

  • Christian Straßer, Keynote at the Logic in the Wild Workshop at Ghent University on Reasoning by Cases in the Nonmonotonic Wilderness (joint work with Mathieu Beirlaen and Jesse Heyninck)

annemarietiny.jpg danielftiny.png tiny_dunja._e_elja.jpg christiantiny.png

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

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

jessetiny.jpg christiantiny.png

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

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

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

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

  • 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 jessetiny.jpg christiantiny.png

  • Mathieu Beirlaen, Jesse Heyninck and Christian Straßer, Reasoning by Cases in Structured Argumentation, at the ECA 2017, Fribourg

tiny_mathieu.beirlaen.jpg jessetiny.jpg christiantiny.png

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

tiny_mathieu.beirlaen.jpg jessetiny.jpg christiantiny.png

  • 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 jessetiny.jpg christiantiny.png

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

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

  • Mathieu Beirlaen and Christian Straßer, tutorial on Introduction to Non-Monotonic Logic at ESSLLI 2016. More info

tiny_mathieu.beirlaen.jpg christiantiny.png

  • Mathieu Beirlaen and Christian Straßer, A structured argumentation framework for obligation detachment at DEON 2016 in Bayreuth.

tiny_mathieu.beirlaen.jpg jessetiny.jpg christiantiny.png

  • 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 jessetiny.jpg christiantiny.png

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

  • Annemarie Borg, Dunja \Seselja\s and Christian Straßer, An argumentative agent-based model for scientific inquiry, Logic in Bochum II

tiny_mathieu.beirlaen.jpg jessetiny.jpg tiny_dunja._e_elja.jpg christiantiny.png

  • Dunja Seselja and Christian Straßer gave a talk introducing the research 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).

jessetiny.jpg tiny_mathieu.beirlaen.jpg christiantiny.png

  • Jesse Heyninck, Mathieu Beirlaen, and Christian Straßer, 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 christiantiny.png

  • AnneMarie Borg, Dunja Seselja, Christian Straßer, An argumentative agent-based model of scientific inquiry, Belgrade at the PSX5

ofertiny.jpg christiantiny.png

  • Ofer Arieli and Christian Straßer, Argumentative Approaches to Reasoning with Maximal Consistency at KR 2016.

jessetiny.jpg christiantiny.png

  • Jesse Heyninck and Christian Straßer, Relations between assumption-based approaches in nonmonotonic logic and formal argumentation at NMR 2016.

tiny_dunja._e_elja.jpg christiantiny.png

  • Dunja Seselja and Christian Straßer, Scientific Controversies and Interaction Among Scientists at the workshop on “Model(ling) controversies in Science” at the National University of Singapore.

christiantiny.png

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

Talks in 2015

christiantiny.png jessetiny.jpg

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

christiantiny.png jessetiny.jpg

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

christiantiny.png 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

christiantiny.png jessetiny.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

christiantiny.png ofertiny.jpg

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

christiantiny.png

  • 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

christiantiny.png 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

christiantiny.png ofertiny.jpg

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

Talks in 2013

christiantiny.png 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

christiantiny.png 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

christiantiny.png tiny_dunja._e_elja.jpg

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

christiantiny.png 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

christiantiny.png tiny_dunja._e_elja.jpg

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

christiantiny.png tiny_mathieu.beirlaen.jpg

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

christiantiny.png 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

christiantiny.png 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

christiantiny.png 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

christiantiny.png 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

christiantiny.png 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

christiantiny.png

  • 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

christiantiny.png 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

christiantiny.png 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

christiantiny.png tiny_mathieu.beirlaen.jpg

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

christiantiny.png 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

christiantiny.png 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

christiantiny.png

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

Talks in 2009

christiantiny.png

  • 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

christiantiny.png

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

christiantiny.png

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

christiantiny.png 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

christiantiny.png

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

christiantiny.png 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

christiantiny.png tiny_dunja._e_elja.jpg

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

christiantiny.png 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

christiantiny.png 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

christiantiny.png 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

christiantiny.png 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

christiantiny.png

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

christiantiny.png

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

Talks in 2005

christiantiny.png

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

christiantiny.png

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