达格斯图尔宣言，第7卷，第1期

摘要

引用为

《达格斯图尔宣言》，第7卷，第1期，第1-141页，达格斯图-莱布尼兹·泽特鲁姆宫（2019）

@第{DagMan.7.1条，title={{Dagstuhl宣言，第7卷，第1期，2018年1月至12月，完整版}}，页数={1--141}，journal={达格斯图尔宣言}，ISSN={2193-2433}，年份＝{2019}，体积={7}，数字＝{1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagMan.7.1下载},URN={URN:nbn:de:0030-drops-101808}，doi={10.4230/DagMan.7.1}，annote={关键词：达格斯图尔宣言，第7卷，第1期，2018年1月至12月，完整版}}

摘要

引用为

《达格斯图尔宣言》，第7卷，第1期，第i-ii页，达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik（2019）

@第{DagMan.7.1.i条，title={{Dagstuhl宣言，目录，第7卷，2018年第1期}}，页面={i--ii}，journal={达格斯图尔宣言}，ISSN={2193-2433}，年份={2019}，体积={7}，数字={1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagMan.7.1.i},URN={URN:nbn:de:0030-drops-101795}，doi={10.4230/DagMan.7.1.i}，annote={关键词：达格斯图尔宣言，目录，第7卷，第1期，2018年}}

摘要

引用为

谢尔盖·阿比特波尔（Serge Abiteboul）、马塞洛·阿雷纳斯（Marcelo Arenas）、巴勃罗·巴塞洛（Pablo Barceló）、梅根·别文努（Meghyn Bienvenu）、迭戈·卡尔瓦内斯（Diego Calvanese）、克莱尔·戴维（Claire David）、理查德·赫尔（Richard Hull）、埃克·胡尔梅耶（Eyke Hüllermier）、本尼·基梅尔菲尔德（Benny Kimelfeld）、利奥尼德·利金（Leonid Libkin）、维姆·马滕斯（Wim Martens）、托瓦·米洛（Tova。数据管理原理研究方向（Dagstuhl Perspectives Workshop 16151）。《达格斯图尔宣言》，第7卷，第1期，第1-29页，达格斯图-莱布尼兹·泽特鲁姆宫（2018）

@文章{abitebul_et_al:DagMan.7.1.1，author={Abiteboul、Serge和Arenas、Marcelo和Barcel、Pablo和Bienvenu、Meghyn和Calvanee、Diego和David、Claire和Hull、Richard和H“{u} 勒梅耶埃克和基梅尔菲尔德、本尼和利布金、列奥尼德和马滕斯、维姆和米洛、托娃和穆拉克、菲利浦和尼文、弗兰克和奥尔蒂斯、马格达莱纳和施温提克、托马斯和斯托亚诺维奇、朱莉娅和苏、建文和苏修、丹和维亚努、维克多和易、柯}，title={{数据管理原理研究方向（Dagstuhl Perspectives Workshop 16151）}}，页数={1--29}，journal={达格斯图尔宣言}，ISSN={2193-2433}，年份={2018年}，体积={7}，数字={1}，editor={Abiteboul、Serge和Arenas、Marcelo和Barcel、Pablo和Bienvenu、Meghyn和Calvanee、Diego和David、Claire和Hull、Richard和H“{u} 勒梅耶，Eyke和Kimelfeld，Benny和Libkin，Leonid和Martens，Wim和Milo，Tova和Murlak，Filip和Neven，Frank和Ortiz，Magdalena和Schwentick，Thomas和Stoyanovich，Julia和Su，Jianwen和Suciu，Dan和Vianu，Victor和Yi，Ke}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagMan.7.1.1},URN＝{URN:nbn:de:00030-drops-86772}，doi＝{10.4230/DagMan.7.11}，annote={关键词：数据库理论、数据管理原理、查询语言、高效查询处理、查询优化、异构数据、不确定性、知识丰富的数据管理、机器学习、工作流、人机相关数据、道德}}

摘要

引用为

马库斯·菲德勒（Markus Fiedler）、塞巴斯蒂安·莫勒（Sebastian Möller）、彼得·雷切尔（Peter Reichl）和谢敏（Min Xie）。QoE Vadis？（Dagstuhl Perspectives Workshop 16472）。《达格斯图尔宣言》，第7卷，第1期，第30-51页，达格斯图-莱布尼兹·泽特鲁姆宫（2018）

@第{fiedler_et_al:DagMan.7.1.30条，author={菲德勒、马库斯和M“{o} 勒、塞巴斯蒂安（Sebastian）和瑞奇（Reichl）、彼得（Peter）和谢（Xie）、敏（Min}），title={QoE Vadis？（Dagstuhl Perspectives Workshop 16472）}，页数＝{30-51}，journal={达格斯图尔宣言}，ISSN={2193-2433}，年份={2018年}，体积={7}，数字={1}，editor={Fiedler、Markus和M\“{o} 勒尔、塞巴斯蒂安（Sebastian）和瑞奇（Reichl）、彼得（Peter）和谢（Xie）、敏（Min}），publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagMan.7.1.30},URN={URN:nbn:de:0030-drops-86830}，doi={10.4230/DagMan.7.1.30}，annote={关键词：多媒体、网络和应用程序管理、网络质量监测和测量、体验质量、社会经济和商业方面}}

摘要

引用为

Evrim Acar、Animashree Anandkumar、Lenore Mullin、Sebnem Rusitschka和Volker Tresp。物联网的张量计算（Dagstuhl Perspectives Workshop 16152）。《达格斯图尔宣言》，第7卷，第1期，第52-68页，达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik（2018）

@第{acar_et_al:DagMan.7.1.52条，author={Acar、Evrim和Anandkumar、Animashere和Mullin、Lenore和Rusitschka、Sebnem和Tresp、Volker}，title={{物联网张量计算（Dagstuhl Perspectives Workshop 16152）}}，页数={52--68}，journal={达格斯图尔宣言}，ISSN={2193-2433}，年份={2018年}，体积={7}，数字={1}，editor={Acar、Evrim和Anandkumar、Animashire和Mullin、Lenore和Rusitschka、Sebnem和Tresp、Volker}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagMan.7.1.52},URN={URN:nbn:de:0030-drops-88244}，doi={10.4230/DagMan.7.1.52}，annote={关键词：分布式系统、实时和嵌入式系统、信号处理系统、学习、多代理系统}}

摘要

引用为

Dov M.Gabbay、Massimiliano Giacomin、廖北水和Leendert van der Torre。形式论证的现在和未来（Dagstuhl Perspectives Workshop 15362）。《达格斯图尔宣言》，第7卷，第1期，第69-95页，达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik（2018）

@第{gabbay_et_al:DagMan.7.1.69条，author={Gabbay，Dov M.和Giacomin，Massimiliano和Liao，Beiwai和van der Torre，Leendert}，title={{形式论证的现在和未来（Dagstuhl Perspectives Workshop 15362）}}，页数={69--95}，journal={达格斯图尔宣言}，ISSN={2193-2433}，年份={2018年}，体积={7}，数字={1}，editor={Gabbay，Dov M.和Giacomin，Massimiliano和Liao，Beiwai和van der Torre，Leendert}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagMan.7.1.69},URN={URN:nbn:de:0030-drops-98957}，doi={10.4230/DagMan.7.1.69}，annote={关键词：人工智能、知识表示与推理、多智能体系统、论证、非单调逻辑}}

摘要

引用为

尼古拉·费罗（Nicola Ferro）、诺伯特·富尔（Norbert Fuhr）、格雷戈里·格雷芬斯特特（Gregory Grefenstette）、约瑟夫·康斯坦（Joseph A.Konstan）、巴勃罗·卡斯特尔斯（Pablo Castells）、伊丽莎白·戴利（Elizabeth M.Daly）、蒂埃里·德克斯特朗（Thierry Declerck）、迈克尔·埃克斯特兰德（Michael D.Ekstrand）、沃纳·盖尔（Werner Geyer）、朱利奥·冈萨洛（Julio Gonzalo）、茨维·库弗利克（Tsvi，和贾斯汀·佐贝尔。从评估到预测性能：如何将信息检索、自然语言处理和推荐系统转化为预测科学（Dagstuhl Perspectives Workshop 17442）。《达格斯图尔宣言》，第7卷，第1期，第96-139页，达格斯图-莱布尼兹·泽特鲁姆宫（2018）

@第{ferro_et_al:DagMan.7.1.96条，作者={Ferro、Nicola和Fuhr、Norbert和Grefenstette、Gregory和Konstan、Joseph A.和Castells、Pablo和Daly、Elizabeth M.和Declerck、Thierry和Ekstrand、Michael D.和Geyer、Werner和Gonzalo、Julio和Kuflik、Tsvi和Lind{e} n个克里斯特·马格尼尼（Krister and Magnini）、贝尔纳多（Bernardo）和聂（Nie）、建云（Jian-Yun）和佩雷戈（Perego）、拉斐尔（Raffaele）和夏皮拉（Shapira）、布拉查（Bracha）和索博罗夫（Soboroff）、伊恩（Ian）和丁塔列夫（Tintarev）、纳瓦（Nava）和维斯，title={{从评估到预测性能：如何将信息检索、自然语言处理和推荐系统转化为预测科学（Dagstuhl Perspectives Workshop 17442）}}，页数={96--139}，journal={达格斯图尔宣言}，ISSN={2193-2433}，年份={2018年}，体积={7}，数字={1}，编辑={费罗、尼古拉和福尔、诺伯特和格雷芬斯特特、格雷戈里和康斯坦、约瑟夫A.和卡斯特尔斯、巴勃罗和戴利、伊丽莎白M.和德克勒克、蒂埃里和埃克斯特兰德、迈克尔D.和盖尔、沃纳和冈萨罗、朱利奥和库弗利克、茨维和林德{e} n个克里斯特·马格尼尼（Krister and Magnini）、贝尔纳多（Bernardo）和聂（Nie）、建云（Jian-Yun）和佩雷戈（Perego）、拉斐尔（Raffaele）和夏皮拉（Shapira）、布拉查（Bracha）和索博罗夫（Soboroff）、伊恩（Ian）和丁塔列夫（Tintarev）、纳瓦（Nava）和维斯普尔（Verspoor）、卡琳（Karin）和威廉姆森（Willemsen）、马提恩（Martijn C.）和佐贝尔（Zobel），贾斯汀（Justin），publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagMan.7.1.96},URN={URN:nbn:de:0030-drops-98987}，doi={10.4230/DagMan.7.1.96}，annote={关键词：信息系统，形式化模型，评估，仿真，用户交互}}