博士斯坦尼斯kikot

博士斯坦尼斯kikot是高级讲师 人工智能 用于计算和数字媒体的学校。  

斯坦尼斯kikot

博士斯坦尼斯kikot是人工智能MSC的高级讲师。他之前曾担任牛津大学,在那里他在数据库的查询规划工作的大学的博士后研究员。他也是在伯克贝克学院所花费的时间,他在那里基于本体的数据访问工作。 2006年至2010年,他的确在模态逻辑博士学位,走上了俄罗斯搜索引擎Yandex的工作,所以他的专业知识还包括自动推理,自然语言处理,网页浏览和信息检索。

博士kikot目前的研究兴趣集中在基于逻辑的AI的应用和机器学习的数据管理和数据分析。在伦敦举行会议,他教与人工智能和机器学习模块。

杂志文章:

  • C。汉普森,S。 kikot,一。 kurucz,S。马塞利诺:非有限axiomatisable模产品逻辑与无限的规范axiomatisations。纯粹和应用逻辑的志,171(5):102786(2020)
  • 秒。 kikot,一。 kurucz,Y。田中,F。 WOLTER,米。 zakharyaschev。克里普克在会见半格与运营商的严格正模态逻辑的完整性。符号逻辑杂志,84(2):533-588(2019)
  • 米卞福汝,S。 kikot河。 kontchakov,诉podolskii,米。 zakharyaschev。本体介导的查询:合并的复杂性和的重写的简洁经由电路的复杂性。的ACM杂志,65(5):28:1-28:51(2018)
  • C。汉普森,S。 kikot和。 kurucz。莫代尔产品逻辑有一对角,和错误计数器机器的决策问题。逻集刊,104(3):455-486(2016)。
  • 秒。 kikot。对于一些elementarily产生模态逻辑二分法。逻集刊,103(5):一〇六三年至1093年(2015年)。
  • G。戈特洛布,S。 kikot河。 kontchakov,诉podolskii,T。 schwentick和米。 zakharyaschev。查询的价格在基于本体的数据存取改写。人工智能,213(2014),爱思唯尔,第42-59。
  • 秒。 kikot,E。唑啉。一阶公式的模式可定义与自由变量和查询应答。应用逻辑的轴颈,11(2013),爱思唯尔,第190-216。
  • 秒。页。 kikot”,与尊贵的对角线,数学笔记,2010年,卷88,第2期,261-274页模态逻辑平方公理。
  • 秒。 kikot,KRACHT定理的扩展广义sahlqvist公式。施加的非经典逻辑的轴颈,19/2,2009,227-251。

 

审过的会议论文:

  • 迈克尔·贝内迪克特,斯坦尼斯kikot,彼得·ostropolski-nalewaja,米格尔·罗梅罗:在单调的确定性和可重写的递归查询和意见。出现在吊舱2020:数据库系统,美国波特兰,6月15-19日2020年原则的第39届ACM SIGMOD-SIGACT-sigai研讨会论文集。
  • 秒。 kikot河。 kontchakov,S。 rapisarda和米。 zakharyaschev。 stypes:非递归数据记录改写为线性tgds和结膜查询。在odbase 2018:上本体,数据库和语义,马耳他瓦莱塔,10月23-24日,第一卷的应用第17届国际会议论文集。 LNCS,施普林格,2018的11230。
  • 秒。 kikot,一。 kurucz,F。 WOLTER,米。 zakharyaschev。与S4.3帧严格正模态逻辑。在模态逻辑12前进:第12届会议“在模态逻辑进展”的程序在伯尔尼,瑞士,8月27日至31日,2018年,第427-446保持。
  • O操作。 gerasimova,S。 kikot,诉podolskii,米。 zakharyaschev。更多回答的数据的复杂性本体介导了覆盖公理查询。在2017年kesw:知识工程与语义Web,什切青,波兰,11月8-10日,2017年,第143-158第八届国际会议论文集。
  • 秒。 kikot,一。 kurucz,F。 WOLTER和米。 zakharyaschev。 ALTN在严格正上下文。在2017年TACL:拓扑,代数和类别的逻辑,2017年7月,布拉格第八届国际会议论文集。
  • 米卞福汝,S。 kikot河。 kontchakov,诉podolskii,诉ryzhikov,米。 zakharyaschev。所述的与猫头鹰2 q1和有界树宽查询基于本体的数据访问的复杂性。在2017年的豆荚:数据库系统,美国芝加哥,14-19可2017年,第201-216原则的第36届ACM SIGMOD-SIGACT-sigai研讨会论文集。
  • 米卞福汝,S。 kikot,诉podolskii。树形像猫头鹰2 QL查询:简洁和复杂性的结果。在低收入国家2015:第30届ACM / IEEE专题讨论会在计算机科学,日本京都,7月6-10日,2015年,第317-328逻辑
  • 秒。 kikot河。 kontchakov,诉podolskii和米。 zakharyaschev。在查询的简洁改写过浅本体。在CSL-低收入国家2014:计算机科学逻辑第二十三届eacsl年度会议的联合会议和第二十九届ACM年度/ IEEE专题讨论会在计算机科学,维也纳,奥地利七月14-18日2014年57逻辑。
  • 秒。 kikot,我。 shapirovsky,E。唑啉。在帧过滤安全运行。在模态逻辑10(2014),第333-352进展。
  • 秒。 kikot河。 kontchakov,诉podolskii和米。 zakharyaschev。指数下界和用于查询重写的分离。在一个。 czumaj,K。 mehlhorn,一。皮茨和r。 wattenhofer,编辑,icalp 2012的程序:自动机,语言和编程(华威,7月9-13日),第二部分,LNCS第39卷国际学术讨论会。 7392,第263-274。斯普林格,2012。
  • 秒。 kikot河。 kontchakov和米。 zakharyaschev。联合查询与猫头鹰2 QL回答。在格哈德brewka,托马斯eiter,希拉一个。 mcilraith(编辑):知识表示和推理的原则:第十三届国际会议论文集,KR 2012,罗马,意大利,6月10日至14日,2012。
  • 页。巴尔比亚尼,S。 kikot,对于预接触的逻辑sahlqvist定理。在模态逻辑9,2012年,托马斯bolander,托本布劳纳,西尔维奥吉拉尔迪,和Lawrence苔编,第55-70进展。
  • 秒。 kikot河。 kontchakov和米。 zakharyaschev。多项式联合查询下单目列入依赖改写。以s。鲁道夫和c。古铁雷斯,编辑,2011 RR的程序:对网络推理和规则系统(Galway,爱尔兰29-30 8月),LNCS卷第五次国际会议。 6902,第124-138,2000。施普林格,2011年最佳论文奖。
  • 秒。 kikot。对角公式的模态可定义。在拓扑,代数和类别中的逻辑,2011,马赛,编辑的程序。湖santocanale,N。 olevetti,伊夫·乐峰,页175-178。
  • 秒。 kikot,KRACHT的公式的语义特征。在模态逻辑8.大学出版,2010,第218-234进展。

 

审过的车间论文:

  • O操作。 gerasimova,S。 kikot,米。 zakharyaschev。检查本体介导的查询的数据的复杂性:具有非均匀CSP和polyanna的案例研究。在描述逻辑,理论相结合,并致力于弗兰茨·巴德在他的60岁生日,2019年,页之际一切,散文。329-351。
  • 秒。 kikot,诉ryzhikov页。 walega,米。 zakharyaschev。上的数据的复杂性本体介导
  • 查询与MTL者发生定时的话。在DL 2018的程序:描述逻辑,天普31日国际研讨会,亚利桑那州,2018年10月。
  • 米zakharyaschev,S。 kikot,邻。 gerasimova。对具有覆盖本体介导的查询数据的复杂性分类。在DL 2018的程序:描述逻辑,天普31日国际研讨会,亚利桑那州,2018年10月。
  • O操作。 gerasimova,S。 kikot,诉podolskii,米。 zakharyaschev:在有覆盖公理本体介导的查询的数据的复杂性。在DL 2017年的程序:描述逻辑月30日国际研讨会(蒙彼利埃,法国,7月18日至21日2017)。
  • 米卞福汝,S。 kikot河。 kontchakov,诉ryzhikov,米。 zakharyaschev:对的parametrised复杂的树状结构的本体介导的猫头鹰2 QL查询。在DL 2017年的程序:描述逻辑月30日国际研讨会(蒙彼利埃,法国,7月18日至21日2017)。
  • 米卞福汝,S。 kikot河。 kontchakov,诉ryzhikov,米。 zakharyaschev:线性tgds和有界的(超)树宽度查询最佳非递归数据记录的重写。在DL 2017年的程序:描述逻辑月30日国际研讨会(蒙彼利埃,法国,7月18日至21日2017)。
  • 米卞福汝,S。 kikot河。 kontchakov,诉podolskii,米。 zakharyaschev:用于猫头鹰2 QL本体介导的查询理论上最佳数据记录的重写。在DL 2016程序:描述逻辑第29届国际研讨会(开普敦,4月22-25日2016)。
  • 米卞福汝,S。 kikot和v。podolskii。结合接听树像猫头鹰2 QL查询的复杂性。在2015年DL的程序:描述逻辑(雅典,6月7-10日2015年)第28届国际研讨会。
  • 米卞福汝,S。 kikot和v。podolskii。查询的简洁改写猫头鹰2 QL:树形查询的情况。在DL 2014程序:描述逻辑月27日国际研讨会(维也纳,7月17-21日2014)。
  • 秒。 kikot河。 kontchakov,诉podolskii和米。 zakharyaschev。查询重写过浅本体。在DL 2013的程序:描述逻辑(乌尔姆22-27日),第316-327,ceur车间诉讼,第26届国际研讨会。 1014,2013。
  • 秒。 kikot,d。 tsarkov,米。 zakharyaschev和e。唑啉。第一滴血:通过查询与事实++模式可定义回答。在DL 2013的程序:描述逻辑(乌尔姆22-27日),第328-340,ceur车间诉讼,第26届国际研讨会。 1014,2013。
  • 秒。 kikot河。 kontchakov,诉podolskii和米。 zakharyaschev。长的重写,短的重写。在
  • 年。卡扎科夫,天。伦博和f。 WOLTER,编辑,DL 2012的程序:描述逻辑(罗马,6月7-10日),第25届国际研讨会235-245。 ceur车间诉讼,第一卷。 846,2012。
  • 秒。 kikot河。 kontchakov和米。 zakharyaschev。上(在)的OBDA与猫头鹰2 QL易处理性。在河
  • 罗萨蒂,S。鲁道夫和米。 zakharyaschev,编辑,2011升的程序:描述逻辑(巴塞罗那,7月13-16日),第24届国际研讨会,第224-234。 ceur车间诉讼,第一卷。 745,2011。

 

 

斯坦博士kikot
在人工智能高级讲师