@Article{DagRep.4.8,
  title =	{{Dagstuhl Reports, Volume 4, Issue 8, August 2014, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{8},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8},
  URN =		{urn:nbn:de:0030-drops-48964},
  doi =		{10.4230/DagRep.4.8},
  annote =	{Keywords: Dagstuhl Reports, Volume 4, Issue 8, August 2014, Complete Issue}
}
@Article{DagRep.4.8.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 4, Issue 8, 2014}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{8},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.i},
  URN =		{urn:nbn:de:0030-drops-48954},
  doi =		{10.4230/DagRep.4.8.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 4, Issue 8, 2014}
}
@Article{benedikt_et_al:DagRep.4.8.1,
  author =	{Benedikt, Michael and Lutz, Carsten and Ten Cate, Balder},
  title =	{{Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331)}},
  pages =	{1--20},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{8},
  editor =	{Benedikt, Michael and Lutz, Carsten and Ten Cate, Balder},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.1},
  URN =		{urn:nbn:de:0030-drops-47941},
  doi =		{10.4230/DagRep.4.8.1},
  annote =	{Keywords: Integrity constraints, Open-World Query Answering, Ontology-Based Data Access, Knowledge Representation, Automated Reasoning, Decidable Fragments of}
}
@Article{agotnes_et_al:DagRep.4.8.21,
  author =	{Agotnes, Thomas and Bulling, Nils},
  title =	{{Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332)}},
  pages =	{21--44},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{8},
  editor =	{Agotnes, Thomas and Bulling, Nils},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.21},
  URN =		{urn:nbn:de:0030-drops-47971},
  doi =		{10.4230/DagRep.4.8.21},
  annote =	{Keywords: multi-agent systems, coordination, formal methods, game theory, logic, agreement technologies}
}
@Article{haxhimusa_et_al:DagRep.4.8.45,
  author =	{Haxhimusa, Yll and van Rooij, Iris and Varma, Sashank and Wareham, Todd},
  title =	{{Resource-bounded Problem Solving (Dagstuhl Seminar 14341)}},
  pages =	{45--72},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{8},
  editor =	{Haxhimusa, Yll and van Rooij, Iris and Varma, Sashank and Wareham, Todd},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.45},
  URN =		{urn:nbn:de:0030-drops-47989},
  doi =		{10.4230/DagRep.4.8.45},
  annote =	{Keywords: complexity theory, problem solving, cognitive psychology, computational trade-offs}
}
@Article{megiddo_et_al:DagRep.4.8.73,
  author =	{Megiddo, Nimrod and Mehlhorn, Kurt and Savani, Rahul and Vazirani, Vijay V.},
  title =	{{Equilibrium Computation (Dagstuhl Seminar 14342)}},
  pages =	{73--88},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{8},
  editor =	{Megiddo, Nimrod and Mehlhorn, Kurt and Savani, Rahul and Vazirani, Vijay V.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.73},
  URN =		{urn:nbn:de:0030-drops-47990},
  doi =		{10.4230/DagRep.4.8.73},
  annote =	{Keywords: Algorithms, Computational Complexity, Equilibrium Computation, Game Theory, Market Equilibrium, Nash Equilibrium}
}
@Article{kroening_et_al:DagRep.4.8.89,
  author =	{Kroening, Daniel and Reps, Thomas W. and Seshia, Sanjit A. and Thakur, Aditya},
  title =	{{Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)}},
  pages =	{89--106},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{8},
  editor =	{Kroening, Daniel and Reps, Thomas W. and Seshia, Sanjit A. and Thakur, Aditya},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.89},
  URN =		{urn:nbn:de:0030-drops-48007},
  doi =		{10.4230/DagRep.4.8.89},
  annote =	{Keywords: Program analysis, Abstract interpretation, Abstract domain, Fixed-point finding, Satisfiability checking, Satisfiability modulo theories, Decision pro}
}
@Article{cousot_et_al:DagRep.4.8.107,
  author =	{Cousot, Patrick and Kroening, Daniel and Sinz, Carsten},
  title =	{{Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352)}},
  pages =	{107--125},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{8},
  editor =	{Cousot, Patrick and Kroening, Daniel and Sinz, Carsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.107},
  URN =		{urn:nbn:de:0030-drops-48203},
  doi =		{10.4230/DagRep.4.8.107},
  annote =	{Keywords: Software quality, Bug finding, Verification, Decision procedures, SMT/SAT solvers}
}
@Article{alexa_et_al:DagRep.4.8.126,
  author =	{Alexa, Marc and Bickel, Bernd and McMains, Sara and Rushmeier, Holly E.},
  title =	{{Computational Aspects of Fabrication (Dagstuhl Seminar 14361)}},
  pages =	{126--150},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{8},
  editor =	{Alexa, Marc and Bickel, Bernd and McMains, Sara and Rushmeier, Holly E.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.126},
  URN =		{urn:nbn:de:0030-drops-48830},
  doi =		{10.4230/DagRep.4.8.126},
  annote =	{Keywords: Fabrication, Manufacturing Process Characterization (Additive Machining), 3D printing, Layered Manufacturing, 3D Rasterization, Geometric Modeling, Shape Perception, Material Properties (Mechanical/Optical)}
}
@Article{billinghurst_et_al:DagRep.4.8.151,
  author =	{Billinghurst, Mark and Davies, Nigel and Langheinrich, Marc and Schmidt, Albrecht},
  title =	{{Augmenting Human Memory - Capture and Recall in the Era of Lifelogging (Dagstuhl Seminar 14362)}},
  pages =	{151--173},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{8},
  editor =	{Billinghurst, Mark and Davies, Nigel and Langheinrich, Marc and Schmidt, Albrecht},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.151},
  URN =		{urn:nbn:de:0030-drops-48867},
  doi =		{10.4230/DagRep.4.8.151},
  annote =	{Keywords: human memory interaction, lifelogging, memory augmentation}
}