[BibTeX] [RIS]
Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
Type of publication: Article
Citation: TPLP-2016-NSR-ASP
Publication status: Accepted
Journal: TPLP: Theory and Practice of Logic Programming. Cambridge Journals
Year: to appear
URL: http://journals.cambridge.org/...
Keywords:
Authors Wałęga, Przemysław
Schultz, Carl
Bhatt, Mehul
Attachments
    Notes
      Topics