机译:用于扩展逻辑编程的论证语义的参数化层次结构及其在充分依据的语义中的应用
Camlec Software GmbH, An den Treptowers 1, 12435 Berlin, Germany;
non-monotonic reasoning; extended logic programming; argumentation semantics; well-founded semantics with explicit negation;
机译:借助Clark完成的析取逻辑程序,扩展了完善的语义学
机译:具有动态首选项的扩展逻辑程序的完善语义
机译:完善的语义下可废逻辑和逻辑程序之间的可定义性
机译:语义网中描述逻辑程序的完善语义
机译:对可靠且稳定的逻辑编程语义的研究。
机译:将i2b2扩展到EHR语义抽象的框架中以促进Health IT应用程序的快速开发和可移植性
机译:扩展逻辑的参数化语义层次结构 编程及其在有根本语义学中的应用