达格斯图尔报告，第10卷，第2期

摘要

引用为

《达格斯图尔报告》，第10卷，第2期，第1-89页，达格斯图-莱布尼兹·泽特鲁姆宫（2020年）

@第{DagRep.10.2条，title={{Dagstuhl Reports，第10卷，第2期，2020年2月，完整版}}，页数={1--89}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2020年}，体积={10}，数字={2}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.10.2},URN={URN:nbn:de:0030-drops-130554}，doi={10.4230/DagRep.10.2}，annote={关键词：达格斯图尔报告，第10卷，第2期，2020年2月，完整版}}

摘要

引用为

《达格斯图尔报告》，第10卷，第2期，第i-ii页，达格斯图-莱布尼兹·泽特鲁姆宫（2020年）

@第｛DagRep.10.i条，title={{Dagstuhl Reports，目录，第10卷，第2期，2020年}}，页面={i--ii}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2020年}，体积={10}，数字={2}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.10.2.i},URN={URN:nbn:de:0030-drops-130569}，doi={10.4230/DagRep.10.2.i}，annote＝｛关键词：目录，前沿内容｝}

摘要

引用为

Olaf Beyersdorff、Uwe Egly、Meena Mahajan和Cláudia Nalon。SAT与互动（Dagstuhl研讨会20061）。《达格斯图尔报告》，第10卷，第2期，第1-18页，达格斯图-莱布尼兹·泽特鲁姆宫（2020年）

@第{beyersdorff_et_al:DagRep.10.2.1条，author={Beyersdorff、Olaf和Egly、Uwe和Mahajan、Meena和Nalon、Cl\'{a} 乌迪亚},title={{SAT与互动（Dagstuhl研讨会20061）}}，页数={1--18}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2020年}，体积={10}，数字={2}，editor={Beyersdorff、Olaf和Egly、Uwe和Mahajan、Meena和Nalon、Cl\'{a} 乌迪亚},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.10.2.1},URN={URN:nbn:de:0030-drops-130576}，doi={10.4230/DagRep.10.2.1}，annote={关键词：SAT，MaxSAT，QBF，证明复杂性，深度推理，模态逻辑，求解}}

摘要

引用为

亚历山大·阿提基斯（Alexander Artikis）、托马斯·艾特（Thomas Eiter）、亚历山德罗·玛加拉（Alessandro Margara）和斯迪恩·范萨梅伦（Stijn Vansummeren）。复合事件识别基础（Dagstuhl Seminar 20071）。《达格斯图尔报告》第10卷第2期第19-49页，达格斯图宫-莱布尼兹·泽特鲁姆宫（2020年）

@第{artikis_et_al:DagRep.10.2.19条，author={Artikis、Alexander和Eiter、Thomas和Margara、Alessandro和Vansummeren、Stijn}，title={{复合事件识别基础（Dagstuhl Seminar 20071）}}，页数={19--49}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2020年}，体积={10}，数字={2}，editor={Artikis、Alexander和Eiter、Thomas和Margara、Alessandro和Vansummeren、Stijn}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.10.2.19},URN={URN:nbn:de:0030-drops-130587}，doi={10.4230/DagRep.10.2.19}，annote={关键词：复杂事件处理，事件代数，模式匹配，流推理，时态推理}}

摘要

引用为

妮可·梅戈、大卫·什莫伊斯和奥拉·斯文森。日程安排（Dagstuhl研讨会，20081）。《达格斯图尔报告》，第10卷，第2期，第50-75页，达格斯图-莱布尼兹·泽特鲁姆宫（2020年）

@第{megow_et_al:DagRep.10.2.50条，author={梅戈、妮可和什莫伊斯、戴维和斯文森、奥拉}，title={{日程安排（Dagstuhl研讨会，20081）}}，页数＝{50-75}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2020年}，体积={10}，数字={2}，编辑＝{梅戈，妮可和什莫伊，大卫和斯文森，奥拉}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.10.2.50},URN={URN:nbn:de:0030-drops-130590}，doi={10.4230/DagRep.10.2.50}，annote={关键词：调度、优化、近似算法、路由、运输、机制设计}}

摘要

引用为

克里斯蒂安·科斯汀、米容·金、盖·范登·布勒克和托马斯·齐默尔曼。SE4ML：基于AI-ML系统的软件工程（Dagstuhl Seminar 20091）。《达格斯图尔报告》第10卷第2期第76-87页，达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik（2020）

@第{kersting_et_al:DagRep.10.2.76条，author={Kersting、Kristian和Kim、Miryung和Van den Broeck、Guy和Zimmermann、Thomas}，title＝{{SE4ML-基于AI ML的系统的软件工程（Dagstuhl研讨会20091）}，页数={76--87}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2020年}，体积={10}，数字={2}，editor={Kersting、Kristian和Kim、Miryung和Van den Broeck、Guy和Zimmermann、Thomas}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.10.2.76},URN={URN:nbn:de:0030-drops-130603}，doi={10.4230/DagRep.10.276}，annote={关键词：ml的正确性/可解释性/可跟踪性/公平性，数据科学家的生产力，ml系统的调试/测试/验证}}