Department of Computer Science University of Texas at Dallas, Richardson, TX 75080;
机译:灵活的调控逻辑编程
机译:归纳逻辑编程的理论视角
机译:配合谓词的表达逻辑
机译:通过协和逻辑编程实现谓词答案集编程
机译:协同程序验证。
机译:通过链接到书目搜索来扩展诊断决策支持程序的功能:在快速医学参考(QMR)程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
机译:朝向谓词答案集编程通过调控逻辑编程