- AutorIn
- Steffen Bittner
- Titel
- Die Modellierung eines Grundbuchsystems im Situationskalkül
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa2-165046
- Schriftenreihe
- Abschluss- und Qualifikationsarbeiten aus der Fakultät für Mathematik und Informatik
- Datum der Einreichung
- 01.09.1998
- Abstract (DE)
- Grund und Boden genießt in unserer Gesellschaft einen hohen Stellenwert. Grundbuchsysteme, die zur Verwaltung dieser Ressource geschaffen wurden, werden deshalb mit großem Aufwand gepflegt. In dieser Arbeit wird, basierend auf einer modernen Variante des auf John McCarthy zurückgehenden Situationskalküls, ein formales Modell eines Grundbuchsystems mit den Mitteln der Wissensrepräsentation erstellt und prototypisch implementiert.
- Freie Schlagwörter (DE)
- Grundbuch, Situationskalkül, Wissensrepräsentation
- Klassifikation (DDC)
- 000
- BetreuerIn Hochschule / Universität
- Prof. Dr. Andreas Frank
- Prof. Dr. Gerhard Brewka
- Den akademischen Grad verleihende / prüfende Institution
- Universität Leipzig, Leipzig
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:15-qucosa2-165046
- Veröffentlichungsdatum Qucosa
- 20.10.2017
- Dokumenttyp
- Diplomarbeit
- Sprache des Dokumentes
- Deutsch