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