机译:逻辑编程的逻辑基础II:通用逻辑程序的语义
机译:更多表达性时态逻辑编程语言的逻辑基础
机译:加权不可行逻辑编程的最大理想递归语义的形式化和逻辑属性
机译:描述逻辑程序的逻辑语义
机译:客观性,逻辑性和科学正义性:以卡纳普的“世界的逻辑结构”为例(逻辑实证主义,基金会主义,维也纳循环,科学统一,分析哲学)。
机译:通过链接到书目搜索来扩展诊断决策支持程序的功能:在快速医学参考(QMR)程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
机译:逻辑编程的逻辑基础II:通用逻辑程序的语义