Issue
Dagstuhl Reports, Volume 12, Issue 7
-
Part of:
Volume:
Dagstuhl Reports, Volume 12
Journal: Dagstuhl Reports (DagRep)
Event
Dagstuhl Seminars 22271, 22272, 22281, 22282, 22291, 22292, 22301, 22302Publication Details
- published at: 2023-02-03
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports12
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 12, Issue 7, July 2022, Complete Issue
Abstract
Dagstuhl Reports, Volume 12, Issue 7, July 2022, Complete Issue
Cite as
Dagstuhl Reports, Volume 12, Issue 7, pp. 1-238, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
Copy BibTex To Clipboard
@Article{DagRep.12.7,
title = {{Dagstuhl Reports, Volume 12, Issue 7, July 2022, Complete Issue}},
pages = {1--238},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {7},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7},
URN = {urn:nbn:de:0030-drops-176072},
doi = {10.4230/DagRep.12.7},
annote = {Keywords: Dagstuhl Reports, Volume 12, Issue 7, July 2022, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 12, Issue 7, 2022
Abstract
Dagstuhl Reports, Table of Contents, Volume 12, Issue 7, 2022
Cite as
Dagstuhl Reports, Volume 12, Issue 7, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
Copy BibTex To Clipboard
@Article{DagRep.12.7.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 12, Issue 7, 2022}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {7},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.i},
URN = {urn:nbn:de:0030-drops-176080},
doi = {10.4230/DagRep.12.7.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Algorithms for Participatory Democracy (Dagstuhl Seminar 22271)
Abstract
Participatory democracy aims to make democratic processes more engaging and responsive by giving all citizens the opportunity to participate, and express their preferences, at many stages of decision-making processes beyond electing representatives. Recent years have witnessed an increasing interest in participatory democracy systems, enabled by modern information and communication technology. Participation at scale gives rise to a number of algorithmic challenges. In this seminar, we addressed these challenges by bringing together experts from computational social choice (COMSOC) and related fields. In particular, we studied algorithms for online decision-making platforms and for participatory budgeting processes. We also explored how innovations such as prediction markets, liquid democracy, quadratic voting, and blockchain can be employed to improve participatory decision-making systems.
Cite as
Markus Brill, Jiehua Chen, Andreas Darmann, David Pennock, and Matthias Greger. Algorithms for Participatory Democracy (Dagstuhl Seminar 22271). In Dagstuhl Reports, Volume 12, Issue 7, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
Copy BibTex To Clipboard
@Article{brill_et_al:DagRep.12.7.1,
author = {Brill, Markus and Chen, Jiehua and Darmann, Andreas and Pennock, David and Greger, Matthias},
title = {{Algorithms for Participatory Democracy (Dagstuhl Seminar 22271)}},
pages = {1--18},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {7},
editor = {Brill, Markus and Chen, Jiehua and Darmann, Andreas and Pennock, David and Greger, Matthias},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.1},
URN = {urn:nbn:de:0030-drops-176096},
doi = {10.4230/DagRep.12.7.1},
annote = {Keywords: liquid democracy, participatory budgeting, social choice and currency, platforms for collective decision making}
}
Document
Eat-IT: Towards Understanding Interactive Technology and Food (Dagstuhl Seminar 22272)
Abstract
Eating is a basic human need while technology is transforming the way we cook and eat food. For example, see the internet-connected Thermomix cooking appliance, desserts using virtual reality headsets, projection mapping on dinner plates and 3D-printed food in Michelin-star restaurants. Especially within the field of Human-Computer Interaction (HCI), there is a growing interest in understanding the design of technology to support the eating experience. There is a realization that technology can both be instrumentally beneficial (e.g. improving health through better food choices) as well as experientially beneficial (e.g. enriching eating experiences). Computational technology can make a significant contribution here, as it allows to, for example, present digital data through food (drawing from visualization techniques and fabrication advances such as 3D-food printing); facilitate technology-augmented behaviour change to promote healthier eating choices; employ big data across suppliers to help choose more sustainable produce (drawing on IoT kitchen appliances); use machine learning to predictively model eating behaviour; employ mixed-reality to facilitate novel eating experiences; and turn eating into a spectacle through robots that support cooking and serving actions. The aim of this Dagstuhl seminar called "Eat-IT" was to discuss these opportunities and challenges by bringing experts and stakeholders with different backgrounds from academia and industry together to formulate actionable strategies on how interactive food can benefit from computational technology yet not distract from the eating experience itself. With this seminar, we wanted to enable a healthy and inclusive debate on the interwoven future of food and computational technology.
Cite as
Florian `Floyd' Mueller, Marianna Obrist, Soh Kim, Masahiko Inami, and Jialin Deng. Eat-IT: Towards Understanding Interactive Technology and Food (Dagstuhl Seminar 22272). In Dagstuhl Reports, Volume 12, Issue 7, pp. 19-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
Copy BibTex To Clipboard
@Article{mueller_et_al:DagRep.12.7.19,
author = {Mueller, Florian `Floyd' and Obrist, Marianna and Kim, Soh and Inami, Masahiko and Deng, Jialin},
title = {{Eat-IT: Towards Understanding Interactive Technology and Food (Dagstuhl Seminar 22272)}},
pages = {19--40},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {7},
editor = {Mueller, Florian `Floyd' and Obrist, Marianna and Kim, Soh and Inami, Masahiko and Deng, Jialin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.19},
URN = {urn:nbn:de:0030-drops-176109},
doi = {10.4230/DagRep.12.7.19},
annote = {Keywords: Human-Food Interaction, FoodHCI}
}
Document
Security of Machine Learning (Dagstuhl Seminar 22281)
Abstract
Machine learning techniques, especially deep neural networks inspired by mathematical models of human intelligence, have reached an unprecedented success on a variety of data analysis tasks. The reliance of critical modern technologies on machine learning, however, raises concerns on their security, especially since powerful attacks against mainstream learning algorithms have been demonstrated since the early 2010s. Despite a substantial body of related research, no comprehensive theory and design methodology is currently known for the security of machine learning. The proposed seminar aims at identifying potential research directions that could lead to building the scientific foundation for the security of machine learning. By bringing together researchers from machine learning and information security communities, the seminar is expected to generate new ideas for security assessment and design in the field of machine learning.
Cite as
Battista Biggio, Nicholas Carlini, Pavel Laskov, Konrad Rieck, and Antonio Emanuele Cinà. Security of Machine Learning (Dagstuhl Seminar 22281). In Dagstuhl Reports, Volume 12, Issue 7, pp. 41-61, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
Copy BibTex To Clipboard
@Article{biggio_et_al:DagRep.12.7.41,
author = {Biggio, Battista and Carlini, Nicholas and Laskov, Pavel and Rieck, Konrad and Cin\`{a}, Antonio Emanuele},
title = {{Security of Machine Learning (Dagstuhl Seminar 22281)}},
pages = {41--61},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {7},
editor = {Biggio, Battista and Carlini, Nicholas and Laskov, Pavel and Rieck, Konrad and Cin\`{a}, Antonio Emanuele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.41},
URN = {urn:nbn:de:0030-drops-176117},
doi = {10.4230/DagRep.12.7.41},
annote = {Keywords: adversarial machine learning, machine learning security}
}
Document
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282)
Abstract
The area of Knowledge Representation and Reasoning (KR) is a central area in Artificial Intelligence that deals with the explicit, declarative representation of knowledge along with inference procedures for deriving further, implicit information from this knowledge. The goal of this Perspectives Seminar was to assess the area of KR, including its history, current state, and future prospects, and from this assessment to provide suggestions and recommendations for advancing the field, increasing participation in the area, and furthering links with related areas. Over the course of 5 days, 25 participants from a cross-section of subareas in KR and areas adjacent to KR met to discuss these topics. The workshop was composed of a number of invited talks and panels for reviewing the history and state of the art of KR, along with several working groups and general open discussions. In common with other Perspectives Workshops, a Manifesto will be produced; as well, recommendations contained in the manifesto will be also forwarded to the steering committee of the Principles of Knowledge Representation and Reasoning conference series for their consideration.
Cite as
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, and Frank Wolter. Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). In Dagstuhl Reports, Volume 12, Issue 7, pp. 62-79, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
Copy BibTex To Clipboard
@Article{delgrande_et_al:DagRep.12.7.62,
author = {Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Teixeira, Milene Santos and Wolter, Frank},
title = {{Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282)}},
pages = {62--79},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {7},
editor = {Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Teixeira, Milene Santos and Wolter, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.62},
URN = {urn:nbn:de:0030-drops-176126},
doi = {10.4230/DagRep.12.7.62},
annote = {Keywords: applications of logics, declarative representations, formal logic, knowledge representation and reasoning}
}
Document
Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291)
Abstract
Machine learning (ML) and logical reasoning have been the two key pillars of AI since its inception, and yet, there has been little interaction between these two sub-fields over the years. At the same time, each of them has been very influential in their own way. ML has revolutionized many sub-fields of AI including image recognition, language translation, and game playing, to name just a few. Independently, the field of logical reasoning (e.g., SAT/SMT/CP/first-order solvers and knowledge representation) has been equally impactful in many contexts in software engineering, verification, security, AI, and mathematics. Despite this progress, there are new problems, as well as opportunities, on the horizon that seem solvable only via a combination of ML and logic.
One such problem that requires one to consider combinations of logic and ML is the question of reliability, robustness, and security of ML models. For example, in recent years, many adversarial attacks against ML models have been developed, demonstrating their extraordinary brittleness. How can we leverage logic-based methods to analyze such ML systems with the aim of ensuring their reliability and security? What kind of logical language do we use to specify properties of ML models? How can we ensure that ML models are explainable and interpretable?
In the reverse direction, ML methods have already been successfully applied to making solvers more efficient. In particular, solvers can be modeled as complex combinations of proof systems and ML optimization methods, wherein ML-based heuristics are used to optimally select and sequence proof rules. How can we further deepen this connection between solvers and ML? Can we develop tools that automatically construct proofs for higher mathematics?
This Dagstuhl seminar seeks to answer these and related questions, with the aim of bringing together the many world-leading scientists who are conducting pioneering research at the intersection of logical reasoning and ML, enabling development of novel solutions to problems deemed impossible otherwise.
Cite as
Sébastien Bardin, Somesh Jha, and Vijay Ganesh. Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291). In Dagstuhl Reports, Volume 12, Issue 7, pp. 80-111, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
Copy BibTex To Clipboard
@Article{bardin_et_al:DagRep.12.7.80,
author = {Bardin, S\'{e}bastien and Jha, Somesh and Ganesh, Vijay},
title = {{Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291)}},
pages = {80--111},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {7},
editor = {Bardin, S\'{e}bastien and Jha, Somesh and Ganesh, Vijay},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.80},
URN = {urn:nbn:de:0030-drops-176131},
doi = {10.4230/DagRep.12.7.80},
annote = {Keywords: Logic for ML, ML-based heuristics for solvers, SAT/SMT/CP solvers and theorem provers, Security, reliability and privacy of ML-based systems}
}
Document
Computational Approaches to Digitised Historical Newspapers (Dagstuhl Seminar 22292)
Abstract
Historical newspapers are mirrors of past societies, keeping track of the small and great history and reflecting the political, moral, and economic environments in which they were produced. Highly valued as primary sources by historians and humanities scholars, newspaper archives have been massively digitised in libraries, resulting in large collections of machine-readable documents and, over the past half-decade, in numerous academic research initiatives on their automatic processing. The Dagstuhl Seminar 22292 "Computational Approaches to Digitised Historical Newspaper" gathered researchers and practitioners with backgrounds in natural language processing, computer vision, digital history and digital library involved in computational approaches to historical newspapers with the objectives to share experiences, analyse successes and shortcomings, deepen our understanding of the interplay between computational aspects and digital scholarship, and discuss future challenges. This report documents the program and the outcomes of the seminar.
Cite as
Maud Ehrmann, Marten Düring, Clemens Neudecker, and Antoine Doucet. Computational Approaches to Digitised Historical Newspapers (Dagstuhl Seminar 22292). In Dagstuhl Reports, Volume 12, Issue 7, pp. 112-179, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
Copy BibTex To Clipboard
@Article{ehrmann_et_al:DagRep.12.7.112,
author = {Ehrmann, Maud and D\"{u}ring, Marten and Neudecker, Clemens and Doucet, Antoine},
title = {{Computational Approaches to Digitised Historical Newspapers (Dagstuhl Seminar 22292)}},
pages = {112--179},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {7},
editor = {Ehrmann, Maud and D\"{u}ring, Marten and Neudecker, Clemens and Doucet, Antoine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.112},
URN = {urn:nbn:de:0030-drops-176141},
doi = {10.4230/DagRep.12.7.112},
annote = {Keywords: historical document processing, document structure and layout analysis, natural language processing, information extraction, natural language processing, digital history, digital scholarship}
}
Document
Algorithmic Aspects of Information Theory (Dagstuhl Seminar 22301)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 22301 "Algorithmic Aspects of Information Theory".
Constraints on entropies constitute the "laws of information theory". These constraints go well beyond Shannon’s basic information inequalities, as they include not only information inequalities that cannot be derived from Shannon’s basic inequalities, but also conditional inequalities and disjunctive inequalities that are valid for all entropic functions. There is an extensive body of research on constraints on entropies and their applications to different areas of mathematics and computer science. So far, however, little progress has been made on the algorithmic aspects of information theory. In fact, even fundamental questions about the decidability of information inequalities and their variants have remained open to date.
Recently, research in different applications has demonstrated a clear need for algorithmic solutions to questions in information theory. These applications include: finding tight upper bounds on the answer to a query on a relational database, the homomorphism domination problem and its uses in query optimization, the conditional independence implication problem, soft constraints in databases, group-theoretic inequalities, and lower bounds on the information ratio in secret sharing. Thus far, the information-theory community has had little interaction with the communities where these applications have been studied or with the computational complexity community. The main goal of this Dagstuhl Seminar was to bring together researchers from the aforementioned communities and to develop an agenda for studying algorithmic aspects of information theory, motivated from a rich set of diverse applications. By using the algorithmic lens to examine the common problems and by transferring techniques from one community to the other, we expected that bridges would be created and some tangible progress on open questions could be made.
Cite as
Phokion G. Kolaitis, Andrej E. Romashchenko, Milan Studený, Dan Suciu, and Tobias A. Boege. Algorithmic Aspects of Information Theory (Dagstuhl Seminar 22301). In Dagstuhl Reports, Volume 12, Issue 7, pp. 180-204, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
Copy BibTex To Clipboard
@Article{kolaitis_et_al:DagRep.12.7.180,
author = {Kolaitis, Phokion G. and Romashchenko, Andrej E. and Studen\'{y}, Milan and Suciu, Dan and Boege, Tobias A.},
title = {{Algorithmic Aspects of Information Theory (Dagstuhl Seminar 22301)}},
pages = {180--204},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {7},
editor = {Kolaitis, Phokion G. and Romashchenko, Andrej E. and Studen\'{y}, Milan and Suciu, Dan and Boege, Tobias A.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.180},
URN = {urn:nbn:de:0030-drops-176155},
doi = {10.4230/DagRep.12.7.180},
annote = {Keywords: Information theory, Information inequalities, Conditional independence structures, Database query evaluation and containment, Decision problems}
}
Document
Educational Programming Languages and Systems (Dagstuhl Seminar 22302)
Abstract
Programming languages and environments designed for educating beginners should be very different from those designed for professionals. Languages and environments for professionals are usually packed with complex powerful features, with a focus on productivity and flexibility. In contrast, those designed for beginners have quite different aims: to reduce complexity, surprise, and frustration.
Designing such languages and environments requires a mix of skills. Obviously, some knowledge of programming language issues (semantics and implementation) is essential. But the designer must also take into account human-factors aspects (in the syntax, development environment, error messages, and more), cognitive aspects (in picking features, reducing cognitive load, and staging learning), and educational aspects (making the language match the pedagogy). In short, the design process is a broad and interdisciplinary problem.
In this Dagstuhl Seminar we aimed to bring together attendees with a wide variety of expertise in computer education, programming language design and human-computer interaction. Because of the diverse skills and experiences needed to create effective solutions, we learned from each other about the challenges - and some of the solutions - that each discipline can provide.
Our goal was that attendees could come and tell others about their work and the interesting challenges that they face - and solutions that they have come up with. We aimed to distill lessons from the differing experiences of the attendees, and record the challenges that we jointly face. The seminar allowed attendees to share details of their work with each other, followed by discussions, and finally some plenary sessions to summarize and record this shared knowledge.
Cite as
Neil Brown, Mark J. Guzdial, Shriram Krishnamurthi, and Jens Mönig. Educational Programming Languages and Systems (Dagstuhl Seminar 22302). In Dagstuhl Reports, Volume 12, Issue 7, pp. 205-236, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
Copy BibTex To Clipboard
@Article{brown_et_al:DagRep.12.7.205,
author = {Brown, Neil and Guzdial, Mark J. and Krishnamurthi, Shriram and M\"{o}nig, Jens},
title = {{Educational Programming Languages and Systems (Dagstuhl Seminar 22302)}},
pages = {205--236},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {7},
editor = {Brown, Neil and Guzdial, Mark J. and Krishnamurthi, Shriram and M\"{o}nig, Jens},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.205},
URN = {urn:nbn:de:0030-drops-176165},
doi = {10.4230/DagRep.12.7.205},
annote = {Keywords: computer science education research, errors, learning progressions, programming environments}
}