@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}
}