一阶逻辑扩展的模型修正推理
人工智能
2014-05-19 v1
摘要
我是 Joachim Jansen，这是我的研究摘要，作为我申请 ICLP'14 博士研讨会的一部分。我是鲁汶大学计算机科学系声明式语言与人工智能 (DTAI) 组下属的知识表示与推理 (KRR) 研究组的博士生。我于 2012 年 9 月开始攻读博士学位。我的导师是 Gerda Janssens 教授博士工程师，联合导师是 Marc Denecker 教授博士。可以通过 [email protected] 或以下地址联系我：比利时 Heverlee 3001 Celestijnenlaan 200A 房间 01.167。这是被接受在第 30 届国际逻辑编程会议 (ICLP 2014) 博士研讨会上展示的论文的扩展摘要/完整版本，会议将于 7 月 19-22 日在奥地利维也纳举行。
引用
@article{arxiv.1405.4206,
title = {Model revision inference for extensions of first order logic},
author = {Joachim Jansen},
journal= {arXiv preprint arXiv:1405.4206},
year = {2014}
}