×
马库斯·科洛奇；塞巴斯蒂安·鲁道夫；帕斯卡·希茨勒

霍恩描述逻辑的复杂性。 （英语） 兹比尔1353.68268

ACM事务处理。计算。日志。 14，第1号，第2条，36页（2013年）.

引用于6文件

MSC公司：

68T27型 人工智能中的逻辑
65年第68季度 算法和问题复杂性分析
68立方英尺 知识表示

关键词：

描述逻辑；喇叭逻辑；计算复杂度
PDF格式BibTeX公司 XML格式引用
\文本{M.Krötzsch}等人，ACM Trans。计算。日志。14，第1号，第2条，36页（2013；Zbl 1353.68268）
全文： DOI程序