搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Laura Giordano , Matteo Baldoni , Alberto Martelli
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
,2001, 引用: 1
,1998, 引用: 36
,1998, 引用: 43
Fundamenta Informaticae,2009, 引用: 10
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming,1996, 引用: 23
Lecture Notes in Computer Science,2006, 引用: 0
european conference on logics in artificial intelligence,2004, 引用: 13
theorem proving with analytic tableaux and related methods,1998, 引用: 38
declarative agent languages and technologies,2005, 引用: 2
Handbook of Modal Logic,2007, 引用: 44
