基于答案集编程的定性空间推理轨迹演算
摘要
出版物: -
arXiv电子打印 发布日期: 2018年4月 DOI(操作界面): -
10.48550/arXiv.1804.07088 arXiv: -
arXiv:1804.07088 书目代码: -
2018年arXiv180407088B 关键词: -
计算机科学-人工智能
电子打印: 在2018年7月14日至7月17日于英国牛津举行的第34届逻辑编程国际会议(ICLP 2018)上提交的论文,20页,LaTeX,16幅图