[2020-01-31 Fri] In the meanwhile Christian joined some more PCs: PhDs in Logic 2020, IJCAI 2020, KR 2020, Bayes by the Sea 2020, CLAR 2020.
[2020-01-31 Fri] AnneMarie’s paper Assumptive Sequent-Based Argumentation got accepted for IFCOLOG.
[2020-01-21 Tue] AnneMarie Borg, Ofer Arieli and Christian Straßer, Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach, has been accepted for FLAIRS, 2020 as a full paper
[2020-01-21 Tue] Christian joined the DEON 2020 program committee
[2019-12-05 Thu] Jesse’s and Christian’s, A comparative study of assumption-based approaches to reasoning with priorities, got accepted for the Journal of Applied Logic, 2019
[2019-12-03 Tue] AnneMarie’s, Christian’s and Ofer’s paper A Generalized Proof-Theoretic Approach to Logical Argumentation based on Hypersequents has been accepted in Studia Logica.
[2019-12-03 Tue] Christian and Sanderson presented their paper A quantitative approach to inconsistency-adaptive logics at The Logic of Paradox, after 40 years (Bochum)
[2019-11-28 Thu] AnneMarie presented her and Christian’s paper Relevance in Structured Argumentation at The Logic of Paradox, after 40 years (Bochum)
[2019-04-23 Tue] AnneMarie’s, Daniel’s, Dunja’s and Christian’s Modeling Bias and Deception in Scientific Inquiry has been accepted for EPSA 2019.
[2019-04-16 Tue] Since last year’s Philosophische Logik - Blog accompanying the course on philosophical logic by Christian was a success, he also decided to accompany this year’s course on Deontic Logic with a blog: Deontic Logic and Normative Reasoning - Blog (this time in English).
[2019-04-11 Thu] AnneMarie, Dunja and Christian were at Biases in Science - LMU Munich where Dunja gave a talk on Modeling Bias and Deception in Scientific Inquiry on joint work with AnneMarie, Daniel and Christian.
[2019-03-28 Thu] Ofer’s, AnneMarie’s and Jesse’s paper "Structured Argumentation and Reasoning with Maximal Consistency’’, has been accepted for Annals of Mathematics and Artificial intelligence.
[2019-03-23 Sat] Game Theory in Practice – Mini-Workshop: AnneMarie Borg (Bochum), Daniel Frey (Heidelberg), Dunja Seselja (Munich), Christian Straßer (Bochum) and Kevin Zollman (Pittsburgh) played a round of Power Grid ;-) (Daniel won.)
[2019-03-19 Tue] Jesse’s and Ofer’s paper “Simple Contrapositive Assumption-Based Frameworks” has been accepted for LPNMR19.
[2019-02-15 Fri] Jared’s and Christian’s paper A Logic for Best Explanations has been accepted for the Journal of Applied Non-Classical Logics
[2019-01-23 Wed] Jesse’s and Christian’s paper A fully rational argumentation system for preordered defeasible rules has been accepted for AAMAS 2019 as a full paper (acceptance rate: 24%).
[2019-01-23 Wed] Jesse’s and Ofer’s paper Simple Contrapositive Assumption-Based Argumentation Frameworks has been accepted for AAMAS 2019 as an extended abstract.
[2019-01-18 Fri] Jesse sucessfully defended his PhD with a Summa cum laude. Congratulations :-)
[2019-01-15 Tue] Ofer’s and Christian’s paper Logical Argumentation by Dynamic Proof Systems has been accepted for Theoretical Computer Science.
[2019-01-15 Tue] AnneMarie’s, Daniel’s, Dunja’s and Christian’s paper Theory-Choice, Transient Diversity and the Efficiency of Scientific Inquiry has been accepted for publication in the European Journal of Philosophy of Science.
[2018-12-17 Mon] Christian joined the program committees of DARE19 and IJCAI19.
[2018-11-13 Tue] Jesse’s Relations between Assumption-Based approaches in nonmonotonic logic and formal argumentation: from Structured Argumentation to Adaptive Logics has been accepted for the Journal of Applied Logic special issue for IsraLog’2017
[2018-10-05 Fri] The Workshop Bridging the Gap between Formal Argumentation and Actual Human Reasoning was taking place link.
[2018-09-20 Thu] The book of abstract for Bridging the Gap between Formal Argumentation and Actual Human Reasoning has been uploaded and can be found here.
[2018-09-10 Mon] Mathieu’s, Jesse’s, and Christian’s paper A critical assessment of Pollock’s work on logic-based argumentation with suppositions got accepted for NMR2018.
[2018-08-29 Wed] AnneMarie’s, Ofer’s and Christian’s paper Reasoning with maximal consistency by argumentative approaches has been accepted for publication in the Journal of Logic and Computation.
[2018-07-31 Tue] Deadline for Bridging the Gap between Formal Argumentation and Actual Human Reasoning has been prolonged for the 7th of August 2018.
[2018-07-31 Tue] The special edition on Argument Strength in IFCOLOG (edited by Mathieu, Jesse, Pere and Christian) has been published. link
[2018-07-31 Tue] Mathieu’s, Jesses’s and Christian’s contribution to COMMA 2018 has been accepted.
[2018-07-31 Tue] AnneMarie’s contribution to COMMA 2018 has been accepted.
[2018-05-09 Wed] Call for Papers: Bridging the Gap between Formal Argumentation and Actual Human Reasoning" (more here).
[2018-04-16 Mon] AnneMarie’s and Christian’s Relevance and Contamination in Structured Argumentation has been accepted for IJCAI 2018.
[2018-04-16 Mon] Ofer Arieli (Tel Aviv) arrived for a one week long visit at our research group.
[2018-04-03 Tue] AnneMarie’s, Ofer’s and Christian’s paper Hypersequent-based Argumentation: An Instantiation in the Relevance Logic RM is published in: Theory and Applications of Formal Argumentation 2017. Lecture Notes in Computer Science, vol 10757. Springer.
[2018-04-03 Tue] Jesse’s and Christian’s paper A Comparative Study of Assumption-Based Approaches to Reasoning with Priorities was accepted for the Second Chinese Conference on Logic and Argumentation.
[2018-04-03 Tue] Jesse’s and Ofer’s paper On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks was accepted for the Second Chinese Conference on Logic and Argumentation.
[2018-04-03 Tue] Christian joined the program committee of Poznan Reasoning Week 2018.
[2018-01-24 Wed] AnneMarie Borg, Ofer Arieli, Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5 has been accepted for AAMAS 2018.
[2018-01-24 Wed] Ofer Arieli, AnneMarie Borg, Christian Straßer, Prioritized Sequent-Based Argumentation has been accepted for AAMAS 2018.
[2017-11-07 Tue] Christian joined the Program Committee of CLAR2018.
[2017-10-16 Mon] AnneMarie and Jesse took part at ISRALOG 2017 and spent some research time at the University College Tel Aviv with Ofer Arieli.
[2017-09-20 Wed] Dunja and Daniel presented their paper The Epistemic Function of Agent-Based Models of Science: the case of scientific interaction at the 6th Conference of the European Network for the Philosophy of the Social Sciences in Krakow, Poland.
[2017-09-17 Sun] Jesse’s, Pere’s and Christian’s paper Assumption-Based Approaches to Reasoning with Priorities has been accepted to AI3.
[2017-09-01 Fri] Dunja’s paper Scientific Pluralism and Inconsistency Toleration has been published in Humana Menta, Issue 32, 2017 link.
[2017-08-13 Sun] The paper Structured argumentation with prioritized conditional obligations and permissions (by Mathieu, Christian and Jesse) has been accepted in Studia Logica.
[2017-08-13 Sun] The paper Epistemic effects of scientific interaction: approaching the
question with an argumentative agent-based model (by AnneMarie, Daniel, Dunja and Christian) has been accepted for the special issue of ’Historical Social Research’ on “Agent Based Modelling across Social Science, Economics, and Philosophy”
[2017-07-20 Thu] The conference Formal Model of Scientific Inquiry (organized by AnneMarie, Christian, Dunja, and Vlasta) took place (link).
[2017-07-11 Tue] The contribution Hypersequent-based Argumentation: An Instantiation in the Relevance Logic RM by AnneMarie has been accepted for ISRALOG 2017.
[2017-07-10 Mon] A VIP-visiting grant has been awarded to Ofer Arieli by the Research School PLUS (RUB).
[2017-07-11 Tue] The contribution Assumption-Based Approaches in Nonmonotonic Logic and Formal Argumentation by Jesse has been accepted for ISRALOG 2017.
[2017-06-30 Fri] Mathieu’s contribution to DARe 2017, Combining Inductive Generalization and Factual Abduction, has been published in the proceedings.
[2017-06-25 Sun] Christian joined the program committee of AAAI 2018.
[2017-06-13 Tue] The paper Hypersequent-based Argumentation: An Instantiation in the Relevance Logic RM by Ofer, AnneMarie and Christian was accepted for TAFA 2017 (The 2017 International Workshop on Theory and Applications of Formal Argument).
[2017-05-23 Tue] A new paper has been accepted for the LORI conference: AnneMarie Borg, Daniel Frey, Dunja Seselja, and Christian Straßer, Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry, Forthcoming in the FoLLI Series on Logic, Language and Information, Springer.
[2017-05-05 Fri]–[2017-05-06 Sat] Logic in Bochum III took place. Photos of the event by Dada Baudelaire can be found here. :-)
[2017-05-04 Thu] Christian was part of the jury for the PhD of Diego Agostin Ambrossio on Non-Monotonic Logics for Access Control: Delegation Revocation and Distributed Policies in Luxembourg.
[2017-05-02 Tue]–[2017-05-04 Thu] PhDs in Logic took place at the RUB. It was co-organized by AnneMarie and Jesse.
[2017-05-02 Tue] Christian gave a very concise tutorial on nonmonotonic logic at PhDs in Logic.
[2017-04-26 Wed] Dunja gave a talk at the MCMP on Using Abstract Argumentation for Agent-Based Modeling of Scientific Inquiry (joint work with AnneMarie Borg, Daniel Frey and Christian Straßer).
[2017-04-24 Mon] Jesse and Christian got their paper Revisiting Unrestricted Rebut and Preferences in Structured Argumentation. accepted for IJCAI 2017.
[2017-04-11 Tue] Christian and Dunja gave a talk introducing the NMLFA and recent research results at the Workshop on Formal Argumentation in Online Discussions at the Institute for Computer Science, Heinrich Heine University.
[2017-04-05 Wed] Jesse gave a talk on Reasoning by Cases in Structured Argumentation at the track on Knowledge Representation and Reasoning of the 32nd ACM SIGAPP Symposium On Applied Computing in Marrakech on 2017-04-5.
[2017-03-06 Mon] There is a 2nd call for abstract for our forthcoming conference on Formal Models of Scientific Inquiry is out.
[2017-03-04 Sat] Christian gave a talk on Reasoning Defeasibly by Cases at the Logics of Consequence workshop at Concordia University, Montreal. link
[2017-03-01 Wed] The deadline for the submissions special issue on Argument Strength has been extended to March 31, 2017.
[2017-01-16 Mon] The call for Logic in Bochum III is out: here.
[2017-01-11 Wed]–[2017-01-13 Fri] Martin Caminada (Cardiff) was a guest at our group. He gave a talk at the Colloquium of the Institute for Philosophy II on Open Research Challenges in Formal Argumentation and another talk in the research colloquium on Logic and Epistemology on A Discussion Game for Grounded Semantics.
[2016-12-15 Thu] For all interested, we (AnneMarie, Daniel, Dunja, and Christian) put a preprint of our article An argumentative agent-based model of scientific inquiry up on arXiv.
[2016-12-12 Mon] Our (i.e., Mathieu, Jesse, and Christian) presentation Reasoning by Cases in Structured Argumentation got accepted at ECA 2017 (http://ecargument.org/).
[2016-12-07 Wed] Pere’s article Epistemic protocols for dynamic gossip (together with Hans van Ditmarsch, Jan van Eijck, and Rahim Ramezanian) was published online with the Journal of Applied Logic.
[2016-12-05 Mon] During the last few days our workshop Argument Strength 2016 took place. Thanks to all the contributers for making this a great event.
[2016-11-22 Tue] Dunja gave a talk on Using Abstract Argumentation for a More Adequate Agent-Based Modeling of Scientific Inquiry at Leibniz Universität Hannover
[2016-10-21 Fri] AnneMarie, Dunja and Christian Straßer gave a talk on An argumentative agent-based model of scientific inquiry at the Workshop “Agent Based Modelling across Social Science, Economics, and Philosophy” in Bamberg, Germany
Mathieu’s, Jesse’s, and Christian’s paper Reasoning by Cases in Structured Argumentation has been accepted at KRR/SAC. pdf
[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
[2016-09-21 Wed] Pere gave a talk on t-DeLP: Temporal Defeasible Logic Programming at the Workshop on Modal Logic and its Application in Computer Science in Tehran.
[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.
[2016-09-06 Tue] Dunja gave an invited talk at the UNAM in Mexico City on How much should scientific pluralists care about (in)consistency.
[2016-09-01 Thu] Pere Pardo Ventura joined our group as a new post-doc researcher.
[2016-09-01 Thu] Dunja gave an invited talk at the ULC London on Agent-Based Models of Scientific Inquiry: some problems and some solutions.
[2016-07-26 Tue] Dunja and Andrea Kruse gave a talk at the University of Cologne on Can Scientific Rationality by subsumed under Instrumental Rationality.
[2016-05-14 Sat] We are now part of the Logical and Methodological Analysis of Scientific Reasoning Processes Research Network (LMASRP) which is a scientific research network a sponsored by the Research Foundation Flanders (FWO). You find more info here. These days we participated in the initial meeting of the various research groups which are involved.
[2016-05-06 Fri] Mathieu’s and Christian’s contribution to DEON2016 got accepted.
[2016-04-30 Sat] Jesse, Christian and Ofer presented results at NMR2016 and KR2016 in Cape Town.
[2016-04-08 Fri] The website for our Workshop on Argument Strength is up
[2016-02-09 Tue] Final exam for Christian’s Grundkurs Logik II. People who can’t make it can write the exam on the [2016-02-11 Thu 12:00-14:00].
[2016-01-22 Fri 10:00]–[2016-01-23 Sat 20:00] The Logic Boot Camp 2016 (organised by Daniel Skurt, Christian, and Jesse) took place at the RUB.
[2016-01-09 Sat]–[2016-01-10 Sun] Dunja and Christian gave talks at the weekend school for Inconsistencies in Science at Oxford University together with Peter Vickers. They also participated in a podium discussion.
[2015-12-15 Tue] Mid-term exam in Christian’s Grundkurs Logik I
[2015-12-09 Wed] Christian gave a talk on Detaching Obligations: An Argumentative Approach at ILIAS at the University of Luxembourg
[2015-11-24 Tue] Mathieu talked on Deontic logic as structured argumentation (joint work with Christian) at the Venice seminar “Deontic Logic and Ethics”
[2015-11-10 Tue] Mathieu and Christian talked on Deontic logic as structured argumentation at the Heinrich-Heine-Universität Düsseldorf.
[2015-11-04 Wed 18:00] Guest talk by Jan Broersen (Utrecht University) at the colloquium of the Institute for Philosophy II. Topic: Semantic choices in modeling responsibility
[2015-09-28 Mon] Rune Nyrup (Durham University, Department of Philosophy) gave a talk on Justifying the pursuit of scientific theories: a decision-theoretic perspective
[2015-09-22 Tue] Vlasta Sikimic (University Belgrade) visited us and gave a talk On expressivity of some structurally “enriched” calculi.
[2015-09-02 Wed] Slides for Christian’s tutorial on nonmonotonic logic can be found here.
[2015-07-27 Mon] A page for Dunja’s module Conflicting Ideas, Conflicting Interests: Science and Society in the optional study area has be created.
[2015-07-16 Thu] The last courses took place this week. In order to celebrate the end of the semester, Dunja and Christian organised a small party for the students of their seminars. We had a great time and we thank all the people who participated and brought many tasty things, in particular: Anca, Daniel, Eva, Georg, Jonathan, Nina, Olya, Patrick, Sara, Sonja, and Srdjan :-)
[2015-07-13 Mon] In our reading group we read Aldo Antonelli’s A directly cautious theory of defeasible consequence for default logic via the notion of general extension, Artificial Intelligence, 109(1), 71–109, 1999.
[2015-07-13 Mon] Christian’s, Mathieu’s and Frederik’s paper Adaptive Logic Characterizations of Input/Output Logic has been accepted in Studia Logica (subject to minor revisions).
[2015-07-10 Fri] New tasks are online for Christian’s course Normative Reasoning and Deontic Logic.
[2015-07-07 Tue] New solutions and new tasks are online for Christian’s course Adaptive Logics.
[2015-07-06 Mon] Tonight at 5pm at GA 04/187 Prof. Paul Hoyningen-Huene (Leibniz Universtität Hannover, Universität Zürich) will give a talk on “Strong Incommensurability an Deeply Opaque Ignorance” organised by Dunja, Heinrich Wansing and Helmut Pulte.
[2015-07-06 Mon] New slides and new tasks are online for Christian’s course Adaptive Logics.
[2015-06-30 Tue] At the UNILOG 2015 in Istanbul many of our members participated. Mathieu reported on A Recipe for Safe Detachment and Christian and Jesse a keynote on Dynamic Proof Theories as Structured Argumentation. Jesse also participated in the Summer School.
[2015-06-23 Tue] At the workshop Logic - Bochum 1 (organised by Heinrich Wansing) Mathieu and Christian presented talks.
[2015-06-18 Thu] Mathieu gave a talk in Munich on A Logic for the Discovery of Causal Regularities at the Workhop ’Causal and Probabilistic Reasoning’.
[2015-06-12 Fri] Our new member has been chosen out of the many excellent applications for the PhD-position. We are very happy that AnneMarie Borg will join our team from September on! :-)
[2015-06-12 Fri] Dunja gave a talk in Tilburg on Is interaction conducive of scientific objectivity? at the 8th Munich-Sydney-Tilburg (MuST) Conference on “Objectivity in Science”.
[2015-06-16 Tue] New exercises for Christian’s course Adaptive Logics are online.
[2015-06-14 Sun] New tasks are online for Christian’s course Adaptive Logics. (Sorry for the delay: I was ill …)
[2015-06-10 Wed] Today was the exam for Christian’s post-grad course in Gent. Here’s the exam. Was fun teaching this course! :-)
[2015-06-09 Tue] We had an evening session with Dunja and Andrea Kruse who presented their talks Is interaction conducive of scientific objectivity? (Dunja) and Can believed defeaters be neutralized? (Andrea) which they will present during the next days at he 8th Munich-Sydney-Tilburg (MuST) Conference on “Objectivity in Science” at Tilburg University (Dunja) and at the Workshop: Defeaters, Higher-Order Evidence, and the Limits of Defeat at Cologne University (Andrea). This was rounded up by a nice dinner in a Vietnamese restaurant!
[2015-06-08 Mon] Christian’s and Ofer’s paper ’Normative reasoning by sequent-based argumentation’ has been accepted for publication (subject to minor revision) in the DEON14 special issue of the Journal of Logic and Computation. :-)
[2015-06-08 Mon] Christian and Jesse gave a talk at the ’Doktorandenkolloquium’ organised by Tobias Schlicht and Helmut Pulte. Here are the slides:
[2015-06-06 Sat] New exercises for Adaptive Logics are online.
[2015-06-05 Fri] For the 50th celebration of the Ruhr-University Jesse made a nice poster for our small workgroup. You can find it at the table for the Institute II for Philosophy on Saturday in the Universitätsstraße. You can also look at the pdf-version here.
[2015-06-05 Fri] Dunja and Christian went to Leipzig where Christian gave two talks, one on Sequent-Based Logical Argumentation (joint work with Ofer Arieli, Tel Aviv) at the Institutskolloquium at University Leipzig, and one on Dynamic Proof Theories as Structured Argumentation (joint work with Jesse Heyninck, Bochum) for a seminar wihtin the Master Program at University Leipzig. He enjoyed the talks, the discussion, and the city very much. Special thanks goes to Ingolf Max who organised the talks and who gave Dunja and Christian a great tour around the city full of insider information. :-) We had a great time!
[2015-06-02 Tue] New slides for Christian’s talks in Leipzig on Wednesday and Thursday are up.
[2015-06-01 Mon] Applicants for the PhD-position have been informed about the date of their interview. Looking forward to talk with you.
[2015-05-27 Wed] Notifications have been sent to the applicants for the PhD-position concerning the interview.
[2015-05-18 Mon] New talks have been added, section on internal meetings has been added, and call for PhD2 has been removed.
[2015-05-17 Sun] The deadline for the call for the 2nd PhD without our workgroup ended. We got some great applications and we say thanks to all applicants! :-)
