Article, Early Access,
Clingo2DSR-A clingo-based software system for declarative spatial reasoning
Affiliations
- [1] Aarhus Univ, Dept Elect & Comp Engn, Aarhus, Denmark [NORA names: AU Aarhus University; University; Denmark; Europe, EU; Nordic; OECD]
Abstract
Abstract not displayed. As this article is not marked as Open Access, it is unclear if we are allowed to show the abstract. Please use the link in the sidebar to view the data provider version of the article including abstract.
Keywords
Answer Set Programming,
Building Information Modelling,
spatial reasoning