JELIA 2021: Virtual Event

Argumentation

Belief Revision

Reasoning about Actions, Causality, and Change

Constraint Satisfaction

Description Logics and Ontological Reasoning

Non-classical Logics

Logic Programming and Answer Set Programming

a service of Schloss Dagstuhl - Leibniz Center for Informatics