Answer set programming; Epistemic specifications; Modal logic s5; Stable models; Answer sets; World views; Autoepistemic equilibrium models;
机译:使用答案集和认知逻辑编程确定条带中的动作可逆性
机译:在答案集编程中评估认知否定
机译:答案集和答案集编程语言
机译:高度等效的认知答案集程序
机译:用概率答案集编程进行推理和学习
机译:在线公民科学项目中的认知文化:程序反程序和认知主题
机译:使用答案集编程解决八卦问题:认知计划方法
机译:减少我们的无知:寻找软件系统某些认知问题的答案