@Article{DagRep.5.5,
  title =	{{Dagstuhl Reports, Volume 5, Issue 5, May 2015, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5},
  URN =		{urn:nbn:de:0030-drops-56739},
  doi =		{10.4230/DagRep.5.5},
  annote =	{Keywords: Dagstuhl Reports, Volume 5, Issue 5, May 2015, Complete Issue}
}
@Article{DagRep.5.5.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 5, Issue 5, 2015}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.i},
  URN =		{urn:nbn:de:0030-drops-56746},
  doi =		{10.4230/DagRep.5.5.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 5, Issue 5, 2015}
}
@Article{birkedal_et_al:DagRep.5.5.1,
  author =	{Birkedal, Lars and Dreyer, Derek and Gardner, Philippa and Shao, Zhong},
  title =	{{Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)}},
  pages =	{1--23},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{5},
  editor =	{Birkedal, Lars and Dreyer, Derek and Gardner, Philippa and Shao, Zhong},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.1},
  URN =		{urn:nbn:de:0030-drops-53565},
  doi =		{10.4230/DagRep.5.5.1},
  annote =	{Keywords: Verification of Concurrent Programs (Models, Logics, Automated Analysis), Concurrent Programming}
}
@Article{casati_et_al:DagRep.5.5.24,
  author =	{Casati, Roberto and Cavanagh, Patrick and Santos, Paulo E.},
  title =	{{The Message in the Shadow: Noise or Knowledge? (Dagstuhl Seminar 15192)}},
  pages =	{24--42},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{5},
  editor =	{Casati, Roberto and Cavanagh, Patrick and Santos, Paulo E.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.24},
  URN =		{urn:nbn:de:0030-drops-53570},
  doi =		{10.4230/DagRep.5.5.24},
  annote =	{Keywords: Cast Shadows, Perception, Computer Vision, Space Cognition}
}
@Article{hauptmann_et_al:DagRep.5.5.43,
  author =	{Hauptmann, Alexander G. and Hodson, James and Li, Juanzi and Sebe, Nicu and Rettinger, Achim},
  title =	{{Cross-Lingual Cross-Media Content Linking: Annotations and Joint Representations (Dagstuhl Seminar 15201)}},
  pages =	{43--56},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{5},
  editor =	{Hauptmann, Alexander G. and Hodson, James and Li, Juanzi and Sebe, Nicu and Rettinger, Achim},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.43},
  URN =		{urn:nbn:de:0030-drops-53590},
  doi =		{10.4230/DagRep.5.5.43},
  annote =	{Keywords: Cross-lingual, Cross-media, Cross-modal, Natural language processing, Computer vision, Multimedia, Knowledge representation, Machine learning, Information extraction, Information retrieval}
}
@Article{doerr_et_al:DagRep.5.5.57,
  author =	{Doerr, Benajmin and Hansen, Nikolaus and Igel, Christian and Thiele, Lothar},
  title =	{{Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211)}},
  pages =	{57--91},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{5},
  editor =	{Doerr, Benajmin and Hansen, Nikolaus and Igel, Christian and Thiele, Lothar},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.57},
  URN =		{urn:nbn:de:0030-drops-54022},
  doi =		{10.4230/DagRep.5.5.57},
  annote =	{Keywords: evolutionary algorithms, black-box optimization, randomized search heuristics, algorithms, artificial intelligence}
}
@Article{douven_et_al:DagRep.5.5.92,
  author =	{Douven, Igor and Kern-Isberner, Gabriele and Knauff, Markus and Prade, Henri},
  title =	{{Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge - a Synthesis and a Roadmap of Challenges (Dagstuhl Seminar 15221)}},
  pages =	{92--114},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{5},
  editor =	{Douven, Igor and Kern-Isberner, Gabriele and Knauff, Markus and Prade, Henri},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.92},
  URN =		{urn:nbn:de:0030-drops-54033},
  doi =		{10.4230/DagRep.5.5.92},
  annote =	{Keywords: uncertain reasoning; commonsense reasoning; rational reasoning; conditionals; nonmonotonic logics; belief revision; similarity-based reasoning: case-based, interpolative, extrapolative, and analogical reasoning; reasoning on time, space, and causality; abductive reasoning; semantical framework}
}
@Article{ko_et_al:DagRep.5.5.115,
  author =	{Ko, Andrew J. and Krishnamurthi, Shriram and Murphy, Gail C. and Siegmund, Janet},
  title =	{{Human-Centric Development of Software Tools (Dagstuhl Seminar 15222)}},
  pages =	{115--132},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{5},
  editor =	{Ko, Andrew J. and Krishnamurthi, Shriram and Murphy, Gail C. and Siegmund, Janet},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.115},
  URN =		{urn:nbn:de:0030-drops-54049},
  doi =		{10.4230/DagRep.5.5.115},
  annote =	{Keywords: Software engineering, developer tools, human factors}
}