University of Alberta (Canada).;
机译:67(受邀)线性规划,以考虑繁殖限制而评估生殖效率和有性精液的经济性。
机译:支持向量归纳逻辑编程的性能优于朴素贝叶斯分类器和归纳逻辑编程,可用于生物活性化合物的分类
机译:从原型到生产的可编程逻辑-对于广泛的便携式应用,可编程逻辑可满足您的需求
机译:具有凸约束的二次程序的最优特征。在传感器数据融合中的应用
机译:弥合基于古典逻辑的形式主义与逻辑程序之间的鸿沟
机译:通过链接到书目搜索来扩展诊断决策支持程序的功能:在快速医学参考(QMR)程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
机译:具有结构化背景知识的学习逻辑程序☆☆本文的扩展摘要发表在:L.De Raedt(Ed。),第五届国际归纳逻辑编程研讨会论文集,日本东京,1995年,第53-76页,鲁汶大学(Keholieke Leuven)计算机科学系的科学报告,以及会议后论文集:L.De Raedt(Ed。),归纳逻辑程序设计进展,IOS出版社,阿姆斯特丹/欧姆沙,东京,1996年,第pp。 172–191。
机译:具有公平约束的petri网线性时态逻辑性质模型检验。