HTML Export for Dagstuhl Reports, Volume 9, Issue 2

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 9, Issue 2, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 9, Issue 2, February 2019, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.9.2">10.4230/DagRep.9.2</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 9, Issue 2, 2019</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.9.2.i">10.4230/DagRep.9.2.i</a>
</li>
<li>
    <span class="authors">Mikko Kivelä, Fintan McGee, Guy Melançon, Nathalie Henry Riche, and Tatiana von Landesberger</span>
    <span class="title">Visual Analytics of Multilayer Networks Across Disciplines (Dagstuhl Seminar 19061)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.9.2.1">10.4230/DagRep.9.2.1</a>
</li>
<li>
    <span class="authors">Sébastien Bardin, Nikolaj Bjørner, and Cristian Cadar</span>
    <span class="title">Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.9.2.27">10.4230/DagRep.9.2.27</a>
</li>
<li>
    <span class="authors">Jyotirmoy V. Deshmukh, Oded Maler, and Dejan Nickovic</span>
    <span class="title">Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.9.2.48">10.4230/DagRep.9.2.48</a>
</li>
<li>
    <span class="authors">Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, and Renata Wassermann</span>
    <span class="title">The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.9.2.73">10.4230/DagRep.9.2.73</a>
</li>
<li>
    <span class="authors">Rachid Alami, Kerstin I. Eder, Guy Hoffman, and Hadas Kress-Gazit</span>
    <span class="title">Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.9.2.91">10.4230/DagRep.9.2.91</a>
</li>
<li>
    <span class="authors">Claudia Clopath, Ruben De Winne, Mohammad Emtiyaz Khan, and Tom Schaul</span>
    <span class="title">AI for the Social Good (Dagstuhl Seminar 19082)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.9.2.111">10.4230/DagRep.9.2.111</a>
</li>
<li>
    <span class="authors">Seok-Hee Hong, Michael Kaufmann, János Pach, and Csaba D. Tóth</span>
    <span class="title">Beyond-Planar Graphs: Combinatorics, Models and Algorithms (Dagstuhl Seminar 19092)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.9.2.123">10.4230/DagRep.9.2.123</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode