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