Return to search

Die Modellierung eines Grundbuchsystems im Situationskalkül

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.

Identiferoai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:16504
Date20 October 2017
CreatorsBittner, Steffen
ContributorsFrank, Andreas, Brewka, Gerhard, Universität Leipzig
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
LanguageGerman
Detected LanguageGerman
Typeinfo:eu-repo/semantics/acceptedVersion, doc-type:masterThesis, info:eu-repo/semantics/masterThesis, doc-type:Text
Rightsinfo:eu-repo/semantics/openAccess
Relationurn:nbn:de:bsz:15-qucosa2-163403, qucosa:16340

Page generated in 0.0015 seconds