×

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

最新的 引文 关联
亚历山德罗·阿塔尔;罗马人孔查科夫;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 1351.68263号

Artif公司。智力。 234, 78-119 (2016).
MSC公司：68T27型 2017年第68季度 65年第68季度 68立方英尺 91年43月 91A80
PDF格式BibTeX公司 XML格式引用
\textit{E.Botoeva}等人，Artif。智力。234、78——119（2016；Zbl 1351.68263）
全文： 内政部 链接
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;迈克尔·扎克哈里亚舍夫

带有描述逻辑的时间概念数据建模食谱。 （英语） 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公司 链接
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;迈克尔·扎克哈里亚舍夫

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

Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。2009年9月16日至18日，意大利特伦托，第七届国际研讨会，FroCoS 2009。诉讼程序。柏林：施普林格出版社（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名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件