JELIA 1996: Évora, Portugal

Refine list

showing all ?? records

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