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

Talks of Christian Straßer

Table of Contents

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

Author: Christian Straßer

Created: 2017-09-17 Sun 17:06

Validate