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