首页 /研究 /ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
OTHER

ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories

Przemysław Andrzej Wałęga, Mehul Bhatt, Carl Schultz

发表年份
2015
引用次数
25

关键词

ModuloMonotonic functionComputer scienceAnswer set programmingSet (abstract data type)Spatial intelligenceTheoretical computer scienceProgramming languageAlgorithmAlgebra over a field

相关论文

查看 OTHER 分类全部论文