机译:用Clark完成的析取逻辑程序扩展Weil建立的语义
Umea Univ, Dept Comp Sci, S-90187 Umea, Sweden;
Univ Las Amer Puebla, Dept Actuaria Fis & Matemat, Sta Catarina Martir, Cholula 72820, PUE, Mexico;
机译:借助Clark完成的析取逻辑程序,扩展了完善的语义学
机译:Weil为语义网中的描述逻辑程序创建的语义
机译:逻辑逻辑编程模板程序:操作语义
机译:具有广义原子的逻辑程序的Weil建立的语义的多项式逼近:案例研究
机译:逻辑逻辑程序设计研究
机译:通过链接到书目搜索来扩展诊断决策支持程序的功能:在快速医学参考(QMR)程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
机译:Clark完成monadic程序和查询的完成语义的可判定性