摘要: Logic Programming Update Languages have been proposed as extensions of logic programming that allow specifying and reasoning about knowledge bases where both extensional knowledge (facts) as well as intentional knowledge (rules) m... 展开
作者 | Jose Julio Alferes Alfredo Gabaldon Joao Leite | ||
---|---|---|---|
作者单位 | |||
文集名称 | Logic programming, knowledge representation, and nonmonotonic reasoning : Essays dedicated to Michael Gelfond on the occasion of his 65th birthday | ||
出版年 | 2011 | ||
会议名称 | Symposium on constructive mathematics in computer science | ||
页码 | p.193-212 | 开始页/总页数 | 193 / 20 |
会议日期/会议地点 | 20101025-26 / Lexington, KY(US) | 会议年 | 2010 |
中图分类号 | TP31 | ||
馆藏号 | P1101858 |