Dienste

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

The Scheme Programming Language

• Information about SCM (a particular Scheme implementation), and SLIB, the portable Scheme library

History of LISP

Behaim Globe Project
including a Research Bibliography for the History of Cartography –

• BibTeX [utf-8, txt]
• Zotero

mappae: Kognitive Karten des Mittelalters / Cognitive maps of the middle ages
Person Historical Applications

• WW-Person

Das Astrolab / The Astrolabe
Ausstellung in der Gruppenbibliothek Informatik – Sommer 2001
An Exhibition in the Computer Science Library – Summer 2001

Gesellschaft für Informatik mit Fachbereich KI
Die Zeitschrift Künstliche Intelligenz
The German Artificial Intelligence Journal