机译:格上近似的有充分根据的语义,查询回答和广义普通逻辑程序
PRiSM (CNRS UMR 8144), Universite de Versailles Saint Quentin, 45 Avenue des Etats-Unis, 78035 Versailles, France;
rnI.S.T.I. C.N.R., Via G. Moruzzi, 1, 56124 Pisa, Italy;
logic programming; nonmonotonic logic; many-valued logic;
机译:用于扩展逻辑编程的论证语义的参数化层次结构及其在充分依据的语义中的应用
机译:完善的语义下可废逻辑和逻辑程序之间的可定义性
机译:具有聚合的答案集程序的毫无根据的集和有充分根据的语义
机译:具有不确定性的正常逻辑计划中的良好的语义
机译:SLG-WAM:一种搜索有效的引擎,用于对常规逻辑程序进行有根据的评估。
机译:可编程电位:粗略逻辑的近似N体电位
机译:格上近似的有充分根据的语义,查询回答和广义普通逻辑程序
机译:逻辑程序的广义析取精心设计语义。