Issue

Dagstuhl Reports, Volume 4, Issue 8

Thumbnail PDF

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
DOI: 10.4230/DagRep.4.8
Dagstuhl Reports, Volume 4, Issue 8, August 2014, Complete Issue
Abstract
Dagstuhl Reports, Volume 4, Issue 8, August 2014, Complete Issue
Cite as

Dagstuhl Reports, Volume 4, Issue 8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@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-dev.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}
}
Document
Front Matter
DOI: 10.4230/DagRep.4.8.i
Dagstuhl Reports, Table of Contents, Volume 4, Issue 8, 2014
Abstract
Table of Contents, Frontmatter
Cite as

Dagstuhl Reports, Volume 4, Issue 8, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@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-dev.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}
}
Document
DOI: 10.4230/DagRep.4.8.1
Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331)

Authors: Michael Benedikt, Carsten Lutz, and Balder Ten Cate

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14331 "Querying and Reasoning Under Expressive Constraints" which took place from August 10th to August 14th, 2014. The seminar aimed to bring together researchers in databases, knowledge representation, decidable fragments of first-order logic, and constraint satisfaction to identify and discuss common themes and technique as well as complementary ones, identify future research issues, and foster cooperation and cross-fertilization between the communities.
Cite as

Michael Benedikt, Carsten Lutz, and Balder Ten Cate. Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331). In Dagstuhl Reports, Volume 4, Issue 8, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@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-dev.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}
}
Document
DOI: 10.4230/DagRep.4.8.21
Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332)

Authors: Thomas Agotnes and Nils Bulling

Abstract
This report documents the programme and outcomes of the Dagstuhl Serminar 14332 "Formal Methods for Coordinating Multi-Agent Systems", that took place from 10 to 14 August, 2014. This seminar brought together researchers from the following subfields of multi-agent systems: logic, game theory, and agreement technologies. It is set up at the intersection of these active fields of research and aimed at fostering collaborations between them. A key objective of the seminar has been to shed light on formal methods for coordinating multi-agent systems, in particular, how to combine research and tools from the different areas to obtain new techniques for coordinating the behavior of agents. The coordination problem is a key problem in multi-agent systems: how can we coordinate the individual behaviour of the agents such that the global behaviour of the system as a whole satisfies our needs? Dagstuhl was an excellent venue to bring together leading researchers from logics, game theory, and agreement technologies to learn about their research activities, to discuss as well as to work on timely problems, and to establish new collaborations between researchers. The outcome of the working groups and discussions provides promising avenues and open questions for future research in the field.
Cite as

Thomas Agotnes and Nils Bulling. Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). In Dagstuhl Reports, Volume 4, Issue 8, pp. 21-44, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@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-dev.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}
}
Document
DOI: 10.4230/DagRep.4.8.45
Resource-bounded Problem Solving (Dagstuhl Seminar 14341)

Authors: Yll Haxhimusa, Iris van Rooij, Sashank Varma, and Todd Wareham

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14341 'Resource-bounded Problem Solving'. This seminar is a successor to Dagstuhl Seminar 11351: 'Computer Science & Problem Solving: New Foundations', held in August 2011, which was the first Dagstuhl event to bring together computer scientists and psychologists to exchange perspectives on problem solving in general. The current seminar built on the previous seminar by (1) narrowing the focus to issues related to resource-bounded problem solving and (2) broadening the range of perspectives on the specific topic by including a balanced number of attendees with expertise in computer science, psychology, artificial intelligence, and cognitive neuroscience.
Cite as

Yll Haxhimusa, Iris van Rooij, Sashank Varma, and Todd Wareham. Resource-bounded Problem Solving (Dagstuhl Seminar 14341). In Dagstuhl Reports, Volume 4, Issue 8, pp. 45-72, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@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-dev.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}
}
Document
DOI: 10.4230/DagRep.4.8.73
Equilibrium Computation (Dagstuhl Seminar 14342)

Authors: Nimrod Megiddo, Kurt Mehlhorn, Rahul Savani, and Vijay V. Vazirani

Abstract
This report documents the program and outcomes of Dagstuhl Seminar 14342 "Equilibrium Computation". The seminar was at the leading edge of current topics related to equilibrium computation for games and markets. We summarize these topics, give the talk abstracts, and give brief summaries of the problems that were discussed in the open problem sessions.
Cite as

Nimrod Megiddo, Kurt Mehlhorn, Rahul Savani, and Vijay V. Vazirani. Equilibrium Computation (Dagstuhl Seminar 14342). In Dagstuhl Reports, Volume 4, Issue 8, pp. 73-88, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@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-dev.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}
}
Document
DOI: 10.4230/DagRep.4.8.89
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)

Authors: Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, and Aditya Thakur

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14351 "Decision Procedures and Abstract Interpretation". The seminar brought together practitioners and reseachers in abstract interpretation and decision procedures. The meeting highlighted the connections between the two disciplines, and created new links between the two research communities. Joint activities were also conducted with the participants of Dagstuhl Seminar 14352 "Next Generation Static Software Analysis Tools", which was held concurrently.
Cite as

Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, and Aditya Thakur. Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351). In Dagstuhl Reports, Volume 4, Issue 8, pp. 89-106, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@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-dev.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}
}
Document
DOI: 10.4230/DagRep.4.8.107
Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352)

Authors: Patrick Cousot, Daniel Kroening, and Carsten Sinz

Abstract
There has been tremendous progress in static software analysis over the last years with, for example, refined abstract interpretation methods, the advent of fast decision procedures like SAT and SMT solvers, new approaches like software (bounded) model checking or CEGAR, or new problem encodings. We are now close to integrating these techniques into every programmer's toolbox. The aim of the seminar was to bring together developers of software analysis tools and algorithms, including researchers working on the underlying decision procedures (e.g., SMT solvers), and people who are interested in applying these techniques (e.g. in the automotive or avionics industry). The seminar offered the unique chance, by assembling the leading experts in these areas, to make a big step ahead towards new, more powerful tools for static software analysis. Current (academic) tools still suffer from some shortcomings: - Tools are not yet robust enough or support only a subset of a programming language's features. - Scalability to large software packages is not yet sufficient. - There is a lack of standardized property specification and environment modeling constructs, which makes exchange of analysis results more complicated than necessary. - Differing interpretations of programming language semantics by different tools lead to limited trust in analysis results. - Moreover, a comprehensive benchmark collection to compare and evaluate tools is missing. Besides these application-oriented questions, further, more fundamental questions have also been topics of the seminar: - What are the right logics for program verification, bug finding and software analysis? - How can we handle universal quantification? And how to model main memory and complex data structures? - Which decision procedures are most suitable for static software analysis? How can different procedures be combined? Which optimizations to general-purpose decision procedures (SAT/SMT/QBF) are possible in the context of software analysis?
Cite as

Patrick Cousot, Daniel Kroening, and Carsten Sinz. Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). In Dagstuhl Reports, Volume 4, Issue 8, pp. 107-125, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@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-dev.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}
}
Document
DOI: 10.4230/DagRep.4.8.126
Computational Aspects of Fabrication (Dagstuhl Seminar 14361)

Authors: Marc Alexa, Bernd Bickel, Sara McMains, and Holly E. Rushmeier

Abstract
As manufacturing goes digital, the current understanding of industrial production will change fundamentally. The digital age in manufacturing is coupled with new output devices that allow rapid customization and rapid manufacturing, revolutionizing the way we design, develop, distribute, fabricate, and consume products. We need to find computational models that support this new way of production thinking and lead its technological understanding. This opens challenges for many areas of science research, such as material science, chemistry, and engineering, but also and perhaps foremost computer sciences. The currently available digital content creation pipelines, algorithms, and tools cannot fully explore new manufacturing capabilities. To meet these demands, we need a deep understanding of computer graphics fundamentals: Shape, appearance of shape and materials, and physically-based simulation and animation. When designing an object, there is an inherent interplay among all these fundamental aspects. The purpose of this seminar is to bring together leading experts from academia and industry in the area of computer graphics, geometry processing, and digital fabrication. The goal is to address fundamental questions and issues related to computational aspects of fabrication and jump-start collaborations that will pioneer new approaches in this area.
Cite as

Marc Alexa, Bernd Bickel, Sara McMains, and Holly E. Rushmeier. Computational Aspects of Fabrication (Dagstuhl Seminar 14361). In Dagstuhl Reports, Volume 4, Issue 8, pp. 126-150, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@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-dev.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)}
}
Document
DOI: 10.4230/DagRep.4.8.151
Augmenting Human Memory - Capture and Recall in the Era of Lifelogging (Dagstuhl Seminar 14362)

Authors: Mark Billinghurst, Nigel Davies, Marc Langheinrich, and Albrecht Schmidt

Abstract
Recent developments in capture technology and information retrieval allow for continuous and automated recordings of many aspects of our everyday lives. By combining this with basic research in memory psychology, today's memory augmentation technologies may soon be elevated from a clinical niche application to a mainstream technology, initiating a major change in the way we use technology to remember and to externalize memory. Future capture technologies and corresponding control mechanisms will allow us to automate the acquisition of personal memories and subsequently trigger feedback of such memories through ambient large displays and personal mobile devices in order to aid personal memory acquisition, retention, and attenuation. The emergence of this new breed of memory psychology-inspired capture and recall technology will represent a radical transformation in the way we understand and manage human memory acquisition and recall. This report documents the program and the outcomes of Dagstuhl Seminar 14362 "Augmenting Human Memory - Capture and Recall in the Era of Lifelogging", which brought together 28 researchers from multiple disciplines both within computer science -- mobile computing, privacy and security, social computing and ethnography, usability, and systems research -- as well as from related disciplines such as psychology, sociology, and economics, in order to discuss how these trends are changing our existing research on capture technologies, privacy and society, and existing theories of memory.
Cite as

Mark Billinghurst, Nigel Davies, Marc Langheinrich, and Albrecht Schmidt. Augmenting Human Memory - Capture and Recall in the Era of Lifelogging (Dagstuhl Seminar 14362). In Dagstuhl Reports, Volume 4, Issue 8, pp. 151-173, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

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

Filters

  • Authors
  • A
  • Agotnes, Thomas
  • Alexa, Marc
  • B
  • Benedikt, Michael
  • Bickel, Bernd
  • Billinghurst, Mark
  • Bulling, Nils
  • C
  • Cousot, Patrick
  • D
  • Davies, Nigel
  • H
  • Haxhimusa, Yll
  • K
  • Kroening, Daniel
  • L
  • Langheinrich, Marc
  • Lutz, Carsten
  • M
  • McMains, Sara
  • Megiddo, Nimrod
  • Mehlhorn, Kurt
  • R
  • Reps, Thomas W.
  • Rushmeier, Holly E.
  • S
  • Savani, Rahul
  • Schmidt, Albrecht
  • Seshia, Sanjit A.
  • Sinz, Carsten
  • T
  • Ten Cate, Balder
  • Thakur, Aditya
  • V
  • van Rooij, Iris
  • Varma, Sashank
  • Vazirani, Vijay V.
  • W
  • Wareham, Todd

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact