提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/icdt/FeierGM24澳大利亚-菲尔，克里斯蒂娜AU-戈加茨，托马斯AU-菲利普·穆拉克TI-使用语义树宽度评估图形查询。BT-第27届国际数据库理论会议，2024年3月25日至28日，意大利帕埃斯特姆，ICDT 2024SP-22:1欧洲药典-22:202024年上半年//DO-10.4230/LIPICS。ICDT.2024.22号UR-（欧元）https://doi.org/10.4230/LIPIcs.ICDT.2024.22急诊室-TY-JOUR公司ID-DBLP:期刊/lmcs/FeierLP23澳大利亚-菲尔，克里斯蒂娜AU-卢茨，卡斯滕澳大利亚-Przybylko，MarcinTI-防护TGD下的应答计数。JO-日志。方法计算。科学。VL-19IS-3标准2023年上半年//DO-10.46298/LMCS-19（3:16）2023UR-（欧元）https://doi.org/10.46298/lmcs-19(3:16)2023急诊室-TY-CPAPER公司ID-DBLP:conf/amw/FieerGM23澳大利亚-菲尔，克里斯蒂娜AU-戈加茨，托马斯AU-菲律宾穆拉克TI-利用语义树宽度进行图形查询评估（短文）。BT-第十五届阿尔贝托·门德尔松数据管理基础国际研讨会（AMW 2023）会议记录，智利圣地亚哥，2023年5月22日至26日。2023年上半年//UR-（欧元）https://ceur-ws.org/Vol-3409/paper5.pdf急诊室-TY-CPAPER公司ID-DBLP:conf/icdt/Feier22澳大利亚-菲尔，克里斯蒂娜TI-描述保护TGD上查询评估的固定参数可跟踪性。BT-第25届数据库理论国际会议，2022年3月29日至4月1日，英国爱丁堡ICDT 2022（虚拟会议）。SP-12:1分欧洲药典-12:202022年上半年//DO-10.4230/LIPICS。ICDT.2022.12UR-（欧元）https://doi.org/10.4230/LIPIcs.ICDT.2022.12急诊室-TY-CPAPER公司ID-DBLP:conf/dlog/Fier21澳大利亚-菲尔，克里斯蒂娜TI-描述保护TGD上查询评估的固定参数可跟踪性（扩展摘要）。BT-第34届描述逻辑国际研讨会（DL 2021）会议记录，布拉迪斯拉发知识9月（BAKS 2021年），斯洛伐克布拉迪斯拉瓦，2021年9月19日至22日2021年上半年//UR-（欧元）https://ceur-ws.org/Vol-2954/abstract-15.pdf急诊室-TY-CPAPER公司ID-DBLP:conf/icdt/FeierLP21澳大利亚-菲尔，克里斯蒂娜AU-卢茨，卡斯滕澳大利亚-Przybylko，MarcinTI-在守护TGD下进行应答计数。BT-第24届数据库理论国际会议，2021年3月23日至26日，塞浦路斯尼科西亚，ICDT 2021。标准普尔-11:1EP-11:222021年上半年//DO-10.4230/LIPICS。ICDT.2021.11UR-（欧元）https://doi.org/10.4230/LIPIcs.ICDT.2021.11急诊室-TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-2101-03058澳大利亚-菲尔，克里斯蒂娜AU-卢茨，卡斯滕澳大利亚-Przybylko，MarcinTI-防护TGD下的应答计数。JO-CoRR公司VL-abs/2101.030582021年上半年//UR-（欧元）https://arxiv.org/abs/2101.03058急诊室-TY-非正式或其他出版物ID-DBLP:日志/corr/abs-2101-1127澳大利亚-菲尔，克里斯蒂娜TI-保护TGD下查询评估的效率：无边界Arity案例。JO-CoRR公司VL-abs/2101.117272021年上半年//UR-（欧元）https://arxiv.org/abs/2101.11727急诊室-TY-CPAPER公司ID-DBLP:conf/dlog/FieerLP20澳大利亚-菲尔，克里斯蒂娜AU-卢茨，卡斯滕澳大利亚-Przybylko，MarcinTI-基于保护TGD的本体中介查询的答案计数的复杂性（扩展摘要）。BT-第33届描述逻辑国际研讨会（DL 2020）会议记录，与第17届知识表示和推理原则国际会议（KR 2020）合办，在线活动，2020年9月12日至14日，希腊罗兹2020年上半年//UR-（欧元）https://ceur-ws.org/Vol-2663/abstract-12.pdf急诊室-TY-CPAPER公司ID-DBLP:conf/pods/BarceloDFLP20澳大利亚-巴勃罗巴赛罗澳大利亚——维克多·达尔毛澳大利亚-菲尔，克里斯蒂娜AU-卢茨，卡斯滕澳大利亚-皮耶利斯，安德烈亚斯TI-在保护TGD下开放和封闭世界查询评估的效率极限。BT-第39届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会论文集，PODS 2020，美国俄勒冈州波特兰，2020年6月14日至19日。SP-259欧洲药典-2702020年上半年//DO-10.1145/3375395.3387653UR-（欧元）https://doi.org/10.1145/337539387653急诊室-TY-非正式或其他出版物ID-DBLP:期刊/corr/abs-2003-07800澳大利亚-巴勃罗巴赛罗澳大利亚-菲尔，克里斯蒂娜AU-卢茨，卡斯滕澳大利亚-皮耶利斯，安德烈亚斯什么时候本体中介查询有效？JO-CoRR公司VL-abs/2003.078002020年上半年//UR-（欧元）https://arxiv.org/abs/2003.07800急诊室-TY-非正式或其他出版物ID-DBLP:期刊/corr/abs-2010-11848澳大利亚-菲尔，克里斯蒂娜AU-卢茨，卡斯滕澳大利亚-沃尔特，弗兰克TI-在本体中介查询中从连接查询到实例查询。JO-CoRR公司VL-abs/2010.118482020年上半年//UR-（欧元）https://arxiv.org/abs/2010.11848急诊室-TY-JOUR公司ID-DBLP:期刊/lmcs/FeierKL19澳大利亚-菲尔，克里斯蒂娜AU-库西斯托，安蒂AU-卢茨，卡斯滕TI-一元析取数据日志、MMSNP和表达式描述逻辑中的可重写性。JO-日志。方法计算。科学。VL-15IS-22019年上半年//DO-10.23638/LMCS-15（2:15）2019年UR-（欧元）https://doi.org/10.23638/LMCS-15(2:15)2019急诊室-TY-CPAPER公司ID-DBLP:conf/dlog/BarceloFLP19澳大利亚-巴勃罗巴赛罗澳大利亚-菲尔，克里斯蒂娜AU-卢茨，卡斯滕澳大利亚-皮耶利斯，安德烈亚斯本体中介查询中的TI-PTime复合复杂性和FPT。英国电信-第32届描述逻辑国际研讨会论文集，挪威奥斯陆，2019年6月18-21日。2019年上半年//UR-（欧元）https://ceur-ws.org/Vol-2373/paper-33.pdf急诊室-TY-CPAPER公司ID-DBLP:conf/lics/BarceloFLP19澳大利亚-巴勃罗巴赛罗澳大利亚-菲尔，克里斯蒂娜AU-卢茨，卡斯滕澳大利亚-皮耶利斯，安德烈亚斯什么时候本体中介查询有效？BT-第34届ACM/IEEE计算机科学逻辑年会，2019年LICS，加拿大不列颠哥伦比亚省温哥华，2019月24-27日SP-1EP-132019年上半年//DO-10.1109/LICS.2019.8785823UR-（欧元）https://doi.org/10.109/LICS.2019.8785823急诊室-TY-非正式或其他出版物ID-DBLP:期刊/corr/abs-1912-12442澳大利亚-巴勃罗巴赛罗澳大利亚-维克多·达尔茂澳大利亚-菲尔，克里斯蒂娜AU-卢茨，卡斯滕澳大利亚-皮耶利斯，安德烈亚斯TI-在保护TGD下开放和封闭世界查询评估的效率极限。JO-CoRR公司VL-abs/1912.124422019年上半年//UR-（欧元）http://arxiv.org/abs/1912.12442急诊室-TY-CPAPER公司ID-DBLP:conf/dlog/FieerLW18澳大利亚-菲尔，克里斯蒂娜AU-卢茨，卡斯滕澳大利亚-沃尔特，弗兰克TI-在Ontology-Mediated Querying中从连接查询到SPARQL查询。英国电信（BT）——2018年10月27日至29日，在美国亚利桑那州坦佩市与第16届知识表示与推理原则国际会议（KR 2018）合办的第31届描述逻辑国际研讨会会议记录。2018年上半年//UR-（欧元）https://ceur-ws.org/Vol-2211/paper-16.pdf急诊室-TY-CPAPER公司ID-DBLP:conf/ijcai/FierLW18澳大利亚-菲尔，克里斯蒂娜AU-卢茨，卡斯滕澳大利亚-沃尔特，弗兰克TI-在本体中介查询中从连接查询到实例查询。英国电信——第二十七届国际人工智能联合会议记录，2018年7月13日至19日，瑞典斯德哥尔摩。SP-1810EP-18162018年上半年//DO-10.24963/IJCAI.2018/250UR-（欧元）https://doi.org/10.24963/ijcai.2018/250急诊室-TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-1804-07274AU-大卫·卡拉尔澳大利亚-菲尔，克里斯蒂娜AU-希茨勒，帕斯卡TI-Horn SRIQ本体论上查询回答的实用非循环性概念。JO-CoRR公司VL-abs/1804.072742018年上半年//UR-（欧元）http://arxiv.org/abs/1804.07274急诊室-TY-CPAPER公司ID-DBLP:conf/icdt/FeierKL17澳大利亚-菲尔，克里斯蒂娜AU-库西斯托，安蒂AU-卢茨，卡斯滕TI-一元析取数据日志、MMSNP和表达描述逻辑中的可重写性（受邀对话）。BT-第20届国际数据库理论会议，2017年3月21日至24日，意大利威尼斯SP-1:1EP-1:172017年上半年//DO-10.4230/LIPICS。ICDT.2017.1号文件UR-（欧元）https://doi.org/10.4230/LIPIcs.ICDT.2017.1急诊室-TY-非正式或其他出版物ID-DBLP:期刊/corr/FeierKL17澳大利亚-菲尔，克里斯蒂娜AU-库西斯托，安蒂AU-卢茨，卡斯滕TI-一元析取数据日志、MMSNP和表达式描述逻辑中的可重写性。JO-CoRR公司VL-abs/1701.022312017年上半年//UR-（欧元）http://arxiv.org/abs/1701.02231急诊室-TY-CPAPER公司ID-DBLP:conf/dlog/FieerKL16澳大利亚-菲尔，克里斯蒂娜AU-库西斯托，安蒂AU-卢茨，卡斯滕TI-FO-表达本体论中介查询的可重写性。英国电信-2016年4月22日至25日，南非开普敦，第29届描述逻辑国际研讨会论文集。2016年上半年//UR-（欧元）https://ceur-ws.org/Vol-1577/paper_11.pdf急诊室-TY-CPAPER公司ID-DBLP:conf/semweb/CarralFH16AU-大卫·卡拉尔澳大利亚-菲尔，克里斯蒂娜AU-希茨勒，帕斯卡TI——一种实用的非循环概念-SRIQ公司本体论。英国电信（BT）-语义网络（The Semantic Web）-2016年国际语义网络大会（ISWC 2016）-第15届国际语义网络会议，日本神户，2016年10月17日至21日，会议记录，第一部分SP-70EP-852016年上半年//DO-10.10007/978-3-319-46523-4_5UR-（欧元）https://doi.org/10.1007/978-3-319-4652-3-4_5急诊室-TY-CPAPER公司ID-DBLP:conf/dlog/FieerCSGH15澳大利亚-菲尔，克里斯蒂娜AU-大卫·卡拉尔澳大利亚-乔治·斯特凡诺尼澳大利亚-格劳，伯纳多·昆卡澳大利亚-霍罗克斯，伊恩TI-将组合方法扩展到轻量级描述逻辑之外。英国电信-第28届描述逻辑国际研讨会论文集，希腊雅典，2015年6月7日至10日。2015年上半年//UR-（欧元）https://ceur-ws.org/Vol-1350/paper-19.pdf急诊室-TY-CPAPER公司ID-DBLP:conf/ijcai/FieerCSGH15澳大利亚-菲尔，克里斯蒂娜AU-大卫·卡拉尔AU-乔治·斯特凡诺尼澳大利亚-格劳，伯纳多·昆卡澳大利亚-霍罗克斯，伊恩TI-超越OWL 2配置文件的查询答案组合方法。BT-第二十四届国际人工智能联合会议记录，2015年7月25日至31日，阿根廷布宜诺斯艾利斯，IJCAI 2015SP-2971第2977页2015年上半年//UR-（欧元）http://ijcai.org/Abstract/15/420急诊室-TY-CPAPER公司ID-DBLP:conf/ijcai/FieerE15澳大利亚-菲尔，克里斯蒂娜澳大利亚-艾特，托马斯TI-使用完全丰富自动机的森林逻辑程序推理。BT-2015年联合本体研讨会会议记录第1集：阿根廷本体之冬与第24届国际人工智能联合会议（IJCAI 2015）合办，阿根廷布宜诺斯艾利斯，2015年7月25-27日。2015年上半年//UR-（欧元）https://ceur-ws.org/Vol-1517/JOWO-15_ontolp_paper_8.pdf急诊室-TY-CPAPER公司ID-DBLP:conf/lpnmr/FieerE15澳大利亚-菲尔，克里斯蒂娜澳大利亚-艾特，托马斯TI-使用完全丰富自动机的森林逻辑程序推理。BT-逻辑编程和非单调推理-第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼SP-346EP-3532015年上半年//DO-2007年10月10日/978-3-319-23264-5_29UR-（欧元）https://doi.org/10.1007/978-3-319-23264-5_29急诊室-TY-CPAPER公司ID-DBLP:conf/cade/MartinezFGHH14AU-大卫·卡拉尔澳大利亚-菲尔，克里斯蒂娜澳大利亚-格劳，伯纳多·昆卡AU-希茨勒，帕斯卡澳大利亚-霍罗克斯，伊恩技术信息-EL公司-认识本体论。BT-自动推理-第七届国际联合会议，IJCAR 2014，作为维也纳逻辑夏季的一部分，VSL 2014，奥地利维也纳，2014年7月19-22日。诉讼SP-464EP-4792014年上半年//DO-2007年10月10日/978-3-319-08587-6_36UR-（欧元）https://doi.org/10.1007/978-3-319-08587-6_36UR-（欧元）https://www.wikidata.org/entity/Q56988549网址急诊室-TY-CPAPER公司ID-DBLP:conf/dlog/CarralFRGHH14AU-大卫·卡拉尔澳大利亚-菲尔，克里斯蒂娜非盟-罗梅罗，阿纳·阿玛斯澳大利亚-格劳，伯纳多·昆卡AU-希茨勒，帕斯卡澳大利亚-霍罗克斯，伊恩TI-你的本体像你想的那么难吗？将本体论重写为更简单的DL。BT——第27届描述逻辑国际研讨会非正式会议记录，奥地利维也纳，2014年7月17日至20日。SP-128EP-140型2014年上半年//UR-（欧元）https://ceur-ws.org/Vol-1193/paper_75.pdf急诊室-TY-CPAPER公司ID-DBLP:conf/semweb/CarralFGHH14AU-大卫·卡拉尔澳大利亚-菲尔，克里斯蒂娜澳大利亚-格劳，伯纳多·昆卡AU-希茨勒，帕斯卡澳大利亚-霍罗克斯，伊恩TI-推动可追踪本体推理的边界。2014年10月19-23日，意大利Riva del Garda，BT-The Semantic Web-ISWC 2014-第13届国际语义网络会议。诉讼程序，第二部分SP-148EP-1632014年上半年//DO-2007年10月10日/978-3-319-11915-1_10UR-（欧元）https://doi.org/10.1007/978-3-319-11915-1_10急诊室-TY-JOUR公司ID-DBLP:期刊/tplp/FeierH13澳大利亚-菲尔，克里斯蒂娜澳大利亚-海曼斯，斯迪恩TI-使用森林逻辑程序和f混合知识库进行推理。JO-理论实践。日志。程序。VL-13IS-3标准SP-395EP-4632013年上半年//DO-10.1017/S1471068411000597UR-（欧元）https://doi.org/10.1017/S1471068411000597急诊室-TY-CPAPER公司ID-DBLP:conf/生日/EiterFF12澳大利亚-艾特，托马斯澳大利亚-菲尔，克里斯蒂娜AU-芬克，迈克尔TI-使用ACTHEX模拟生产规则。BT-正确推理-以弗拉基米尔·利夫施奇茨（Vladimir Lifschitz）为荣的基于逻辑的人工智能论文SP-211型EP-2282012年上半年//DO-2007年10月10日/978-3-642-30743-0_15UR-（欧元）https://doi.org/10.1007/978-3-642-30743-0_15急诊室-TY-CPAPER公司ID-DBLP:conf/kr/Feier12澳大利亚-菲尔，克里斯蒂娜TI-森林逻辑程序的最坏情况优化推理。BT-《知识表示和推理原理：第十三届国际会议论文集》，KR 2012，罗马，意大利，2012年6月10日至14日2012年上半年//UR-（欧元）http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4557急诊室-TY-非正式或其他出版物ID-DBLP:日志/corr/abs-110-2773澳大利亚-菲尔，克里斯蒂娜澳大利亚-海曼斯，斯迪恩TI-使用森林逻辑程序和f混合知识库进行推理JO-CoRR公司VL-abs/1110.27732011年上半年//UR-（欧元）http://arxiv.org/abs/1110.2773急诊室-TY-非正式或其他出版物ID-DBLP：轴颈/corr/abs-1011-5894澳大利亚-菲尔，克里斯蒂娜澳大利亚-海曼斯，斯迪恩TI-一种用Forest逻辑程序进行推理的优化JO-CoRR公司VL-abs/1011.58942010年上半年//UR-（欧元）http://arxiv.org/abs/1011.5894急诊室-TY-CPAPER公司ID-DBLP:conf/esws/FeierH09澳大利亚-菲尔，克里斯蒂娜澳大利亚-海曼斯，StijnTI-混合推理与森林逻辑程序。BT-语义网络：研究与应用，第六届欧洲语义网络会议，ESWC 2009，希腊克里特岛赫拉克利翁，2009年5月31日至6月4日，会议记录SP-338型EP-3522009年上半年//DO-2007年10月10日/978-3-642-0212-3_27UR-（欧元）https://doi.org/10.1007/978-3642-02121-3_27急诊室-TY-CPAPER公司ID-DBLP:conf/rr/HeymansFE09澳大利亚-海曼斯，斯迪恩澳大利亚-菲尔，克里斯蒂娜澳大利亚-艾特，托马斯TI-简单概念逻辑程序推理器。BT-Web推理和规则系统，第三届国际会议，RR 2009，Chantilly，VA，USA，2009年10月25-26日，会议记录SP-55型EP-702009年上半年//DO-10.10007/978-3-642-05082-4_5UR-（欧元）https://doi.org/10.1007/978-3-642-05082-4_5急诊室-TY-JOUR公司ID-DBLP:期刊/tplp/HeymansBPFN08澳大利亚-海曼斯，斯迪恩澳大利亚-布鲁因，Jos de澳大利亚-普雷多尤，利维亚澳大利亚-菲尔，克里斯蒂娜澳大利亚-纽温堡，戴维·凡TI-保护混合知识库。JO-理论实践。日志。程序。VL-8IS-3标准SP-411型步骤-4292008年上半年//DO-10.1017/S1471068407003201UR-（欧元）https://doi.org/10.1017/S1471068407003201急诊室-TY-查普ID-DBLP:conf/swb/HeymansMAMSPMFKKSSFHWK08澳大利亚-海曼斯，斯迪恩AU-马，李AU-动漫，DarkoAU-Ma，志磊澳大利亚-纳塔利·斯坦梅茨AU-潘，岳AU-梅，京AU-阿基勒·福克阿迪蒂亚·卡利扬普尔AU-克申鲍姆，亚伦AU-肖恩伯格，伊迪丝澳大利亚-斯里尼瓦斯，卡维塔澳大利亚-菲尔，克里斯蒂娜AU-亨奇，格雷厄姆AU-布雷尼米尔·韦茨坦澳大利亚-凯勒，乌韦TI-使用大型数据存储库进行本体推理。BT-本体管理、语义Web、语义Web服务和业务应用程序SP-89EP-1282008年上半年//文件编号：10.1007/978-0-387-69900-4_4UR-（欧元）https://doi.org/10.1007/978-0-387-69900-44急诊室-TY-CPAPER公司ID-DBLP:conf/esws/Feier07澳大利亚-菲尔，克里斯蒂娜TI——基于开放答案集编程的语义Web分布式推理框架。英国电信-2007年知识网络博士研讨会论文集，2007年6月6日，奥地利因斯布鲁克2007年上半年//UR-（欧元）https://ceur-ws.org/Vol-275/paper07.pdf急诊室-TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-0711-2155澳大利亚-海曼斯，斯迪恩澳大利亚-布鲁因，Jos de澳大利亚-普雷多尤，利维亚澳大利亚-菲尔，克里斯蒂娜澳大利亚-纽温堡，戴维·凡TI-受保护的混合知识库JO-CoRR公司VL-abs/0711.21552007年上半年//UR-（欧元）网址：http://arxiv.org/abs/0711.2155急诊室-TY-CPAPER公司ID-DBLP:conf/esws/PoleresFH06澳大利亚-Polleres，Axel澳大利亚-菲尔，克里斯蒂娜澳大利亚-安德烈亚斯·哈特TI-具有上下文范围否定的规则。BT-语义网络：研究与应用，第三届欧洲语义网络会议，ESWC 2006，黑山布德瓦，2006年6月11-14日，会议记录SP-332EP-3472006年上半年//DO-10.1007/11762256_26UR-（欧元）https://doi.org/10.1007/11762256_26UR-（欧元）https://www.wikidata.org/entity/Q57887507急诊室-TY-JOUR公司ID-DBLP:期刊/ao/RomanKLBLSPFBF05AU-罗马，Dumitru澳大利亚-凯勒，乌韦澳大利亚-劳森，霍尔格澳大利亚-布鲁因，Jos deAU-拉腊，鲁宾AU-迈克尔·斯托尔伯格澳大利亚-Polleres，Axel澳大利亚-菲尔，克里斯蒂娜澳大利亚-巴斯勒，克里斯托夫AU-芬塞尔，迪特TI-Web服务建模本体。JO-申请。本体论VL-1型IS-1标准第77页EP-1062005年上半年//UR-（欧元）http://content.iospress.com/articles/applied-ontology/ao000008急诊室-