搜索历史记录选项已关闭,请开启搜索历史记录选项。
作者: Jürgen Dix
DOI:
关键词:
摘要:
暂无可下载资源,当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
JICSLP,1996, 引用: 4
non-monotonic reasoning,2002, 引用: 18
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data,2011, 引用: 16
international workshop on extensions of logic programming,1996, 引用: 12
Ai Communications,1997, 引用: 27
Ai Communications,2000, 引用: 17
international conference on logic programming,1997, 引用: 256
Handbook of automated reasoning,2001, 引用: 53
Fundamenta Informaticae,1995, 引用: 146
international conference on logic programming,2006, 引用: 0