Dialogue Logic:
Two proof systems including a web interface
WissKI:
Virtual Research Environment focussing on semantic object documentation
Erlangen CRM:
International Council of Museums CIDOC Conceptual Reference Model OWL DL
LISP and the Scheme Programming Language
- Information about SCM (a particular Scheme implementation), and SLIB, the portable Scheme library
- The Medley Interlisp Project
- History of LISP
Behaim Globe Project
including a Research Bibliography for the History of Cartography
mappae:
Kognitive Karten des Mittelalters / Cognitive maps of the middle ages
Das Astrolab / The Astrolabe
Ausstellung in der Gruppenbibliothek Informatik – Sommer 2001
An Exhibition in the Computer Science Library – Summer 2001
Person Historical Applications (H.Stoyan): WW-Person
Gesellschaft für Informatik mit Fachbereich KI
Die Zeitschrift Künstliche Intelligenz — The German Artificial Intelligence Journal