HTML Export for Dagstuhl Reports, Volume 7, Issue 9

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 7, Issue 9, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 7, Issue 9, September 2017, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.9">10.4230/DagRep.7.9</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 7, Issue 9, 2017</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.9.i">10.4230/DagRep.7.9.i</a>
</li>
<li>
    <span class="authors">Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, and Thomas Schwentick</span>
    <span class="title">Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.9.1">10.4230/DagRep.7.9.1</a>
</li>
<li>
    <span class="authors">Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, and Cesare Tinelli</span>
    <span class="title">Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.9.26">10.4230/DagRep.7.9.26</a>
</li>
<li>
    <span class="authors">Jeremy Blackburn, Emiliano De Cristofaro, Michael Sirivianos, and Thorsten Strufe</span>
    <span class="title">Cybersafety in Modern Online Social Networks (Dagstuhl Reports 17372)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.9.47">10.4230/DagRep.7.9.47</a>
</li>
<li>
    <span class="authors">Adnan Darwiche, Pierre Marquis, Dan Suciu, and Stefan Szeider</span>
    <span class="title">Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.9.62">10.4230/DagRep.7.9.62</a>
</li>
<li>
    <span class="authors">Ute Schmid, Stephen H. Muggleton, and Rishabh Singh</span>
    <span class="title">Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.9.86">10.4230/DagRep.7.9.86</a>
</li>
<li>
    <span class="authors">Daniel Cremers, Laura Leal-Taixé, and René Vidal</span>
    <span class="title">Deep Learning for Computer Vision (Dagstuhl Seminar 17391)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.9.109">10.4230/DagRep.7.9.109</a>
</li>
<li>
    <span class="authors">Steve Benford, Kristina Höök, Joseph Marshall, Florian Mueller, and Dag Svanes</span>
    <span class="title">Body-Centric Computing (Dagstuhl Reports 17392)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.9.126">10.4230/DagRep.7.9.126</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