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

maintained by Schloss Dagstuhl LZI at University of Trier