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,
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
Abstract A great challenge today, arising in many elds of science, is the proper mapping of datasets to explore their structure and gain information that otherwise would remain concealed due to the hi
