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