Abstract Diese Dissertation, welche im Rahmen des Forschungsprojektes VESUV entstanden ist, stellt eine für mobile Geräte entwickelte Anwendung als Alternative zu geführten Städtetouren vor. In Form v
In this dissertation I present some aspects of belief-change theory and representation of knowledge as one of the main theoretical basis to formulate semantics for updates of logic programs. Firstly,
Praktikumszeiten je nach den Möglichkeiten der interessierten Studenten ist am Mo., den 29.03.2010 im Raum 117 des Geophysik-Gebäudes von 17:30-18:00 Uhr.
