JELIA 1998: Dagstuhl, Germany

Logic Programming

Epistemic Logics

Theorem Proving

Non-monotonic Reasoning

Non-standard Logics

Knowlege Representation

Higher Order Logics

Invited Talks