Blog of Logic in Philosophy and AI

Table of Contents

For the news archive move here.

Research visit by Kees van Berkel (TU Vienna) 2021-10-12

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

Paper on Logic-based approaches to formal argumentation, IFCOLOG 2021-07-01

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

Short Video on Adaptive Logics 2021-06-21

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

Paper on Characterizations and Classifications of Argumentative Entailments - KR 2021 2021-06-16

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

Webpage for KR’2021 Tutorial on Proof-Theoretic Approaches to Logical Argumentation launched 2021-05-23

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

DEON 2021 paper 2021-05-20

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

Sanderson Molick PhD 2021-05-03

Sanderson Molick successfully defended his PhD today.

Call for PhD position in our group – Deadline extension. 2021-05-02

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.

Tutorial on Proof-Theoretic Approaches to Logical Argumentation at KR 2021 2021-04-25

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

Workshop on Formal and Cognitive Reasoning 2021-04-18

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.

Talk at “Formal Models of Deliberation and Polarization” (Amsterdam) 2021-04-09

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.

Call for PhD position in our group. 2021-03-06

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.

Special Issue on Argument Strength is out. 2021-03-05

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.

Pursuit 2021 Workshop 2021-03-02

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

Reboot of the Website. 2021-02-25

The website is currently being rebooted.