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