Blog of Logic in Philosophy and AI

We are offering a postdoc position for 3 years with a specialization into deontic logic and/or argumentation theory.

Christian revieved the “Quality Champion Award” for his reviewing efforts in ECAI 2023.

Kees van Berkel, Tim Lyon and Matteo Pascucci have a new paper out on Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations (JLP).

Kees and Christian gave a tutorial on “Proof-Theoretic Approaches in Logical Argumentation” for the reasoning web summer school in Oslo.

We are offering a postdoc position for 2 years with a specialization into one of the following: deontic logic, nonmonotonic logic, argumentation theory, or similar.

The joint application for a WEAVE project on “Logical Methods for Deontic Explanations” (LoDEx) with partners in Luxembourg, Vienna and Bochum got funded.

Currently Ofer Arieli is visiting our group to collaborate on topics in logical argumentation.

The paper on A Postulate-Driven Study of Logical Argumentation by AnneMarie, Ofer and Christian got conditionally accepted for publication in the Artificial Intelligence Journal.

Two papers got accepted to IJCAI 2023 (15% acceptance rate): “A Comparative Study of Ranking Formulas based on Consistency” by Said, Badran and Christian and Said Jabbour, as well as “Ranking-based Argumentation Semantics applied to Logical Argumentation” by Jesse, Badran and Christian.

Christian joined the program committees of CAKR23 and ArgXAI-23.

Our paper “Scientific disagreements and the diagnosticity of evidence: how too much data may lead to polarization” (Michelini, Osorio, Houkes, Šešelja, and Straßer) has been accepted for publication in JASSS.

Christian, Dunja and Kees spent a few days in Luxembourg for a research stay.

The paper “Evaluating and Selecting Arguments in the Context of Higher Order Uncertainty” by Christian and Lisa has been accepted for publication in Frontiers in Artificial Intelligence.

Christian currently participates at the Dagstuhl seminar on Normative Reasoning in AI.

Christian joined several program committees, such as IJCAI 2023, KR 2023 (senior PC), ECAI 2023, CLAR 2023, DEON 2023 (chair)

Christian has been the second time selected as a distinguished program committee member of IJCAI 2022 (top 3%).

We invite applications for a new PhD position in our newly formed research group “Reasoning, Rationality and Science” which will be coordinated by Dunja Šešelja and Christian Straßer. The call is for all interested in researching the emergence and dynamics of social reasoning processes. The deadline is on 31th of August 2022.

Sam Sanders get awarded with a Klaus Tschira Boost Fund.

Christian gave a keynote at the 2nd Workshop on Logics for New-Generation Artificial Intelligence.

Our work on “Disagreement on the Diagnostic Value of Evidence in Scientific Communities: an Opinion Dynamics Model” (Matteo Michelini, Javier Osorio, Wybo Houkes, Dunja Šešelja and Christian Straßer) has been accepted for the Socia Simulation Conference 2022.

Our work on “What is the Impact of MySide Bias on Scientific Debates?” (Louise Dupuis, Matteo Michelini, AnneMarie Borg, Gabriella Pigozzi,Juliette Rouchier, Dunja Šešelja, and Christian Straßer) will be presented at the Truth and Politics: A Political Epistemology Conference in Bamberg.

The paper “Explainable Logic-Based Argumentation” (Ofer Arieli, AnneMarie Borg, Matthis Hesse and Christian Straßer) has been accepted for NMR 2022.

The papers “Reasoning With and About Norms in Logical Argumentation” (Kees van Berkel and Christian Straßer) and “Explainable Logic-Based Argumentation” (Ofer Arieli, AnneMarie Borg, Matthis Heese, Christian Straßer) have been accepted at COMMA 2022.

The paper “Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation” has been accepted at IJCAI 2022 (acceptance rate 15%)

The research group has a new headquarters.

Teaching started again. Christian offers two courses: one on Logic and AI and the other on Predicate Logic.

The slides for the Tutorial on Logical Argumentation by Ofer and Christian are online now.

Kees van Berkel has arrived for a research visit from the beginning of October to end of November.

Ofer, AnneMarie, Jesse and Christian got a paper published in IFCOLOG (Journal of Applied Logic) on Logic-based approaches to formal argumentation.

Christian made a short video on adaptive logics in the context of the LogicaMx outreach program.

Ofer, AnneMarie and Christian got a paper accepted for KR 2021 on Characterizations and Classifications of Argumentative Entailments.

The webpage for our tutorial on Proof-Theoretic Approaches to Logical Argumentation launched. See https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/KR-2021/

The paper “Prioritized Defaults and Formal Argumentation” by Christian and Pere has been accepted for DEON 2021.

Sanderson Molick successfully defended his PhD today.

The deadline for applications to the current call for a PhD has been extended for the 9th of May. We invite applications for a new PhD position in the group. The call is for all interested in some of the following topics: defeasible reasoning, non-monotonic logic, formal argumentation theory and deontic logics.

Ofer Arieli and Christian will present a tutorial on Proof-Theoretic Approaches to Logical Argumentation at KR 2021.

Christian join the Program Committee of FCR-2021 (The Workshop on Formal and Cognitive Reasoning) which will take place in Berlin, September 27 - October 1, 2021, in the context of KI-2021.

Dunja gave a talk on how to integrate biased and biased agents in our ArgABM at this most interesting workshop organized by Hein Duijf and Catarina Dutilh Novaes.

We invite applications for a new PhD position in the group. The call is for all interested in some of the following topics: defeasible reasoning, non-monotonic logic, formal argumentation theory and deontic logics. The deadline is on 25th of April 2021.

A special issue on Argument Strength is out now in Argument & Computation incl. a contribution by Jesse and Christian on a fragment of ASPIC (wihthout Undercut) that satisfies all rationality postulates (incl. non-interference) and has some nice connections to reasoning with maximal consistent sets of default rules.

Dunja and Jamie Shaw (Toronto) organize an online workshop on pursuit. It will take place March 4–March 5 during the afternoons on zoom.

The website is currently being rebooted.