G'3-Stable Semantics and Inconsistency
[摘要] We present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. In particular, we show that one can define a logic programmi...
[发布日期] [发布机构]
[效力级别] [学科分类] 电子、光学、磁材料
[关键词] G'3-stable semantics;Logic Programming;Non-Monotonic Reasoning. [时效性]
