The Pennsylvania State University.;
机译:抽象逻辑,逻辑映射和逻辑同态
机译:Abstract代数逻辑中的扩展属性和子二号表示
机译:2014年符号逻辑逻辑集体讨论会欧洲夏季会议'14维也纳,奥地利2014年7月14日至19日摘要(2015年第21卷,第85页)
机译:模糊逻辑的抽象方法:含义半线性逻辑
机译:使用归纳逻辑编程将英语句子与抽象含义表示图对齐
机译:通过Toffoli量子门的经典逻辑整体型扩展
机译:具有结构化背景知识的学习逻辑程序☆☆本文的扩展摘要发表在:L.De Raedt(Ed。),第五届国际归纳逻辑编程研讨会论文集,日本东京,1995年,第53-76页,鲁汶大学(Keholieke Leuven)计算机科学系的科学报告,以及会议后论文集:L.De Raedt(Ed。),归纳逻辑程序设计进展,IOS出版社,阿姆斯特丹/欧姆沙,东京,1996年,第pp。 172–191。