answer sets for propositional theories
嵌套逻辑程序(Nested Logic Programming) 命题公式的回答集(Answer Sets for Propositional Theories) 一阶回答集编程(First Order Answer Set Programming) ..
基于24个网页-相关网页
answer sets for propositional theories
命题理论的答案集
以上为机器翻译结果，长、整句建议使用 人工翻译 。