JELIA 2014: Funchal, Madeira, Portugal

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics