Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
Walega Przemyslaw, Schultz Carl, Bhatt Mehul
Forschungsartikel (Zeitschrift) | Peer reviewedDetails zur Publikation
Fachzeitschrift: Theory and Practice of Logic Programming
Jahrgang / Bandnr. / Volume: 17
Ausgabe / Heftnr. / Issue: 2
Seitenbereich: 205-225
Status: Veröffentlicht
Veröffentlichungsjahr: 2017
Sprache, in der die Publikation verfasst ist: Englisch
Stichwörter: dynamic spatial systems
Autor*innen der Universität Münster
| Schultz, Carl | Institut für Geoinformatik (ifgi) |