dblp.uni-trier.de www.uni-trier.de

JELIA 1998: Dagstuhl, Germany

Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Lecture Notes in Computer Science 1489 Springer 1998, ISBN 3-540-65141-1 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Logic Programming

Epistemic Logics

Theorem Proving

Non-monotonic Reasoning

Non-standard Logics

Knowlege Representation

Higher Order Logics

Invited Talks

Copyright © Mon Nov 2 20:55:23 2009 by Michael Ley (ley@uni-trier.de)