In this paper we define a compositional semantics for a generalized composition operator on logic programs. Static and dynamic inheritance as well as composition by union of clauses can all be obtained by specializing the general operator. The semantics is based on the notion of
在本文中,我们为逻辑程序上的广义组合运算符定义了组合语义。静态和动态继承以及通过子句并集的组合都可以通过使通用运算符专门化来获得。语义基于
机译:基于串联负负差分电阻器件的受控猝灭的可编程逻辑门的逻辑综合和电路建模
机译:基于串联负负差分电阻器件的受控猝灭的可编程逻辑门的逻辑综合和电路建模
机译:微分代数程序的微分代数动态逻辑
机译:关于差分专用归纳逻辑程序设计
机译:弥合基于古典逻辑的形式主义与逻辑程序之间的鸿沟
机译:通过链接到书目搜索来扩展诊断决策支持程序的功能:在快速医学参考(QMR)程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
机译:微分代数程序的微分代数动态逻辑
机译:随机混合程序的随机微分动态逻辑