Model Reconciliation in Logic Programs
Model Reconciliation in Logic Programs
复制标题
逻辑程序中的模型协调
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Yeoh, William
中科院分区：
文献类型：
--
作者：
Son, Tran Cao;Nguyen, Van;Vasileiou, Stylianos Loukas;Yeoh, William
登录
查看更多内容
使用答案集编程进行可解释的规划
DOI：
--
发表时间：
2020
期刊：
International Conference on Principles of Knowledge Representation and Reasoning (
影响因子：
--
作者：
Nguyen, Van;Vasileiou, Stylianos L;Son, Tran C;Yeoh, W
通讯作者：
Yeoh, W
基于逻辑程序的更新
DOI：
10.1145/1149114.1149115
发表时间：
2006
期刊：
ACM Trans. Comput. Log.
影响因子：
--
作者：
Yan Zhang
通讯作者：
Yan Zhang
关于利用命中集进行模型协调
DOI：
--
发表时间：
2021
期刊：
Proceedings of the AAAI Conference on Artificial Intelligence (AAAI
影响因子：
--
作者：
Vasileiou, Stylianos Loukas;Previti, Alessandro;Yeoh, William
通讯作者：
Yeoh, William
通过模型协调处理解释中的模型不确定性和多重性
DOI：
10.1609/icaps.v28i1.13930
发表时间：
2018
期刊：
ArXiv
影响因子：
--
作者：
S. Sreedharan;Tathagata Chakraborti;S. Kambhampati
通讯作者：
S. Kambhampati
通过溯因更新扩展逻辑程序
影响因子：
13.3
作者：
Chiaki Sakama;Katsumi Inoue
通讯作者：
Katsumi Inoue