We present a modified ground-and-solve approach based on the clingo Answer Set Programming (ASP) system to perform non-monotonic spatial reasoning tasks, Clingo2DSR. Our system is distinct from pre...

中文翻译：

---

Clingo2DSR - 用于声明性空间推理的基于 clingo 的软件系统

我们提出了一种基于 clingo 答案集编程 (ASP) 系统的改进的基础求解方法来执行非单调空间推理任务，即 Clingo2DSR。我们的系统与预...