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
- 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
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
AnneMarie Borg and Christian Straßer, Relevance in Structured Argumentation at 40 years of Logic of Paradox, Ruhr-University Bochum
- 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
- 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,
- AnneMarie Borg and Christian Straßer, “Relevance and Contamination in Structured Argumentation” at IJCAI 2018 in Stockholm, Sweden, 16-19th July
- Ofer Arieli, AnneMarie and Christian Straßer, “Prioritized Sequent-Based Argumentation” at AAMAS 2018 in Stockholm, Sweden, 11-13th July)
- Jesse Heyninck and Christian Straßer, “A Comparative Study of Assumption-Based Approaches to Reasoning with Priorities”, Second Chinese Conference on Logic and Argumentation.
- Jesse Heyninck and Christian Straßer, “Unrestricted Rebut in Structured Argumentation”, 2nd Workshop on Argument Strength, Toulouse, France.
Talks in 2017
- 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
- AnneMarie Borg, Ofer Arieli, Christian Straßer, Hypersequent-based Argumentation: An Instantiation in the Relevance Logic RM at ISRALOG17.
- Jesse Heyninck and Christian Straßer, Unrestricted rebut in Structured argumentation at the Logic in the Wild Workshop at Ghent University
- 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)
- 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.
- 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.
- 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.
- 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.
- Ofer Arieli, Annemarie Borg and Christian Straßer, Argumentative Approaches to Reasoning with Consistent Subsets of Premises at the IEA/AIE’2017, Arras
- 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
- 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.
- Mathieu Beirlaen, Jesse Heyninck and Christian Straßer, Reasoning by Cases in Structured Argumentation, at the ECA 2017, Fribourg
- Mathieu Beirlaen, Jesse Heyninck and Christian Straßer, Reasoning by Cases in Structured Argumentation at KRR/SAC 2017, Marrakech
- Christian Straßer, Reasoning Defeasibly by Cases , (invited talk, joint work with Mathieu Beirlaen and Jesse Heyninck) at the Montreal Logic Workshop.
- Mathieu Beirlaen, Jesse Heyninck and Christian Straßer (I was not present), Reasoning by Cases in Formal Argumentation, Groningen
Talks in 2016
- 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
- Mathieu Beirlaen and Christian Straßer, tutorial on Introduction to Non-Monotonic Logic at ESSLLI 2016. More info
- Mathieu Beirlaen and Christian Straßer, A structured argumentation framework for obligation detachment at DEON 2016 in Bayreuth.
- Mathieu Beirlaen, Jesse Heyninck and Christian Straßer, Reasoning by Cases in Structure Argumentation at ILIAS Seminars, Luxembourg (I was not present)
- Mathieu Beirlaen, Jesse Heyninck and Christian Straßer, Casting doubt. Shadow arguments in structured argumentation, Logic in Bochum II
- Annemarie Borg, Dunja \Seselja\s and Christian Straßer, An argumentative agent-based model for scientific inquiry, Logic in Bochum II
- 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).
- 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.
- AnneMarie Borg, Dunja Seselja, Christian Straßer, An argumentative agent-based model of scientific inquiry, Belgrade at the PSX5
- Ofer Arieli and Christian Straßer, Argumentative Approaches to Reasoning with Maximal Consistency at KR 2016.
- Jesse Heyninck and Christian Straßer, Relations between assumption-based approaches in nonmonotonic logic and formal argumentation at NMR 2016.
- 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.
- An Introduction to Paraconsistent Logics at the weekend school entitled The Inconsistency of Science at Oxford University, January 2016
Talks in 2015
- Keynote Argumentation Semantics for Adaptive Logics (with Jesse Heyninck) at UNILOG in Istanbul, Turkey.
- An assumption-based logic for the analysis of inconsistent premises (with Jesse Heyninck) at CLMPS in Helsinki, Finland.
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
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.
Talks in 2014
- Invited talk Sequent-Based Logical Argumentation (with Ofer Arieli) at the Colloquium of the Institute for Philosophy, Ruhr-University Bochum, 2014
- 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
- Invited talk The Normative Role of Evaluative Stances in Scientific Disagreements (with Dunja Šešelja) at the workshop Norms of Reasoning, Bochum, 2014
- Sequent-Based Argumentation for Normative Reasoning (with Ofer Arieli) at the DEON conference, University Ghent, Belgium, 2014
Talks in 2013
- Heuristic Reevaluation of the Bacterial Hypothesis of Peptic Ulcer Disease in the 1950s (with Dunja Šešelja) at CLPS, University Ghent, Belgium, 2013
- 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
- Invited talk Scientific Disagreement and Epistemic Tolerance (with Dunja Šešelja) at the workshop Heuristic Reasoning, Rome, Italy, 2013
- Disagreements: Dynamic and Non-Bootstrappish (with Jan Willem Wieland and Dunja Šešelja) at the Epistemology Afternoon Workshop, University Ghent, 2013
Talks in 2012
- Kuhn and the Question of Pursuit Worthiness (with Dunja Šešelja) invited talk at the University Rotterdam, 2012
- An Andersonian deontic logic with contextualized sanctions (with Mathieu Beirlaen), at DEON 2012, Bergen, Norway
- An Andersonian deontic logic with contextualized sanctions (with Mathieu Beirlaen) at the Trends in Logic X conference at Ruhr-University Bochum, 2012
- 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
- Kuhn and the context of pursuit (with Dunja Šešelja) at the conference Progress of Science in Tilburg, Netherlands, 2012
Talks in 2011
- Abstract argumentation and explanation applied to scientific debates (with Dunja Šešelja) at the EPSA conference in Athens, Greece, 2011
- Kuhn and the context of pursuit (with Dunja Šešelja) at the Kuhn and Rationality Workshop at CLPS, University Ghent, 2011
- 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
- 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
- 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
- Inconsistency-adaptive deontic logic (with Mathieu Beirlaen) at the Dynamics of Normative Reasoning Workshop, CLPS, Ghent University, 2011
- 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
Talks in 2009
Talks in 2008
- Adaptive logics for conditional obligations and deontic dilemmas at the Young Researchers Day, Brussels, 2008
- Adaptive logics for conditional obligations and deontic dilemmas, at the WCP4 (4th World Conference on Paraconsistency), Melbourne, Australien, 2008
- 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
- An adaptive logic for rational closure, at the CLE 30-XV EBL-XIV SLALM, Paraty, Brasilien, 2008
- An adaptive logic framework for abstract argumentation (with Dunja Šešelja), at the CLE 30/XV EBL/XIV SLALM, Paraty, Brasilien, 2008
- An adaptive logic for Dung’s abstract argumentation framework (with Dunja Šešelja), Lunchtalk at CLPS, Ghent University, 2008
- 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
- Adaptive versions of the deontic logics DPM (with Joke Meheus), LMPS 07 (International Congress of Logic, Methodology and Philosophy of Science), Beijing, China, 2007
- 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
- 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