×

找到7个文档（结果1-7）

最新 引文 相关性
亚历山德罗·阿塔尔;罗马人孔查科夫;Alisa Kovtunova;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫，迈克尔

二维时间本体论中介查询的一阶可重写性和复杂性。 （英语） Zbl 07639820号

J.阿蒂夫。智力。研究（JAIR） 75, 1223-1291 (2022).
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{A.Artale}等人，J.Artif。智力。研究（JAIR）75，1223--1291（2022；Zbl 07639820）
全文： 内政部 arXiv公司
亚历山德罗·阿塔尔;罗马人孔查科夫;Alisa Kovtunova;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫，迈克尔

线性时态逻辑中本体中介查询的一阶可重写性。 （英语） Zbl 1520.68182号

Artif公司。智力。 299，文章ID 103536，30 p.（2021）.
MSC公司：68T27型 03B44号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Artale}等人，Artif。智力。299，文章ID 103536，30 p.（2021；Zbl 1520.68182）
全文： 内政部 arXiv公司
埃琳娜·博托埃娃;鲍里斯·科涅夫;卡斯滕·卢茨;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫，迈克尔

描述逻辑本体论的不可分割性和保守扩展：综述。 （英语） Zbl 1358.68282号

Pan，Jeff Z.（编辑）等人，《推理网络》。知识图构建和查询回答的逻辑基础。2016年第12届国际暑期学校，英国阿伯丁，2016年9月5日至9日。辅导讲座。查姆：施普林格（ISBN 978-3-319-49492-0/pbk；978-3-3169-49493-7/电子书）。计算机科学讲座笔记9885，27-89（2017）。
MSC公司：68立方英尺 68T27型 68-02
PDF格式BibTeX公司 XML格式引用
\textit{E.Botoeva}等人，Lect。注释计算。科学。9885，27-89（2017；Zbl 1358.68282）
全文： 内政部 arXiv公司
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;扎卡里亚舍夫，迈克尔

带有描述逻辑的时间概念数据建模食谱。 （英语） Zbl 1354.68245号

ACM事务处理。计算。日志。 第15号第3条第25条第50页（2014年）.
MSC公司：68T27型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Artale}等人，ACM翻译。计算。日志。15，第3号，第25条，50页（2014；Zbl 1354.68245）
全文： 内政部 arXiv公司 链接
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;扎卡里亚舍夫，迈克尔

为时序概念模型的推理量身定制时序描述逻辑。 （英语） 兹比尔1348.68235

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，1-11（2011）。
MSC公司：68T27型 第68页，共15页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Artale}等人，Lect。注释计算。科学。6989，1--11（2011；Zbl 1348.68235）
全文： 内政部 链接
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;扎卡里亚舍夫，迈克尔

DL-Lite具有时间化的概念、严格的公理和角色。 （英语） 兹比尔1193.68232

Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。人工智能课堂讲稿，133-148（2009）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Artale}等人，Lect。注释计算。科学。5749、133--148（2009年；Zbl 1193.68232）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件