JELIA 2014: Funchal, Madeira, Portugal

Invited Talks

Description Logics

Automated Reasoning

Logics for Uncertain Reasoning

Non-Classical Logics

Answer-Set Programming

Belief Revision

Dealing with Inconsistency in ASP and DL

Reason about Actions and Causality

System Descriptions

Short System Descriptions

Short Papers

maintained by Schloss Dagstuhl LZI, founded at University of Trier