@Article{DagRep.9.2,
title = {{Dagstuhl Reports, Volume 9, Issue 2, February 2019, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {9},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2},
URN = {urn:nbn:de:0030-drops-112083},
doi = {10.4230/DagRep.9.2},
annote = {Keywords: Dagstuhl Reports, Volume 9, Issue 2, February 2019, Complete Issue}
}
@Article{DagRep.9.2.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 9, Issue 2, 2019}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {9},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.i},
URN = {urn:nbn:de:0030-drops-112079},
doi = {10.4230/DagRep.9.2.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
@Article{kivela_et_al:DagRep.9.2.1,
author = {Kivel\"{a}, Mikko and McGee, Fintan and Melan\c{c}on, Guy and Henry Riche, Nathalie and von Landesberger, Tatiana},
title = {{Visual Analytics of Multilayer Networks Across Disciplines (Dagstuhl Seminar 19061)}},
pages = {1--26},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {9},
number = {2},
editor = {Kivel\"{a}, Mikko and McGee, Fintan and Melan\c{c}on, Guy and Henry Riche, Nathalie and von Landesberger, Tatiana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.1},
URN = {urn:nbn:de:0030-drops-108561},
doi = {10.4230/DagRep.9.2.1},
annote = {Keywords: biological networks, complex systems, geographic networks, graph visualization, multilayer network visualization, social network analysis, visual analytics}
}
@Article{bardin_et_al:DagRep.9.2.27,
author = {Bardin, S\'{e}bastien and Bj{\o}rner, Nikolaj and Cadar, Cristian},
title = {{Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062)}},
pages = {27--47},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {9},
number = {2},
editor = {Bardin, S\'{e}bastien and Bj{\o}rner, Nikolaj and Cadar, Cristian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.27},
URN = {urn:nbn:de:0030-drops-108574},
doi = {10.4230/DagRep.9.2.27},
annote = {Keywords: Automated Decision Procedures, Constraint Programming, SAT, SMT}
}
@Article{deshmukh_et_al:DagRep.9.2.48,
author = {Deshmukh, Jyotirmoy V. and Maler, Oded and Nickovic, Dejan},
title = {{Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)}},
pages = {48--72},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {9},
number = {2},
editor = {Deshmukh, Jyotirmoy V. and Maler, Oded and Nickovic, Dejan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.48},
URN = {urn:nbn:de:0030-drops-108581},
doi = {10.4230/DagRep.9.2.48},
annote = {Keywords: Cyber-physical systems, formal specifications, runtime verification and control}
}
@Article{hunter_et_al:DagRep.9.2.73,
author = {Hunter, Anthony and Kern-Isberner, Gabriele and Meyer, Thomas and Wassermann, Renata},
title = {{The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072)}},
pages = {73--90},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {9},
number = {2},
editor = {Hunter, Anthony and Kern-Isberner, Gabriele and Meyer, Thomas and Wassermann, Renata},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.73},
URN = {urn:nbn:de:0030-drops-108601},
doi = {10.4230/DagRep.9.2.73},
annote = {Keywords: Artificial intelligence, Knowledge representation and reasoning, Nonmonotonic, default reasoning and belief revision, Probabilistic reasoning, Logic programming and answer set programming, Ontology engineering, Cognitive science, Machine learning}
}
@Article{alami_et_al:DagRep.9.2.91,
author = {Alami, Rachid and Eder, Kerstin I. and Hoffman, Guy and Kress-Gazit, Hadas},
title = {{Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)}},
pages = {91--110},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {9},
number = {2},
editor = {Alami, Rachid and Eder, Kerstin I. and Hoffman, Guy and Kress-Gazit, Hadas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.91},
URN = {urn:nbn:de:0030-drops-108613},
doi = {10.4230/DagRep.9.2.91},
annote = {Keywords: Formal Methods, Human-Robot Interaction}
}
@Article{clopath_et_al:DagRep.9.2.111,
author = {Clopath, Claudia and De Winne, Ruben and Khan, Mohammad Emtiyaz and Schaul, Tom},
title = {{AI for the Social Good (Dagstuhl Seminar 19082)}},
pages = {111--122},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {9},
number = {2},
editor = {Clopath, Claudia and De Winne, Ruben and Khan, Mohammad Emtiyaz and Schaul, Tom},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.111},
URN = {urn:nbn:de:0030-drops-108620},
doi = {10.4230/DagRep.9.2.111},
annote = {Keywords: Machine Learning, Artificial Intelligence, Social Good, NGO, sustainable development goals, Non-governmental organisation}
}
@Article{hong_et_al:DagRep.9.2.123,
author = {Hong, Seok-Hee and Kaufmann, Michael and Pach, J\'{a}nos and T\'{o}th, Csaba D.},
title = {{Beyond-Planar Graphs: Combinatorics, Models and Algorithms (Dagstuhl Seminar 19092)}},
pages = {123--156},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {9},
number = {2},
editor = {Hong, Seok-Hee and Kaufmann, Michael and Pach, J\'{a}nos and T\'{o}th, Csaba D.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.123},
URN = {urn:nbn:de:0030-drops-108634},
doi = {10.4230/DagRep.9.2.123},
annote = {Keywords: combinatorial geometry, geometric algorithms, graph algorithms, graph drawing, graph theory, network visualization}
}
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