BibTeX记录:Cristina Feier

下载为.bib文件

@正在进行{DBLP:conf/icdt/FeierGM24,作者={Cristina Feier和Tomasz Gogacz和菲利普·穆拉克},editor={Graham Cormode和Michael Shekelyan},title={使用语义树宽度评估图形查询},booktitle={第27届数据库理论国际会议,{ICDT}2024年3月2024年25月28日,意大利帕埃斯特姆},系列={LIPIcs},体积={290},页数={22:1--22:20},publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}r Informatik},年份={2024},url={https://doi.org/10.4230/LIPIcs.ICDT.2024.22},doi={10.4230/LIPICS.ICDT.2024.22},时间戳={2024年3月15日星期五00:00:00+0100},biburl={https://dblp.org/rec/conf/icdt/FeierGM24.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/lmcs/FieerLP23,author={Cristina Feier和卡斯滕·卢茨和Marcin Przybylko},title={守护TGDs下的答案计数},journal={Log.Methods计算科学},体积={19},数字={3},年份={2023},url={https://doi.org/10.46298/lmcs-19(3:16)2023},doi={10.46298/LMCS-19(3:16)2023},timestamp={2023年10月26日星期四01:00:00+0200},biburl={https://dblp.org/rec/journals/lmcs/FieerLP23.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/amw/FierGM23,author={Cristina Feier和Tomasz Gogacz和菲利普·穆拉克},editor={Benny Kimelfeld和玛丽亚·瓦妮娜·马丁内斯和伦佐角},title={利用语义树宽度进行图形查询求值(缩写纸)},booktitle={第15届Alberto Mendelzon国际研讨会论文集数据管理基础{(AMW}2023),智利圣地亚哥,2023年5月22日至26日},series={{CEUR}研讨会论文集},体积={3409},publisher={CEUR-WS.org},年份={2023},url={https://ceur-ws.org/Vol-3409/paper5.pdf},timestamp={2023年6月13日星期二16:59:20+0200},biburl={https://dblp.org/rec/conf/amw/FieerGM23.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@在过程中{DBLP:conf/icdt/Feier22,author={Cristina Feier},editor={Dan Olteanu和尼尔斯·沃特迈耶},title={表征用于查询评估的固定参数可跟踪性保护TGDs},booktitle={第25届数据库理论国际会议,{ICDT}2022年3月2022年4月29日至1日,爱丁堡,{英国}(虚拟会议)},系列={LIPIcs},体积={220},页数={12:1--12:20},publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}r Informatik},年份={2022},url={https://doi.org/10.4230/LIPIcs.ICDT.2022.12},doi={10.4230/LIPICS.ICDT.2022.12},timestamp={2022年3月21日星期一15:41:30+0100},biburl={https://dblp.org/rec/conf/icdt/Feier22.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/dlog/Fier21,author={Cristina Feier},editor={Martin Homola和弗拉迪斯拉夫·里日科夫和雷娜特·施密特},title={表征查询求值的固定参数可跟踪性保护TGD(扩展抽象)},booktitle={第34届描述逻辑国际研讨会论文集{(DL}2021)布拉迪斯拉发知识9月{(BAKS}2021)的一部分,斯洛伐克布拉迪斯拉发,2021年9月19日至22日},series={{CEUR}研讨会论文集},体积={2954},publisher={CEUR-WS.org},年份={2021},url={https://ceur-ws.org/Vol-2954/abstract-15.pdf},时间戳={2023年3月10日星期五16:23:15+0100},biburl={https://dblp.org/rec/conf/dlog/Fieer21.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/icdt/FeierLP21,author={Cristina Feier和卡斯滕·卢茨和Marcin Przybylko},editor={柯毅和哲伟},title={守护TGDs下的答案计数},booktitle={第24届数据库理论国际会议,{ICDT}2021年3月2021年23月26日,塞浦路斯尼科西亚},系列={LIPIcs},体积={186},pages={11:1-11:22},publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}r Informatik},年份={2021},url={https://doi.org/10.4230/LIPIcs.ICDT.2021.11},doi={10.4230/LIPICS.ICDT.2021.11},时间戳={2021年3月11日星期四13:53:23+0100},biburl={https://dblp.org/rec/conf/icdt/FeierLP21.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/corr/abs-2101-03058,author={Cristina Feier和卡斯滕·卢茨和Marcin Przybylko},title={守护TGDs下的答案计数},日志={CoRR},体积={abs/2101.03058},年份={2021},url={https://arxiv.org/abs/2101.03058},eprinttype={arXiv},eprint={2101.03058},timestamp={2021年1月21日星期四00:00:00+0100},biburl={https://dblp.org/rec/journals/corr/abs-2101-03058.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/corr/abs-2101-1127,author={Cristina Feier},title={在保护TGD下查询求值的效率:无界Arity案例},日志={CoRR},体积={abs/2101.11727},年份={2021},url={https://arxiv.org/abs/2101.11727},eprinttype={arXiv},eprint={2101.11727},timestamp={2021年1月31日,星期日00:00:00+0100},biburl={https://dblp.org/rec/journals/corr/abs-2101-11727.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@在过程{DBLP:conf/dlog/FeierLP20,author={Cristina Feier和卡斯滕·卢茨和Marcin Przybylko},editor={Stefan Borgwardt和托马斯·梅耶},title={基于本体的中介查询的答案计数的复杂性保护TGD(扩展抽象)},booktitle={第33届描述逻辑国际研讨会论文集{(DL}2020)与第十七届国际原则会议合办知识表示与推理{(KR}2020),在线事件【希腊罗兹】,2020年9月12日至14日},series={{CEUR}研讨会论文集},体积={2663},publisher={CEUR-WS.org},年份={2020年},url={https://ceur-ws.org/Vol-2663/abstract-12.pdf},时间戳={2023年3月10日星期五16:23:17+0100},biburl={https://dblp.org/rec/conf/dlog/FieerLP20.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@在过程中{DBLP:conf/pods/BarceloDFLP20,author={Pablo Barcel{\'{o}}和维克托·达尔摩和Cristina Feier和卡斯滕·卢茨和安德烈亚斯·皮利斯},editor={Dan Suciu和陶宇飞和哲伟},title={开放和封闭世界查询评估的效率极限在守护TGDs}下,booktitle={第39届{ACM}{SIGMOD-SIGACT-SIGAI}原理研讨会论文集数据库系统,{PODS}2020,波特兰,俄勒冈州,美国,2020年6月14日至19日},页数={259--270},发布者={{ACM}},年份={2020年},url={https://doi.org/10.1145/337539387653},doi={10.1145/3375395.3387653},timestamp={2022年9月29日星期四08:01:46+0200},biburl={https://dblp.org/rec/conf/pods/BarceloDFLP20.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/corr/abs-2003-07800,author={Pablo Barcel{\'{o}}和Cristina Feier和卡斯滕·卢茨和安德烈亚斯·皮耶利斯},title={Ontology-Mediated Querying何时有效?},日志={CoRR},体积={abs/2003.07800},年份={2020年},url={https://arxiv.org/abs/2003.07800(网址:https://arxiv.org/abs/2003.07800)},eprinttype={arXiv},eprint={2003.07800},timestamp={2020年3月24日星期二00:00:00+0100},biburl={https://dblp.org/rec/journals/corr/abs-2003-07800.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/corr/abs-2010-11848,author={Cristina Feier和卡斯滕·卢茨和弗兰克·沃尔特},title={在Ontology-Mediated中从连接查询到实例查询查询},日志={CoRR},体积={abs/2010.11848},年份={2020年},url={https://arxiv.org/abs/2010.11848},eprinttype={arXiv},eprint={2010.11848},timestamp={2020年10月27日星期二00:00:00+0100},biburl={https://dblp.org/rec/journals/corr/abs-2010-11848.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/lmcs/FeierKL19,author={Cristina Feier和Antti Kuusisto和卡斯滕·卢茨},title={一元析取数据日志、MMSNP和表达式中的可重写性说明逻辑},journal={Log.Methods计算科学},体积={15},数字={2},年份={2019},url={https://doi.org/10.23638/LMCS-15(2:15)2019},doi={10.23638/LMCS-15(2:15)2019},timestamp={2020年6月18日星期四01:00:00+0200},biburl={https://dblp.org/rec/journals/lmcs/FieerKL19.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/dlog/BarceloFLP19,作者={Pablo Barcel}和Cristina Feier和卡斯滕·卢茨和安德烈亚斯·皮耶利斯},editor={Mantas Simkus和Grant E.Weddell},title={时间组合复杂性和本体中介查询}中的{FPT},booktitle={第32届描述逻辑国际研讨会论文集,2019年6月18日至21日},挪威奥斯陆,series={{CEUR}研讨会论文集},体积={2373},publisher={CEUR-WS.org},年份={2019},url={https://ceur-ws.org/Vol-2373/paper-33.pdf},timestamp={2023年6月26日星期一20:43:45+0200},biburl={https://dblp.org/rec/conf/dlog/BarceloFLP19.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@进行中{DBLP:conf/lics/BarceloFLP19,author={Pablo Barcel{\'{o}}和Cristina Feier和卡斯滕·卢茨和安德烈亚斯·皮耶利斯},title={Ontology-Mediated Querying何时有效?},booktitle={34届年度{ACM/IEEE}计算机科学逻辑研讨会,{LICS}2019年,加拿大不列颠哥伦比亚省温哥华,2019年6月24日至27日},页数={1--13},publisher={{IEEE}},年份={2019},url={https://doi.org/10.109/LICS.2019.8785823},doi={10.1109/LICS.2019.8785823},timestamp={2019年10月16日星期三14:14:54+0200},biburl={https://dblp.org/rec/conf/lics/BarceloFLP19.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/corr/abs-1912-12442,author={Pablo Barcel{\'{o}}和维克托·达尔摩和Cristina Feier和Carsten Lutz和安德烈亚斯·皮耶利斯},title={开放和封闭世界查询评估的效率极限在守护TGDs}下,日志={CoRR},体积={abs/1912.12442},年份={2019},url={http://arxiv.org/abs/1912.12442},eprinttype={arXiv},eprint={1912.12442},timestamp={2020年1月3日星期五00:00:00+0100},biburl={https://dblp.org/rec/journals/corr/abs-1912-12442.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/dlog/FieerLW18,author={Cristina Feier和卡斯滕·卢茨和弗兰克·沃尔特},编辑={Magdalena Ortiz和托马斯·施奈德,title={从连接查询到本体中介中的{SPARQL}查询查询},booktitle={第31届描述逻辑国际研讨会论文集与第十六届国际知识原则会议合办代表与推理{(KR}2018),美国亚利桑那州坦佩,10月2018年27日至29日},series={{CEUR}研讨会论文集},体积={2211},publisher={CEUR-WS.org},年份={2018},url={https://ceur-ws.org/Vol-2211/paper-16.pdf},时间戳={2023年3月10日星期五16:23:17+0100},biburl={https://dblp.org/rec/conf/dlog/FierLW18.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/ijcai/FieerLW18,author={Cristina Feier和卡斯滕·卢茨和弗兰克·沃尔特},editor={J{\'{e}}r{\^{o}}meLang},title={在Ontology-Mediated中从连接查询到实例查询查询},booktitle={第二十七届国际联合会议记录人工智能,2018年7月13日至19日,{IJCAI},斯德哥尔摩,瑞典},页数={1810--1816},publisher={ijcai.org},年份={2018},url={https://doi.org/10.24963/ijcai.2018/250},doi={10.24963/IJCAI.2018/250},timestamp={2023年12月17日星期日00:00:00+0100},biburl={https://dblp.org/rec/conf/ijcai/FieerLW18.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/corr/abs-1804-07274,author={David Carral和Cristina Feier和帕斯卡·希茨勒},title={Horn SRIQ本体论上查询回答的实用非循环性概念},日志={CoRR},体积={abs/1804.07274},年份={2018},url={http://arxiv.org/abs/1804.07274},eprinttype={arXiv},eprint={1804.07274},timestamp={2018年8月13日星期一01:00:00+0200},biburl={https://dblp.org/rec/journals/corr/abs-1804-07274.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/icdt/FeierKL17,author={Cristina Feier和Antti Kuusisto和卡斯滕·卢茨},editor={Michael Benedikt和乔治·奥尔西(Giorgio Orsi),title={一元析取数据日志、MMSNP和表达式中的可重写性说明逻辑(邀请谈话)},booktitle={第20届数据库理论国际会议,{ICDT}2017年3月2017年21月24日,意大利威尼斯,系列={LIPIcs},体积={68},页数={1:1--1:17},publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}r Informatik},年份={2017年},url={https://doi.org/10.4230/LIPIcs.ICDT.2017.1},doi={10.4230/LIPICS.ICDT.2017.1},timestamp={2020年2月11日星期二15:52:14+0100},biburl={https://dblp.org/rec/conf/icdt/FeierKL17.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/corr/FeierKL17,author={Cristina Feier和Antti Kuusisto和卡斯滕·卢茨},title={在Monadic Disjunction Datalog、MMSNP和Expressive中的可重写性说明逻辑},日志={CoRR},体积={abs/1701.02231},年份={2017年},url={http://arxiv.org/abs/1701.02231},eprinttype={arXiv},eprint={1701.02231},timestamp={2018年8月13日星期一01:00:00+0200},biburl={https://dblp.org/rec/journals/corr/FeierKL17.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/dlog/FieerKL16,author={Cristina Feier和Antti Kuusisto和卡斯滕·卢茨},editor={Maurizio Lenzerini和拉斐尔·佩奥(Rafael Pe),title={FO-表达本体中介查询的可重写性},booktitle={第29届描述逻辑国际研讨会论文集,南非开普敦,2016年4月22日至25日},series={{CEUR}研讨会论文集},体积={1577},publisher={CEUR-WS.org},年份={2016年},url={https://ceur-ws.org/Vol-1577/paper\_11.pdf},时间戳={2023年3月10日星期五16:23:16+0100},biburl={https://dblp.org/rec/conf/dlog/FieerKL16.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/semweb/CarralFH16,author={David Carral和Cristina Feier和帕斯卡·希茨勒},editor={Paul Groth和Elena Simperl和阿拉斯代尔·格雷和Marta Sabou和Markus Kr{\“{o}}tzsch和Freddy L{\'{e}}cu{\'{e}}和费边Fl{\“{o}}ck和约兰达·吉尔},title={一种实用的非循环概念,用于通过喇叭回答问题-\emph{SRIQ}本体论},booktitle={The Semantic Web-{ISWC}2016第15届国际语义网络会议,日本神户,2016年10月17日至21日,《诉讼程序》,第{I}}部分,series={计算机科学讲稿},体积={9981},页数={70--85},年份={2016年},url={https://doi.org/10.1007/978-3-319-46523-4\_5},doi={10.1007/978-3-319-46523-4\_5},timestamp={2021年9月7日星期二13:48:03+0200},biburl={https://dblp.org/rec/conf/semweb/CarralFH16.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/dlog/FieerCSGH15,author={Cristina Feier和David Carral和乔治·斯特凡诺尼和Bernardo Cuenca Grau和伊恩·霍洛克斯},editor={Diego Calvanee和鲍里斯·科涅夫,title={将组合方法扩展到轻量级描述逻辑之外},booktitle={第28届描述逻辑国际研讨会论文集,希腊雅典,2015年6月7日至10日},series={{CEUR}研讨会论文集},体积={1350},publisher={CEUR-WS.org},年份={2015年},url={https://ceur-ws.org/Vol-1350/paper-19.pdf},时间戳={2023年3月10日星期五16:23:17+0100},biburl={https://dblp.org/rec/conf/dlog/FieerCSGH15.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/ijcai/FieerCSGH15,author={Cristina Feier和David Carral和乔治·斯特凡诺尼和Bernardo Cuenca Grau和伊恩·霍洛克斯},editor={Qiang Yang和迈克尔·伍尔德里奇},title={超越{OWL}2配置文件}的查询答案组合方法,booktitle={第二十四届国际联合会议记录人工智能,{IJCAI}2015,阿根廷布宜诺斯艾利斯,7月25-31, 2015},页码={2971--2977},publisher={{AAAI}出版社},年份={2015年},url={http://ijcai.org/Abstract/15/420},timestamp={2022年4月12日星期二01:00:00+0200},biburl={https://dblp.org/rec/conf/ijcai/FieerCSGH15.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/ijcai/FieerE15,author={Cristina Feier和托马斯·艾特,编辑器={Odile Papini和Salem Benferhat和劳伦特·加西亚和玛丽{-}劳尔穆格尼尔和爱德华多·费尔姆(Eduardo L.Ferm)和托马斯·梅耶和Renata Wassermann和托尔斯滕·哈曼和Ken Baclawski和阿迪拉·克里斯纳迪和Pavel Klinov和Stefano Borgo和奥利弗·库茨和丹尼尔·波雷洛(Daniele Porello),title={使用完全丰富自动机的森林逻辑程序进行推理},booktitle={2015年联合本体论研讨会会议记录第1集:阿根廷人本体论之冬与第24届国际联席会议合办人工智能{(IJCAI}2015),阿根廷布宜诺斯艾利斯,2015年7月25日至27日},series={{CEUR}研讨会论文集},体积={1517},publisher={CEUR-WS.org},年份={2015年},url={https://ceur-ws.org/Vol-1517/JOWO-15\_ontolp\_paper\_8.pdf},时间戳={2023年3月10日星期五16:23:31+0100},biburl={https://dblp.org/rec/conf/ijcai/FieerE15.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/lpnmr/FieerE15,author={Cristina Feier和托马斯·艾特,编辑={Francesco Calimeri和Giovambattista Ianni和Miroslaw Truszczynski},title={使用完全丰富自动机进行森林逻辑程序推理},booktitle={逻辑编程和非单调推理-第13届国际2015年9月27日至30日在美国肯塔基州列克星敦举行的{LPNMR}会议。诉讼},series={计算机科学讲稿},体积={9345},页数={346--353},publisher={Springer},年份={2015年},url={https://doi.org/10.1007/978-3-319-23264-5\_29},doi={10.1007/978-3-319-23264-5\_29},timestamp={2019年6月2日,周日21:23:45+0200},biburl={https://dblp.org/rec/conf/lpnmr/FieerE15.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@进行中{DBLP:conf/cade/MartinezFGHH14,author={David Carral和Cristina Feier和Bernardo Cuenca Grau和帕斯卡·希茨勒和伊恩·霍洛克斯},editor={St{\'{e}}phane Demri和Deepak Kapur和克里斯托夫·魏登巴赫(Christoph Weidenbach),标题={\emph{EL}化本体论},booktitle={自动推理-第七届国际联合会议,{IJCAR}2014年,作为维也纳逻辑之夏的一部分,{VSL}2014,维也纳,奥地利,2014年7月19日至22日。诉讼},series={计算机科学讲稿},体积={8562},页数={464--479},publisher={Springer},年份={2014},url={https://doi.org/10.1007/978-3-319-08587-6\_36},doi={10.1007/978-3-319-08587-6\36},timestamp={2022年4月12日星期二01:00:00+0200},biburl={https://dblp.org/rec/conf/cade/MartinezFGHH14.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/dlog/CarralFRGHH14,author={David Carral和Cristina Feier和安娜·阿玛斯·罗梅罗和Bernardo Cuenca Grau和帕斯卡·希茨勒和伊恩·霍罗克斯},editor={Meghyn Bienvenu和Magdalena Ortiz和里卡多·罗萨蒂和曼塔斯·西姆库斯},title={你的本体像你想的那么难吗?把本体改写得更简单DLs},booktitle={第27届国际描述研讨会非正式会议记录Logics,奥地利维也纳,2014年7月17日至20日},series={{CEUR}研讨会论文集},体积={1193},页面={128-140},publisher={CEUR-WS.org},年份={2014},url={https://ceur-ws.org/Vol-1193/paper\_75.pdf},timestamp={2023年6月26日星期一20:43:45+0200},biburl={https://dblp.org/rec/conf/dlog/CarralFRGHH14.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/semweb/CarralFGHH14,author={David Carral和Cristina Feier和Bernardo Cuenca Grau和帕斯卡·希茨勒和伊恩·霍洛克斯},editor={彼得·米卡和塔妮娅·塔多拉奇和亚伯拉罕·伯恩斯坦和Chris Welty和Craig A.Knoblock和Denny Vrandecic和保罗·格罗斯和娜塔莎·F·诺伊和Krzysztof Janowicz和卡罗尔·高布尔},title={突破可追踪本体推理的边界},booktitle={The Semantic Web-{ISWC}2014-第13届国际语义Web会议,意大利Riva del Garda,2014年10月19-23日。程序,第{II}}部分,series={计算机科学讲稿},体积={8797},页数={148--163},publisher={Springer},年份={2014},url={https://doi.org/10.1007/978-3-319-11915-1\_10},doi={10.1007/978-3-319-11915-1\_10},时间戳={2023年7月27日星期四01:00:00+0200},biburl={https://dblp.org/rec/conf/semweb/CarralFGHH14.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/tplp/FieerH13,author={Cristina Feier和斯迪恩·海曼斯},title={使用森林逻辑程序和f-hybrid知识库进行推理},journal={Theory-Pract.Log.Program.},体积={13},数字={3},页数={395--463},年份={2013},url={https://doi.org/10.1017/S1471068411000597},doi={10.1017/S1471068411000597},timestamp={2020年2月13日星期四00:00:00+0100},biburl={https://dblp.org/rec/journals/tplp/FieerH13.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/生日/EiterFF12,author={托马斯·艾特和Cristina Feier和迈克尔·芬克},editor={Esra Erdem和Joohyung Lee和Yuliya Lierler和David Pearce},title={使用{ACTHEX}}模拟生产规则,booktitle={正确推理-以弗拉基米尔为荣的基于逻辑的{AI}论文Lifschitz},series={计算机科学讲稿},体积={7265},页码={211--228},publisher={Springer},年份={2012},url={https://doi.org/10.1007/978-3-642-30743-0\_15},doi={10.1007/978-3642-30743-0\_15},时间戳={2021年1月15日星期五08:33:38+0100},biburl={https://dblp.org/rec/conf/birthday/EiterFF12.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@进行中{DBLP:conf/kr/Feier12,author={Cristina Feier},editor={Gerhard Brewka和托马斯·艾特和希拉·麦克拉伊思(Sheila A.McIlraith),title={森林逻辑程序的最坏情况优化推理},booktitle={知识表示和推理原理:程序2012年第十三届国际会议,{KR},意大利罗马,2012年6月10日至14日},publisher={{AAAI}出版社},年份={2012},url={http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4557},timestamp={2021年2月9日星期二00:00:00+0100},biburl={https://dblp.org/rec/conf/kr/Feier12.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/corr/abs-110-2773,author={Cristina Feier和斯迪恩·海曼斯},title={使用Forest逻辑程序和f-hybrid知识库进行推理},日志={CoRR},体积={abs/1110.2773},年份={2011},url={http://arxiv.org/abs/1110.2773},eprinttype={arXiv},eprint={1110.2773},timestamp={2018年8月13日星期一01:00:00+0200},biburl={https://dblp.org/rec/journals/corr/abs-1110-2773.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/corr/abs-1011-5894,author={Cristina Feier和斯迪恩·海曼斯},title={用Forest逻辑程序进行推理的优化},日志={CoRR},体积={abs/1011.5894},年份={2010},url={http://arxiv.org/abs/1011.5894},eprinttype={arXiv},eprint={1011.5894},timestamp={2018年8月13日星期一01:00:00+0200},biburl={https://dblp.org/rec/journals/corr/abs-1011-5894.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/esws/FeierH09,author={Cristina Feier和斯迪恩·海曼斯},editor={Lora Aroyo和保罗·特拉维索和Fabio Ciravegna和菲利普·西米亚诺和汤姆·希思和Eero Hyv{\“{o}}nen和沟口利一郎和Eyal Oren和Marta Sabou和Elena Simperl},title={森林逻辑程序混合推理},booktitle={The Semantic Web:Research and Applications,第六届欧洲语义学网络会议,{ESWC}2009,希腊克里特岛赫拉克利翁,5月31日至6月2009年4月,会议记录},series={计算机科学讲稿},体积={5554},页码={338--352},publisher={Springer},年份={2009},url={https://doi.org/10.1007/978-3642-02121-3\_27},doi={10.1007/978-3642-02121-3\_27},timestamp={2023年6月23日星期五11:56:12+0200},biburl={https://dblp.org/rec/conf/esws/FeierH09.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@进行中{DBLP:conf/rr/HeymansFE09,作者={Stijn Heymans和Cristina Feier和托马斯·艾特,editor={Axel Polleres和特朗斯·斯威夫特},title={简单概念逻辑程序推理器},booktitle={Web推理和规则系统,第三届国际会议,{RR}2009年10月25日至26日,美国弗吉尼亚州尚蒂利,2009,Proceedings},series={计算机科学讲稿},体积={5837},页数={55--70},publisher={Springer},年份={2009},url={https://doi.org/10.1007/978-3642-05082-4\_5},doi={10.1007/978-3-642-05082-4\5},时间戳={2019年5月14日星期二10:00:55+0200},biburl={https://dblp.org/rec/conf/rr/HeymansFE09.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/tplp/HeymansBPFN08,author={Stijn Heymans和Jos de Bruijn和Livia Predoiu和Cristina Feier和Davy Van Nieuwenborgh},title={受保护的混合知识库},journal={Theory-Pract.Log.Program.},体积={8},数字={3},页码={411--429},年份={2008},url={https://doi.org/10.1017/S1471068407003201},doi={10.1017/S1471068407003201},timestamp={2020年2月13日星期四00:00:00+0100},biburl={https://dblp.org/rec/journals/tplp/HeymansBPFN08.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@收集{DBLP:conf/swb/HeymansMAMSPMFKKSSFHWK08,作者={Stijn Heymans和李马和Darko Anicic和马志磊和Nathalie Steinmetz和岳潘和景梅和阿奇尔·福克和Aditya Kalyanpur和Aaron Kershenbaum和伊迪丝·肖恩伯格和卡维塔·斯里尼瓦斯和Cristina Feier和Graham Hench和Branimir Wetzstein和Uwe Keller},editor={马丁·赫普和Pieter De Leenher和Aldo de Moor和约克当然},title={使用大型数据存储库进行本体推理},booktitle={本体管理、语义Web、语义Web服务和业务应用程序},series={语义网及其以外:人类体验计算},体积={7},页数={89--128},publisher={Springer},年份={2008},url={https://doi.org/10.1007/978-0-387-69900-4\_4},doi={10.1007/978-0-387-69900-4},timestamp={2018年7月5日星期四01:00:00+0200},biburl={https://dblp.org/rec/conf/swb/HeymansMAMSPMFKKSSFHWK08.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/esws/Feier07,author={Cristina Feier},editor={Elena Simperl和J{\“{o}}rg Diederich和古斯·施赖伯(Guus Schreiber),title={基于的语义Web分布式推理框架打开答案集编程},booktitle={2007年{KWEPSY}知识网络博士研讨会论文集,奥地利因斯布鲁克,2007年6月6日},series={{CEUR}研讨会论文集},体积={275},publisher={CEUR-WS.org},年份={2007},url={https://ceur-ws.org/Vol-275/paper07.pdf},timestamp={2023年6月23日星期五11:56:12+0200},biburl={https://dblp.org/rec/conf/esws/Feier07.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/corr/abs-0711-2155,author={Stijn Heymans和Jos de Bruijn和Livia Predoiu和Cristina Feier和Davy Van Nieuwenborgh},title={受保护的混合知识库},日志={CoRR},体积={abs/0711.2155},年份={2007},url={http://arxiv.org/abs/0711.2155},eprinttype={arXiv},eprint={0711.2155},timestamp={2018年8月13日星期一01:00:00+0200},biburl={https://dblp.org/rec/journals/corr/abs-0711-2155.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@正在进行{DBLP:conf/esws/PoleresFH06,author={Axel Polleres和Cristina Feier和安德烈亚斯·哈特},editor={York当然约翰·多明戈(John Domingue),title={具有上下文范围否定的规则},booktitle={The Semantic Web:研究与应用,第三届欧洲语义学2006年6月11日至14日,黑山布德瓦{ESWC}网络会议,诉讼},series={计算机科学讲稿},体积={4011},页数={332--347},publisher={Springer},年份={2006},url={https://doi.org/10.1007/11762256\_26}中,doi={10.1007/11762256\_26},时间戳={2020年12月25日星期五01:15:10+0100},biburl={https://dblp.org/rec/conf/esws/PolleresFH06.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
@文章{DBLP:journals/ao/RomanKLBLSPFBF05,author={Dumitru Roman和Uwe Keller和霍尔格·劳森和Jos de Bruijn和摩擦拉腊和迈克尔·斯托尔伯格和Axel Polleres和Cristina Feier和Christoph Bussler和迪特尔·芬塞尔},title={Web服务建模本体},journal={Appl.Ontology},体积={1},数字={1},页数={77--106},年份={2005},url={http://content.iospress.com/articles/applied-ontology/ao000008(网址:http://content.iospress.com/articles/applied-ontology/ao000008)},timestamp={2020年7月14日星期二01:00:00+0200},biburl={https://dblp.org/rec/journals/ao/RomanKLBLSPF05.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
服务莱布尼茨信息中心(Schloss Dagstuhl)