用公理概率的线性约束扩展描述逻辑EL++
摘要
出版物: -
arXiv电子打印 发布日期: 2019年8月 内政部: -
10.48550/arXiv.1908.10405 arXiv: -
arXiv:1908.10405 书目代码: -
2019arXiv190810405F 关键词: -
计算机科学——计算机科学中的逻辑; 计算机科学-人工智能; 03B70; 03B48; I.2.4; F.4.1; G.3公司
电子打印: 这部作品的早期版本出现在弗兰兹·巴德的节日上。 这里我们详细介绍了列生成方法,并给出了一个详细的示例