标题 |
[高分] Argumentation Reasoning via Circumscription with Pyglaf
基于Pyglaf的限定论证推理
相关领域
限制
论证理论
甲骨文公司
语义推理机
计算机科学
非单调逻辑
语义学(计算机科学)
稳定模型语义
概率论证
答案集编程
理论计算机科学
集合(抽象数据类型)
人工智能
数学
程序设计语言
概率逻辑
认识论
操作语义
哲学
|
网址 | |
DOI | |
其它 |
期刊:Fundamenta informaticae 作者:Mario Alviano 出版日期:2019-06-01 |
求助人 | |
下载 | 该求助完结已超 24 小时,文件已从服务器自动删除,无法下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|