Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
Walega Przemyslaw, Schultz Carl, Bhatt Mehul
Research article (journal) | Peer reviewedDetails about the publication
Journal: Theory and Practice of Logic Programming
Volume: 17
Issue: 2
Page range: 205-225
Status: Published
Release year: 2017
Language in which the publication is written: English
Keywords: dynamic spatial systems
Authors from the University of Münster
| Schultz, Carl | Institute for Geoinformatics (ifgi) |