@Article{DagRep.7.9,
title = {{Dagstuhl Reports, Volume 7, Issue 9, September 2017, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {9},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.9},
URN = {urn:nbn:de:0030-drops-86817},
doi = {10.4230/DagRep.7.9},
annote = {Keywords: Dagstuhl Reports, Volume 7, Issue 9, September 2017, Complete Issue}
}
@Article{DagRep.7.9.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 7, Issue 9, 2017}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {9},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.9.i},
URN = {urn:nbn:de:0030-drops-86801},
doi = {10.4230/DagRep.7.9.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 7, Issue 9, 2017}
}
@Article{dawar_et_al:DagRep.7.9.1,
author = {Dawar, Anuj and Gr\"{a}del, Erich and Kolaitis, Phokion G. and Schwentick, Thomas},
title = {{Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)}},
pages = {1--25},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {9},
editor = {Dawar, Anuj and Gr\"{a}del, Erich and Kolaitis, Phokion G. and Schwentick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.9.1},
URN = {urn:nbn:de:0030-drops-85863},
doi = {10.4230/DagRep.7.9.1},
annote = {Keywords: algorithms, database theory, descriptive complexity, finite model theory, independence logic, knowledge representation, model checking}
}
@Article{blanchette_et_al:DagRep.7.9.26,
author = {Blanchette, Jasmin Christian and Fuhs, Carsten and Sofronie-Stokkermans, Viorica and Tinelli, Cesare},
title = {{Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371)}},
pages = {26--46},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {9},
editor = {Blanchette, Jasmin Christian and Fuhs, Carsten and Sofronie-Stokkermans, Viorica and Tinelli, Cesare},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.9.26},
URN = {urn:nbn:de:0030-drops-85872},
doi = {10.4230/DagRep.7.9.26},
annote = {Keywords: Automated Deduction, Program Verification, Certification}
}
@Article{blackburn_et_al:DagRep.7.9.47,
author = {Blackburn, Jeremy and De Cristofaro, Emiliano and Sirivianos, Michael and Strufe, Thorsten},
title = {{Cybersafety in Modern Online Social Networks (Dagstuhl Reports 17372)}},
pages = {47--61},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {9},
editor = {Blackburn, Jeremy and De Cristofaro, Emiliano and Sirivianos, Michael and Strufe, Thorsten},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.9.47},
URN = {urn:nbn:de:0030-drops-85886},
doi = {10.4230/DagRep.7.9.47},
annote = {Keywords: Cybersafety, Online Social Networks, Security and Privacy, Legal and Ethical Issues on the Web}
}
@Article{darwiche_et_al:DagRep.7.9.62,
author = {Darwiche, Adnan and Marquis, Pierre and Suciu, Dan and Szeider, Stefan},
title = {{Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)}},
pages = {62--85},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {9},
editor = {Darwiche, Adnan and Marquis, Pierre and Suciu, Dan and Szeider, Stefan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.9.62},
URN = {urn:nbn:de:0030-drops-85896},
doi = {10.4230/DagRep.7.9.62},
annote = {Keywords: Knowledge compilation, Constraints, Preprocessing, Probabilistic databases, Model counting}
}
@Article{schmid_et_al:DagRep.7.9.86,
author = {Schmid, Ute and Muggleton, Stephen H. and Singh, Rishabh},
title = {{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)}},
pages = {86--108},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {9},
editor = {Schmid, Ute and Muggleton, Stephen H. and Singh, Rishabh},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.9.86},
URN = {urn:nbn:de:0030-drops-85909},
doi = {10.4230/DagRep.7.9.86},
annote = {Keywords: inductive program synthesis, inductive logic programming, probabilistic programming, end-user programming, human-like computing}
}
@Article{cremers_et_al:DagRep.7.9.109,
author = {Cremers, Daniel and Leal-Taix\'{e}, Laura and Vidal, Ren\'{e}},
title = {{Deep Learning for Computer Vision (Dagstuhl Seminar 17391)}},
pages = {109--125},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {9},
editor = {Cremers, Daniel and Leal-Taix\'{e}, Laura and Vidal, Ren\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.9.109},
URN = {urn:nbn:de:0030-drops-85912},
doi = {10.4230/DagRep.7.9.109},
annote = {Keywords: computer vision, convolutional networks, deep learning, machine learning}
}
@Article{benford_et_al:DagRep.7.9.126,
author = {Benford, Steve and H\"{o}\"{o}k, Kristina and Marshall, Joseph and Mueller, Florian and Svanes, Dag},
title = {{Body-Centric Computing (Dagstuhl Reports 17392)}},
pages = {126--149},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {9},
editor = {Benford, Steve and H\"{o}\"{o}k, Kristina and Marshall, Joseph and Mueller, Florian and Svanes, Dag},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.9.126},
URN = {urn:nbn:de:0030-drops-85926},
doi = {10.4230/DagRep.7.9.126},
annote = {Keywords: embodiment, Human Computer Interaction, mobile computing, quantified self}
}
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
Feedback for Dagstuhl Publishing