机译:逻辑程序相对于支持模型的超等价
Department of Computer Science, University of Kentucky, Lexington, KY 40506-0046, USA;
Institut fuer Informationssysteme 184/2, Technische Universitaet Wien, Favoritenstrasse 9-11, 1040 Vienna, Austria;
hyperequivalence; logic programs; supported models;
机译:用于模块化编程的逻辑程序的相对超等价
机译:SLDNF解析度与窄化的组合,用于一般逻辑程序,并带有关于扩展的,有充分依据的模型的方程式
机译:关于三值稳定模型语义的非逻辑推导中通用逻辑程序的完善且完整的过程
机译:逻辑计划与支持模型的过度低估
机译:使用逻辑模型评估对学生运动员学术支持服务部门进行的计划评估。
机译:RET支持的逻辑门组合库可实现智能逻辑功能的建模和实现
机译:逻辑程序相对于支持模型的超等价
机译:铀资源模型研究。第四部分。逻辑:构建遗传地质模型集成逻辑电路的计算机图形程序。进度报告