Regression; Action languages; Incorrect beliefs; Prolog;
机译:BRBCAST:通过扩展因果强度逻辑实现基于规则的系统参数学习的新方法
机译:基于Kleene强逻辑的知识和信念方法
机译:一种基于Informant的逻辑编程的参数强度方法
机译:不一致数据库的集成,修复和查询的逻辑编程方法
机译:一种基于知识的方法,用于诊断涉及可编程逻辑控制器的离散过程。
机译:在断言的回归测试程序中在测试用例优先级中使用模糊逻辑
机译:迭代信仰基础修订:一种动态的认知逻辑方法