Issue

Dagstuhl Reports, Volume 7, Issue 6



Thumbnail PDF

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 7, Issue 6, June 2017, Complete Issue

Abstract
Dagstuhl Reports, Volume 7, Issue 6, June 2017, Complete Issue

Cite as

Dagstuhl Reports, Volume 7, Issue 6, June 2017, Complete Issue. In Dagstuhl Reports, Volume 7, Issue 6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{DagRep.7.6,
  title =	{{Dagstuhl Reports, Volume 7, Issue 6, June 2017, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{6},
  editor =	{},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.6},
  URN =		{urn:nbn:de:0030-drops-84370},
  doi =		{10.4230/DagRep.7.6},
  annote =	{Keywords: Dagstuhl Reports, Volume 7, Issue 6, June 2017, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 7, Issue 6, 2017

Abstract
Table of Contents, Frontmatter

Cite as

Dagstuhl Reports, Table of Contents, Volume 7, Issue 6, 2017. In Dagstuhl Reports, Volume 7, Issue 6, pp. i-ii, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{DagRep.7.6.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 7, Issue 6, 2017}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{6},
  editor =	{},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.6.i},
  URN =		{urn:nbn:de:0030-drops-84366},
  doi =		{10.4230/DagRep.7.6.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 7, Issue 6, 2017}
}
Document
Epistemic Planning (Dagstuhl Seminar 17231)

Authors: Chitta Baral, Thomas Bolander, Hans van Ditmarsch, and Sheila McIlrath


Abstract
The seminar Epistemic Planning brought together the research communities of Dynamic Epistemic Logic, Knowledge Representation and Reasoning, and Automated Planning to address fundamental problems on the topic of epistemic planning. In the context of this seminar, dynamic epistemic logic investigates the formal semantics of communication and communicative actions, knowledge representation and reasoning focuses on theories of action and change, and automated planning investigates computational techniques and tools to generate plans. The original goals of the seminar were to develop benchmarks for epistemic planning, to explore the relationship between knowledge and belief in multi-agent epistemic planning, to develop models of agency and capability in epistemic planning and to explore action types and their representations (these originally separate goals were merged during the seminar), and finally to identify practical tools and resources. An additional goal explored during the workshop was the correspondence between planning problems and games.

Cite as

Chitta Baral, Thomas Bolander, Hans van Ditmarsch, and Sheila McIlrath. Epistemic Planning (Dagstuhl Seminar 17231). In Dagstuhl Reports, Volume 7, Issue 6, pp. 1-47, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{baral_et_al:DagRep.7.6.1,
  author =	{Baral, Chitta and Bolander, Thomas and van Ditmarsch, Hans and McIlrath, Sheila},
  title =	{{Epistemic Planning (Dagstuhl Seminar 17231)}},
  pages =	{1--47},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{6},
  editor =	{Baral, Chitta and Bolander, Thomas and van Ditmarsch, Hans and McIlrath, Sheila},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.6.1},
  URN =		{urn:nbn:de:0030-drops-82857},
  doi =		{10.4230/DagRep.7.6.1},
  annote =	{Keywords: Automated Planning, Knowledge Representation and Reasoning, Reasoning About Actions, Dynamic Epistemic Logic, Multi-Agent Systems}
}
Document
Computational Interactivity (Dagstuhl Seminar 17232)

Authors: Xiaojun Bi, Otmar Hilliges, Takeo Igarashi, and Antti Oulasvirta


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar on Computational Interaction organized in June 2017. The seminar focused on the use of computational methods to represent and enhance human-computer interaction. This topic is gaining traction, but efforts have been diluted over multiple research areas ranging from HCI to computer graphics and design. The main objective of the seminar was to get an overview and, moreover, discuss shared fundaments, such as what computational interaction is, formally and in practice. The seminar invitees were 22 researchers from areas such as Human-Computer Interaction, Computer Graphics, Operations Research, and more. The seminar consisted of three days of events, with emphasis on presentations, panels, and group discussions. The following summarizes the main outcomes.

Cite as

Xiaojun Bi, Otmar Hilliges, Takeo Igarashi, and Antti Oulasvirta. Computational Interactivity (Dagstuhl Seminar 17232). In Dagstuhl Reports, Volume 7, Issue 6, pp. 48-67, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{bi_et_al:DagRep.7.6.48,
  author =	{Bi, Xiaojun and Hilliges, Otmar and Igarashi, Takeo and Oulasvirta, Antti},
  title =	{{Computational Interactivity (Dagstuhl Seminar 17232)}},
  pages =	{48--67},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{6},
  editor =	{Bi, Xiaojun and Hilliges, Otmar and Igarashi, Takeo and Oulasvirta, Antti},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.6.48},
  URN =		{urn:nbn:de:0030-drops-82865},
  doi =		{10.4230/DagRep.7.6.48},
  annote =	{Keywords: crowd-computing, graphics, HCI, Machine learning, optimization, simulation}
}
Document
Game Theory Meets Computational Learning Theory (Dagstuhl Seminar 17251)

Authors: Paul W. Goldberg, Yishay Mansour, and Paul Dütting


Abstract
his report documents the program and the outcomes of Dagstuhl Seminar 17251 "Game Theory Meets Computational Learning Theory". While there have been many Dagstuhl seminars on various aspects of Algorithmic Game Theory, this was the first one to focus on the emerging field of its intersection with computational learning theory.

Cite as

Paul W. Goldberg, Yishay Mansour, and Paul Dütting. Game Theory Meets Computational Learning Theory (Dagstuhl Seminar 17251). In Dagstuhl Reports, Volume 7, Issue 6, pp. 68-85, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{goldberg_et_al:DagRep.7.6.68,
  author =	{Goldberg, Paul W. and Mansour, Yishay and D\"{u}tting, Paul},
  title =	{{Game Theory Meets Computational Learning Theory (Dagstuhl Seminar 17251)}},
  pages =	{68--85},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{6},
  editor =	{Goldberg, Paul W. and Mansour, Yishay and D\"{u}tting, Paul},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.6.68},
  URN =		{urn:nbn:de:0030-drops-82876},
  doi =		{10.4230/DagRep.7.6.68},
  annote =	{Keywords: Algorithmic Game Theory, Computational Learning Theory, Economics}
}
Document
Computational Challenges in RNA-Based Gene Regulation: Protein-RNA Recognition, Regulation and Prediction (Dagstuhl Seminar 17252)

Authors: Rolf Backofen, Yael Mandel-Gutfreund, Uwe Ohler, and Gabriele Varani


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17252 "Computational Challenges in RNA-Based Gene Regulation: Protein-RNA Recognition, Regulation and Prediction".

Cite as

Rolf Backofen, Yael Mandel-Gutfreund, Uwe Ohler, and Gabriele Varani. Computational Challenges in RNA-Based Gene Regulation: Protein-RNA Recognition, Regulation and Prediction (Dagstuhl Seminar 17252). In Dagstuhl Reports, Volume 7, Issue 6, pp. 86-108, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{backofen_et_al:DagRep.7.6.86,
  author =	{Backofen, Rolf and Mandel-Gutfreund, Yael and Ohler, Uwe and Varani, Gabriele},
  title =	{{Computational Challenges in RNA-Based Gene Regulation: Protein-RNA Recognition, Regulation and Prediction (Dagstuhl Seminar 17252)}},
  pages =	{86--108},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{6},
  editor =	{Backofen, Rolf and Mandel-Gutfreund, Yael and Ohler, Uwe and Varani, Gabriele},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.6.86},
  URN =		{urn:nbn:de:0030-drops-82937},
  doi =		{10.4230/DagRep.7.6.86},
  annote =	{Keywords: Machine learning, algorithms, genomics analysis, gene expression networks, big data analysis, quantitative prediction, proteins, RNA}
}
Document
Voting: Beyond Simple Majorities and Single-Winner Elections (Dagstuhl Seminar 17261)

Authors: Dorothea Baumeister, Piotr Faliszewski, Annick Laruelle, and Toby Walsh


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17261 "Voting: Beyond simple majorities and single-winner elections". The seminar featured five survey talks, a series of classic scientific presentations, working group discussions, open problems sessions (with the first one used to establish working groups and the last one to present their results). The seminar was mostly focused on multiwinner elections (from discussions of their algorithmic properties to political-science considerations), but the topics of real-life voting experiments and strategic behavior received attention as well.

Cite as

Dorothea Baumeister, Piotr Faliszewski, Annick Laruelle, and Toby Walsh. Voting: Beyond Simple Majorities and Single-Winner Elections (Dagstuhl Seminar 17261). In Dagstuhl Reports, Volume 7, Issue 6, pp. 109-134, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{baumeister_et_al:DagRep.7.6.109,
  author =	{Baumeister, Dorothea and Faliszewski, Piotr and Laruelle, Annick and Walsh, Toby},
  title =	{{Voting: Beyond Simple Majorities and Single-Winner Elections (Dagstuhl Seminar 17261)}},
  pages =	{109--134},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{6},
  editor =	{Baumeister, Dorothea and Faliszewski, Piotr and Laruelle, Annick and Walsh, Toby},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.6.109},
  URN =		{urn:nbn:de:0030-drops-82882},
  doi =		{10.4230/DagRep.7.6.109},
  annote =	{Keywords: artificial intelligence, collective decision making, computational social choice, multi agent systems, preference aggregation, preference elicitation}
}
Document
Federated Semantic Data Management (Dagstuhl Seminar 17262)

Authors: Olaf Hartig, Maria-Esther Vidal, and Johann-Christoph Freytag


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17262 "Federated Semantic Data Management" (FSDM). The purpose of the seminar was to gather experts from the Semantic Web and Database communities, together with experts from application areas, to discuss in-depth open issues that have impeded FSDM approaches to be used on a large scale. The discussions were centered around the following four themes, each of which was the focus of a separate working group: i) graph data models, ii) federated query processing, iii) access control and privacy, and iv) use cases and applications. The main outcome of the seminar is a deeper understanding of the state of the art and of the open challenges of FSDM.

Cite as

Olaf Hartig, Maria-Esther Vidal, and Johann-Christoph Freytag. Federated Semantic Data Management (Dagstuhl Seminar 17262). In Dagstuhl Reports, Volume 7, Issue 6, pp. 135-167, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{hartig_et_al:DagRep.7.6.135,
  author =	{Hartig, Olaf and Vidal, Maria-Esther and Freytag, Johann-Christoph},
  title =	{{Federated Semantic Data Management (Dagstuhl Seminar 17262)}},
  pages =	{135--167},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{6},
  editor =	{Hartig, Olaf and Vidal, Maria-Esther and Freytag, Johann-Christoph},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.6.135},
  URN =		{urn:nbn:de:0030-drops-82890},
  doi =		{10.4230/DagRep.7.6.135},
  annote =	{Keywords: Linked Data, Query Processing, RDF, SPARQL}
}

Filters


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