...
机译:Eclingo:认知逻辑计划的一个求解器
Univ A Coruna La Coruna Spain;
Univ Potsdam Potsdam Germany;
Univ A Coruna La Coruna Spain;
Univ Potsdam Potsdam Germany;
Univ Potsdam Potsdam Germany;
Answer Set Programming; Epistemic Logic Programs; Non-Monotonic Reasoning; Conformant Planning;
机译:SELP:单次认知逻辑计划求解器
机译:并行内存有效的认知逻辑程序求解器:更难,更好,更快
机译:一个并行记忆高效的认知逻辑程序求解器:更难,更好,更快
机译:单次认知逻辑计划解决
机译:在动态认知逻辑中添加时间逻辑。
机译:在线公民科学项目中的认知文化:程序反程序和认知主题
机译:关于认知否定和在认知逻辑计划中的世界观