JELIA 1994: York, UK

Invited Speaker

Nonmonotonic Reasoning

Belief Revision

Logic Programming and Theory Revision

Automated Reasoning

Invited Speaker

Prioritized Nonmonotonic Reasoning

Models of Reasoning

Knowledge Representation

Invited Speaker

Extending Logic Programming

maintained by Schloss Dagstuhl LZI at University of Trier