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