JELIA 1996: Évora, Portugal

Automated Reasoning

Modal Logics

Applications

Invited Speaker

Nonmonotonic Reasoning

Default Logics

Invited Speaker

Logic Programming

Invited Speaker

Temporal and Spatial Logics

Belief Revision and Paraconsistency

a service of Schloss Dagstuhl - Leibniz Center for Informatics