波利斯·寇涅夫
人员信息
附属: 英国利物浦大学
SPARQL查询
优化列表
2020年–今天
2023 [公元62年] 玛丽·福廷 , 波利斯·寇涅夫 , 弗拉迪斯拉夫·里日科夫 , 尤里·萨瓦泰耶夫 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
LTL本体中介的时间查询的逆向工程。 国际JCAI 2023 : 3230-3238 [第61条] 乔治·汉纳 , 特里·佩恩 , 瓦伦蒂娜A.M.塔玛 , 安德鲁·米切尔 , 埃伦·皮尔西 , 波利斯·寇涅夫 :
从XML文档半自动生成科学知识图的方法。 OM@ISWC 2023 : 85-90 [i11] 玛丽·福廷 , 波利斯·寇涅夫 , 弗拉迪斯拉夫·里日科夫 , 尤里·萨瓦泰耶夫 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
LTL本体中介的时间查询的逆向工程。 CoRR公司 abs/2305.01248 ( 2023 ) 2022 [公元60年] 玛丽·福廷 , 波利斯·寇涅夫 , 弗拉迪斯拉夫·里日科夫 , 尤里·萨瓦泰耶夫 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
具有和不具有LTL本体的时间查询的逆向工程:第一步(扩展抽象)。 描述逻辑 2022 [公元59年] 玛丽亚姆·阿尔马瓦尼 , 波利斯·寇涅夫 , 阿列克谢·利西萨 :
加密数据库查询的零更新加密调整。 ICISSP(修订论文集) 2022 : 25-47 [公元58年] 玛丽亚姆·阿尔马瓦尼 , 波利斯·寇涅夫 , 阿列克谢·利西萨 :
JSON数据的高效安全加密调整。 ICISSP公司 2022 : 307-313 [公元57年] 玛丽·福廷 , 波利斯·寇涅夫 , 弗拉迪斯拉夫·里日科夫 , 尤里·萨瓦泰耶夫 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
时态实例查询的独特特性和可学习性。 韩国 2022 [公元56年] 玛丽·福廷 , 波利斯·寇涅夫 , 弗兰克·沃尔特 :
描述逻辑EL扩展中的插值和显式定义。 韩国 2022 [电子11] 波利斯·寇涅夫 , 克劳迪娅·肖恩 , 亚历山大·斯汀 :
与第十一届国际自动推理联合会议(FLoC/IJCAR 2022)合办的自动推理实践方面研讨会会议记录,以色列海法,2022年8月11日至12日。 CEUR研讨会记录 3201, CEUR-WS.org公司 2022 [目录] [i10] 玛丽·福廷 , 波利斯·寇涅夫 , 弗兰克·沃尔特 :
描述逻辑EL扩展中的插值和显式定义。 CoRR公司 abs/2202.07186 ( 2022 ) [第九章] 玛丽·福廷 , 波利斯·寇涅夫 , 弗拉迪斯拉夫·里日科夫 , 尤里·萨瓦泰耶夫 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
时态实例查询的独特特性和可学习性。 CoRR公司 腹肌/2205.01651 ( 2022 ) [i8] 玛丽亚姆·阿尔马瓦尼 , 波利斯·寇涅夫 , 阿列克谢·利西萨 :
基于密文策略属性加密的数据查询。 CoRR公司 abs/2209.15103 ( 2022 ) 2021 [公元55年] 玛丽·福廷 , 波利斯·寇涅夫 , 弗兰克·沃尔特 :
Horn描述逻辑中的插值和显式定义(扩展抽象)。 描述逻辑 2021 [公元54年] 玛丽亚姆·阿尔马瓦尼 , 波利斯·寇涅夫 , 阿列克谢·利西萨 :
MongoDB查询处理中的Release-aware In-out Encryption Adjustment。 ICISSP公司 2021 : 714-722 [电子10] 波利斯·寇涅夫 , 贾尔斯·雷格尔 :
联合系统的前沿——第13届国际研讨会,FroCoS 2021,英国伯明翰,2021年9月8日至10日,会议记录。 计算机科学课堂讲稿 12941, 施普林格 2021 ,国际标准图书编号 978-3-030-86204-6 [目录] 2020 [公元53年] 玛丽亚姆·阿尔马瓦尼 , 波利斯·寇涅夫 , 阿列克谢·利西萨 :
文档数据库的Release-Aware加密调整查询处理。 国际商业银行 2020 : 48-51
2010 – 2019
2019 [第52条] 萨阿德·阿拉伊兰 , 弗兰斯·科宁 , 波利斯·寇涅夫 , 安格罗什·曼迪亚 :
从推特数据中学习本体。 KEOD公司 2019 : 94-103 [第51条] 玛丽亚姆·阿尔马瓦尼 , 波利斯·寇涅夫 , 阿列克谢·利西萨 :
查询加密文档导向数据库的细粒度访问控制。 ICISSP(修订论文集) 2019 : 403-425 [公元50年] 玛丽亚姆·阿尔马瓦尼 , 波利斯·寇涅夫 , 阿列克谢·利西萨 :
基于文档的数据库对加密数据的灵活访问控制和保密性。 ICISSP公司 2019 : 606-614 2018 [公元49年] 马里奥·里卡多·克鲁斯·杜阿尔特 , 波利斯·寇涅夫 , 安娜·奥扎基 :
EL本体论的精确学习。 描述逻辑 2018 [公元48年] 马里奥·里卡多·克鲁斯·杜阿尔特 , 波利斯·寇涅夫 , 安娜·奥扎基 :
精确学习者:精确学习EL本体的工具。 韩国 2018 : 409-414 [电子9] 波利斯·寇涅夫 , 约瑟夫·乌尔班 , 菲利普·吕默 :
2018年7月19日,英国牛津,与2018年联邦逻辑会议(FLoC 2018)合办的第六届自动推理实践方面研讨会论文集。 CEUR研讨会记录 2162, CEUR-WS.org公司 2018 [目录] [i7] 埃琳娜·博托埃娃 , 波利斯·寇涅夫 , 卡斯滕·卢茨 , 弗拉迪斯拉夫·里日科夫 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
描述逻辑本体的不可分割性和保守扩展:综述。 CoRR公司 abs/1804.07805 ( 2018 ) 2017 [公元11年] 波利斯·寇涅夫 , 卡斯滕·卢茨 , 安娜·奥扎基 , 弗兰克·沃尔特 :
轻量级描述逻辑本体的精确学习。 J.马赫。 学习。 物件。 18 : 201:1-201:63 ( 2017 ) [i6] 波利斯·寇涅夫 , 卡斯滕·卢茨 , 安娜·奥扎基 , 弗兰克·沃尔特 :
轻量级描述逻辑本体的精确学习。 CoRR公司 abs/1709.07314 ( 2017 ) 2016 [公元47年] 波利斯·寇涅夫 , 安娜·奥扎基 , 弗兰克·沃尔特 :
基于精确学习的描述逻辑本体学习模型。 AAAI公司 2016 : 1008-1015 [公元46年] 波利斯·寇涅夫 , 卡斯滕·卢茨 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
描述逻辑TBox的保守可重写性。 国际JCAI 2016 : 1153-1159 [c45] 波利斯·寇涅夫 , Temur Kutsia公司 :
描述逻辑EL中概念的反统一。 韩国 2016 : 227-236 [公元44年] 埃琳娜·博托埃娃 , 波利斯·寇涅夫 , 卡斯滕·卢茨 , 弗拉迪斯拉夫·里日科夫 , 弗兰克·沃尔特 , 迈克尔·扎哈里亚舍夫 :
描述逻辑本体的不可分割性和保守扩展:综述。 RW公司 2016 : 27-89 [电子8] 波利斯·寇涅夫 , 斯蒂芬·舒尔茨 , 劳伦特·西蒙 :
IWIL@LPAR 2015年11月23日,第十一届物流实施国际研讨会,斐济苏瓦。 EPiC计算系列 40, 轻松头发 2016 [目录] 2015 [公元10年] 波利斯·寇涅夫 , 阿列克谢·利西萨 :
Erdő差异特性的计算机辅助证明。 Artif公司。 智力。 224 : 103-118 ( 2015 ) [公元43年] 波利斯·寇涅夫 , 卡斯滕·卢茨 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
描述逻辑TBoxes的保守可重写性:第一个结果。 描述逻辑 2015 [公元42年] 波利斯·寇涅夫 , 安娜·奥扎基 , 弗兰克·沃尔特 :
从数据检索示例中精确学习描述逻辑本体。 描述逻辑 2015 [公元41年] 理查德·威廉姆斯 , 波利斯·寇涅夫 , 弗兰斯·科宁 :
使用微型飞行器进行可扩展的分布式协作跟踪和绘图。 IROS公司 2015 : 3092-3097 [公元40年] 理查德·威廉姆斯 , 波利斯·寇涅夫 , 弗兰斯·科宁 :
合作低成本微型飞行器:演示。 芋头 2015 : 296-302 [电子7] 斯蒂芬·舒尔茨 , 莱昂纳多·德·莫拉 , 波利斯·寇涅夫 :
第四届自动推理实践研讨会, IJCAR的PAAR 2014年,奥地利维也纳,2014年。 EPiC计算系列 31, 轻松头发 2015 [目录] [电子6] 迭戈·卡尔瓦内斯 , 波利斯·寇涅夫 :
第28届描述逻辑国际研讨会论文集,希腊雅典,2015年6月7日至10日。 CEUR研讨会记录 1350, CEUR-WS.org公司 2015 [目录] 2014 [公元39年] 威廉·盖茨 , 波利斯·寇涅夫 , 弗兰克·沃尔特 :
描述逻辑本体耗尽模的上下近似。 描述逻辑 2014 : 181-184 [公元38年] 威廉·盖茨 , 波利斯·寇涅夫 , 弗兰克·沃尔特 :
描述逻辑本体耗尽模的上下近似。 ECAI公司 2014 : 345-350 [公元37年] 波利斯·寇涅夫 , 卡斯滕·卢茨 , 安娜·奥扎基 , 弗兰克·沃尔特 :
轻量级描述逻辑本体的精确学习。 韩国 2014 [公元36年] 米歇尔·路德维希 , 波利斯·寇涅夫 :
ALC T盒的实用统一插值和遗忘及其在逻辑差分中的应用。 韩国 2014 [公元35年] 波利斯·寇涅夫 , 阿列克谢·利西萨 :
SAT攻击了Erd的差异猜想。 坐 2014 : 219-226 [公元34年] 理查德·威廉姆斯 , 波利斯·寇涅夫 , 弗兰斯·科宁 :
使用AR.Drones进行多智能体环境探索。 塔罗斯 2014 : 60-71 [i5] 波利斯·寇涅夫 , 米歇尔·路德维希 , 德克·沃尔特 , 弗兰克·沃尔特 :
轻量级描述逻辑EL的逻辑差异。 CoRR公司 abs/1401.5850 ( 2014 ) [i4] 波利斯·寇涅夫 , 阿列克谢·利西萨 :
对鄂尔多斯差异推测的SAT攻击。 CoRR公司 abs/1402.2184 ( 2014 ) [i3] 波利斯·寇涅夫 , 阿列克谢·利西萨 :
鄂尔多斯差异性质的计算机辅助证明。 CoRR公司 abs/1405.3097 ( 2014 ) 2013 [公元9年] 波利斯·寇涅夫 , 卡斯滕·卢茨 , 德克·沃尔特 , 弗兰克·沃尔特 :
描述逻辑本体的模型理论不可分割性和模块性。 Artif公司。 智力。 203 : 66-103 ( 2013 ) [j8] 克莱尔·狄克逊 , 波利斯·寇涅夫 , 迈克尔·菲希尔 , 谢利·尼蒂亚迪 :
带约束的演绎时间推理。 J.应用。 日志。 11 ( 1 ) : 30-51 ( 2013 ) [公元33年] 理查德·威廉姆斯 , 波利斯·寇涅夫 :
命题时间证明与SAT问题的约简。 CADE公司 2013 : 421-435 [公元32年] 波利斯·寇涅夫 , 卡斯滕·卢茨 , 弗兰克·沃尔特 :
EL和DL-Lite中TBox的精确学习。 描述逻辑 2013 : 341-352 [公元31年] 米歇尔·路德维希 , 波利斯·寇涅夫 :
ALC T盒的实用统一插值和遗忘。 描述逻辑 2013 : 377-389 [公元30年] 威廉·盖茨 , 波利斯·寇涅夫 , 弗兰克·沃尔特 :
非循环本体的模块提取。 WoMO公司 2013 2012 [j7] 波利斯·寇涅夫 , 米歇尔·路德维希 , 德克·沃尔特 , 弗兰克·沃尔特 :
轻量级描述逻辑EL的逻辑差异。 J.阿蒂夫。 智力。 物件。 44 : 633-708 ( 2012 ) [公元29年] 波利斯·寇涅夫 , 米歇尔·路德维希 , 弗兰克·沃尔特 :
使用CEX2.5进行逻辑差分计算。 IJCAR公司 2012 : 371-377 [公元28年] 克莱尔·狄克逊 , 波利斯·寇涅夫 , 雷娜特·施密特 , 德米特里·蒂什科夫斯基 :
具有基数约束的时态逻辑的标签表。 SYNASC公司 2012 : 111-118 [公元27年] 阿米尔·尼克纳夫斯·科尔马尼 , 波利斯·寇涅夫 , 迈克尔·菲希尔 :
对称时间定理证明。 时间 2012 : 21-28 [电子5] 雷娜特·施密特 , 斯蒂芬·舒尔茨 , 波利斯·寇涅夫 :
2010年7月14日,英国苏格兰爱丁堡,PAAR-2010,第二届自动推理实践方面研讨会论文集。 EPiC计算系列 9, 轻松头发 2012 [目录] 2011 [公元26年] 波利斯·寇涅夫 , 罗曼·孔查科夫 , 米歇尔·路德维希 , 托马斯·施奈德 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
OWL 2 QL TBoxes的连接查询不可分割性。 AAAI公司 2011 : 221-226 [公元25年] 波利斯·寇涅夫 , 罗曼·孔查科夫 , 米歇尔·路德维希 , 托马斯·施奈德 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
OWL 2 QL中通过查询不可分割性提取模块。 描述逻辑 2011 2010 [j6] 波利斯·寇涅夫 , 雷娜特·施密特 , 斯蒂芬·舒尔茨 :
关于自动推理实际方面的专题。 AI社区。 23 ( 2-3 ) : 67-68 ( 2010 ) [公元24年] 波利斯·寇涅夫 , 卡斯滕·卢茨 , 丹尼斯·波诺马利夫 , 弗兰克·沃尔特 :
分解描述逻辑本体。 韩国 2010
2000 – 2009
2009 【c23】 波利斯·寇涅夫 , 德克·沃尔特 , 弗兰克·沃尔特 :
描述逻辑EL扩展中的遗忘和统一插值。 描述逻辑 2009 [公元22年] 克莱尔·狄克逊 , 迈克尔·菲希尔 , 波利斯·寇涅夫 :
缓和时间认知推理的复杂性。 FroCoS公司 2009 : 198-213 【c21】 波利斯·寇涅夫 , 德克·沃尔特 , 弗兰克·沃尔特 :
大尺度描述逻辑术语中的遗忘和统一插值。 国际JCAI 2009 : 830-835 [第2页] 波利斯·寇涅夫 , 卡斯滕·卢茨 , 德克·沃尔特 , 弗兰克·沃尔特 :
模块化的形式属性。 模块化本体 2009 : 25-66 [第1页] 迈克尔·菲希尔 , 波利斯·寇涅夫 , 阿列克谢·利西萨 :
容错协议的时间验证。 容错方法、模型和工具 2009 : 44-56 2008 [公元20年] 波利斯·寇涅夫 , 德克·沃尔特 , 弗兰克·沃尔特 :
描述逻辑术语的逻辑差异问题。 IJCAR公司 2008 : 259-274 [第19条] 波利斯·寇涅夫 , 卡斯滕·卢茨 , 德克·沃尔特 , 弗兰克·沃尔特 :
使用CEX和MEX进行逻辑差异和模块提取。 描述逻辑 2008 [第18条] 波利斯·寇涅夫 , 卡斯滕·卢茨 , 德克·沃尔特 , 弗兰克·沃尔特 :
描述逻辑中的语义模块化和模块提取。 ECAI公司 2008 : 55-59 [第17条] 波利斯·寇涅夫 , 卡斯滕·卢茨 , 德克·沃尔特 , 弗兰克·沃尔特 :
CEX和MEX:OWL片段中的逻辑差异和基于逻辑的模块提取。 OWLED(弹簧) 2008 [第16条] 克莱尔·狄克逊 , 迈克尔·菲希尔 , 波利斯·寇涅夫 , 阿列克谢·利西萨 :
实用的一阶时间推理。 时间 2008 : 156-163 [电子4] 波利斯·寇涅夫 , 雷娜特·施密特 , 斯蒂芬·舒尔茨 :
2008年8月10日至11日,澳大利亚悉尼,第一届自动推理实践方面国际研讨会论文集。 CEUR研讨会记录 373, CEUR-WS.org公司 2008 [目录] [电子3] 彼得罗·鲁德尼基 , 杰夫·萨特克利夫 , 波利斯·寇涅夫 , 雷娜特·施密特 , 斯蒂芬·舒尔茨 :
2008年11月22日,卡塔尔多哈,LPAR 2008年研讨会会议记录,《知识交流:自动证明人和证明助理》,以及第七届物流实施国际研讨会。 CEUR研讨会记录 418, CEUR-WS.org公司 2008 [目录] 2007 [第15条] 克莱尔·狄克逊 , 迈克尔·菲希尔 , 波利斯·寇涅夫 :
具有容量限制的时序逻辑。 FroCoS公司 2007 : 163-177 [第14条] 克莱尔·狄克逊 , 迈克尔·菲希尔 , 波利斯·寇涅夫 :
可牵引时间推理。 国际JCAI 2007 : 318-323 [电子2] 波利斯·寇涅夫 , 弗兰克·沃尔特 :
《组合系统的前沿》,第六届国际研讨会,FroCoS 2007,英国利物浦,2007年9月10日至12日,会议记录。 计算机科学课堂讲稿 4720, 施普林格 2007 ,国际标准图书编号 978-3-540-74620-1 [目录] [i2] 克莱尔·狄克逊 , 迈克尔·菲希尔 , 波利斯·寇涅夫 , 阿列克谢·利西萨 :
无限状态系统的高效一阶时序逻辑。 CoRR公司 abs/cs/0702036 ( 2007 ) 2006 [j5] 波利斯·寇涅夫 , 罗曼·孔查科夫 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
关于动态拓扑和度量逻辑。 Stud Logica公司 84 ( 1 ) : 129-160 ( 2006 ) 【j4】 安纳托利·德吉亚列夫 , 迈克尔·菲希尔 , 波利斯·寇涅夫 :
单声道时间分辨率。 ACM事务处理。 计算。 日志。 7 ( 1 ) : 108-150 ( 2006 ) [第13条] 波利斯·寇涅夫 , 罗曼·孔查科夫 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
连续函数空间上的动态拓扑逻辑。 模态逻辑的进展 2006 : 299-318 [第12条] 波利斯·寇涅夫 , 亚历山大·利亚列茨基 :
直觉逻辑的自由变量Tableau方法。 智能信息系统 2006 : 153-162 [第11条] 亚历山大·利亚列茨基 , 波利斯·寇涅夫 :
论赫伯兰直觉逻辑定理。 杰莉亚 2006 : 293-305 [第10条] 克莱尔·狄克逊 , 迈克尔·菲希尔 , 波利斯·寇涅夫 :
演绎时间验证有前途吗? 时间 2006 : 11-18 [电子1] 迈克尔·菲希尔 , 威比·范德霍克 , 波利斯·寇涅夫 , 阿列克谢·利西萨 :
人工智能中的逻辑,第十届欧洲会议,JELIA 2006,英国利物浦,2006年9月13日至15日,会议记录。 计算机科学课堂讲稿 4160, 施普林格 2006 ,国际标准图书编号 3-540-39625-X型 [目录] 2005 [j3] 波利斯·寇涅夫 , 安纳托利·德吉亚列夫 , 克莱尔·狄克逊 , 迈克尔·菲希尔 , 乌尔里希·赫斯塔特 :
机械化一阶时间分辨率。 Inf.计算。 199 ( 1-2 ) : 55-86 ( 2005 ) [注2] 卡门·费尔南德斯·加戈 , 乌尔里希·赫斯塔特 , 克莱尔·狄克逊 , 迈克尔·菲希尔 , 波利斯·寇涅夫 :
实践中的一阶时间验证。 J.汽车。 原因。 34 ( 三 ) : 295-321 ( 2005 ) 【c9】 波利斯·寇涅夫 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
过渡状态上的时间逻辑。 CADE公司 2005 : 182-203 【c8】 乌尔里希·赫斯塔特 , 波利斯·寇涅夫 , 雷娜特·施密特 :
通过时间分辨率确定单子片段。 CADE公司 2005 : 204-218 【c7】 迈克尔·菲希尔 , 波利斯·寇涅夫 , 阿列克谢·利西萨 :
基于时间推理的实用无限状态验证。 VISSAS公司 2005 : 91-100 2004 【c6】 乌尔里希·赫斯塔特 , 波利斯·寇涅夫 , 亚历山大·里扎诺夫 , 安德烈·沃伦科夫 :
TeMP:一个时间单字验证程序。 IJCAR公司 2004 : 326-330 2003 【c5】 乌尔里希·赫斯塔特 , 波利斯·寇涅夫 :
TRP++2.0:时间分辨率校准器。 CADE公司 2003 : 274-278 【c4】 安纳托利·德吉亚列夫 , 迈克尔·菲希尔 , 波利斯·寇涅夫 :
单声道时间分辨率。 CADE公司 2003 : 397-411 【c3】 波利斯·寇涅夫 , 阿纳托利·德吉亚列夫 , 迈克尔·菲希尔 :
处理单声道时间分辨率中的相等性。 LPAR公司 2003 : 214-228 【c2】 波利斯·寇涅夫 , 安纳托利·德吉亚列夫 , 克莱尔·狄克逊 , 迈克尔·菲希尔 , 乌尔里希·赫斯塔特 :
朝向实现一阶时间分辨率:扩展域案例。 时间 2003 : 72-82 [i1] 安纳托利·德吉亚列夫 , 迈克尔·菲希尔 , 波利斯·寇涅夫 :
单声道时间分辨率。 CoRR公司 反恐精英。 LO/0306041 ( 2003 ) 2002 【c1】 安纳托利·德吉亚列夫 , 迈克尔·菲希尔 , 波利斯·寇涅夫 :
命题线性时间-时间逻辑的一个简化子句解析过程。 TABLEAUX公司 2002 : 85-99 2001 [j1] 叶夫根尼·丹钦 , 迈克尔·加夫里洛维奇 , 爱德华·赫施 , 波利斯·寇涅夫 :
MAX SAT近似超出多项式时间近似的限制。 Ann.纯粹应用。 日志。 113 ( 1-3 ) : 81-94 ( 2001 )