达格斯图尔报告，第9卷，第9期
-
部分： 音量： 达格斯图尔报告，第9卷
日志： 达格斯图尔报告（DagRep）
出版物详细信息
发布时间：2020-02-19 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik DBLP： 数据库/期刊/dagstuhl-reports/dagstuhl-report 9
访问号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
Dagstuhl Reports，第9卷，第9期，2019年9月，完整版
摘要
引用为
@文章{DagRep.9.9， title={{Dagstuhl Reports，第9卷，第9期，2019年9月，完整版}}， 页数={1--157}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2020年}， 体积={9}， 数字={9}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.9 }, URN={URN:nbn:de:0030-drops-119895}， doi={10.4230/DagRep.9.9}， annote={关键词：达格斯图尔报告，第9卷，第9期，2019年9月，完整版} }
Dagstuhl报告，目录，第9卷，第9期，2019
摘要
引用为
@第{DagRep.9.9.i条， title={{Dagstuhl Reports，目录，第9卷，第9期，2019}}， 页面={i--ii}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2020年}， 体积={9}， 数字={9}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.9.9.i }, URN={URN:nbn:de:0030-drops-119902}， doi={10.4230/DagRep.9.9.i}， annote={Keywords:目录，Frontmatter} }
逻辑与学习（19361年达格斯图尔研讨会）
摘要
引用为
@文章{benedikt_et_al:DagRep.9.9.1， author={Benedikt、Michael和Kersting、Kristian和Kolaitis、Phokion G.和Neider，Daniel}， title={{逻辑与学习（达格斯图尔研讨会19361）}}， 页数={1--22}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2020年}， 体积={9}， 数字={9}， editor={Benedikt、Michael和Kersting、Kristian和Kolaitis、Phokion G.和Neider、Daniel}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.9.1 }, URN={URN:nbn:de:0030-drops-118425}， doi={10.4230/DagRep.9.9.1}， annote={关键词：人工智能、自动推理、数据库、深度学习、归纳逻辑编程、逻辑、逻辑和学习、机器学习的逻辑、逻辑与机器学习、机器学习、逻辑的机器学习、神经符号方法} }
超出可满足性的扣除（19371年达格斯图尔研讨会）
摘要
引用为
@第{fuhs_et_al:DagRep.9.9.23条， author={Fuhs、Carsten和R\“ {u} 毫米 ，菲利普和施密特，雷娜特和蒂内利，塞萨尔}， title＝{超越可满足性的演绎（Dagstuhl研讨会19371）}}， 页数={23--44}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2020年}， 体积={9}， 数字={9}， editor={Fuhs、Carsten和R\“ {u} 毫米 ，菲利普和施密特，雷娜特和蒂内利，塞萨尔}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.9.23 }, URN={URN:nbn:de:0030-drops-118432}， doi={10.4230/DagRep.9.9.23}， annote={关键词：溯因、自动演绎、插值、量词消除、合成} }
面向应用的计算社会选择（Dagstuhl研讨会19381）
摘要
引用为
@第{grandi_et_al:DagRep.9.9.45条， author={Grandi、Umberto和Napel、Stefan和Niedermeier、Rolf和Venable、Kristen Brent}， title={{面向应用的计算社会选择（Dagstuhl研讨会19381）}}， 页数={45--65}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2020年}， 体积={9}， 数字={9}， 编辑＝{格兰迪、翁贝托和纳佩尔、斯特凡和尼德梅尔、罗尔夫和维纳布尔、克里斯汀·布伦特}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.9.45 }, URN={URN:nbn:de:0030-drops-118445}， doi={10.4230/DagRep.9.9.45}， annote={关键词：ai代表社会利益，集体决策，多智能体系统，社会选择} }
数据生态系统：组织间的主权数据交换（19391年达格斯图尔研讨会）
摘要
引用为
@文章{cappiello_et_al:DagRep.9.9.66， author={卡皮耶罗、辛齐亚和加尔、阿维格多尔和贾克、马提亚斯和雷霍夫、雅各布}， title={{数据生态系统：组织间的主权数据交换（Dagstuhl研讨会19391）}}， 页数={66--134}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2020年}， 体积={9}， 数字={9}， editor={卡皮耶罗（Cappiello）、辛齐亚（Cinzia）和加尔（Gal）、阿维格多尔（Avigdor）和贾克（Jarke）、马提亚斯（Matthias）和雷霍夫（Rehof）、雅各布（Jakob）}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.9.66 }, URN={URN:nbn:de:0030-drops-118450}， doi={10.4230/DagRep.9.9.66}， annote={关键词：数据主权、数据生态系统、商业模式、数据集成、道德} }
图多项式的比较理论（19401年达格斯图尔研讨会）
摘要
引用为
@文章{ellismonaghan_et_al:DagRep.9.9.135， author={Ellis-Monaghan、Jo和Goodall、Andrew和Moffatt、Iain和Morgan、Kerri}， title={{图多项式的比较理论（19401年达格斯图尔研讨会）}}， 页数={135--155}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2020年}， 体积={9}， 数字={9}， editor={Ellis-Monaghan、Jo和Goodall、Andrew和Moffatt、Iain和Morgan、Kerri}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.9.135 }, URN={URN:nbn:de:0030-drops-118460}， doi＝{10.4230/DagRep.9.135}， annote={关键词：图多项式、图与拟阵不变量、Tutte多项式、拓扑与代数图论} }