@Article{DagRep.4.3, title = {{Dagstuhl Reports, Volume 4, Issue 3, March 2014, Complete Issue}}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {3}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3}, URN = {urn:nbn:de:0030-drops-46769}, doi = {10.4230/DagRep.4.3}, annote = {Keywords: Dagstuhl Reports, Volume 4, Issue 3, March 2014, Complete Issue} } @Article{DagRep.4.3.i, title = {{Dagstuhl Reports, Table of Contents, Volume 4, Issue 3, 2014}}, pages = {i--ii}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {3}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.i}, URN = {urn:nbn:de:0030-drops-46750}, doi = {10.4230/DagRep.4.3.i}, annote = {Keywords: Table of Contents, Frontmatter} } @Article{furnkranz_et_al:DagRep.4.3.1, author = {F\"{u}rnkranz, Johannes and H\"{u}llermeier, Eyke and Rudin, Cynthia and Slowinski, Roman and Sanner, Scott}, title = {{Preference Learning (Dagstuhl Seminar 14101)}}, pages = {1--27}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {3}, editor = {F\"{u}rnkranz, Johannes and H\"{u}llermeier, Eyke and Rudin, Cynthia and Slowinski, Roman and Sanner, Scott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.1}, URN = {urn:nbn:de:0030-drops-45506}, doi = {10.4230/DagRep.4.3.1}, annote = {Keywords: machine learning, preference learning, preference elicitation, ranking, social choice, multiple criteria decision making, decision under risk and unce information retrieval} } @Article{crochemore_et_al:DagRep.4.3.28, author = {Crochemore, Maxime and Currie, James D. and Kucherov, Gregory and Nowotka, Dirk}, title = {{Combinatorics and Algorithmics of Strings (Dagstuhl Seminar 14111)}}, pages = {28--46}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {3}, editor = {Crochemore, Maxime and Currie, James D. and Kucherov, Gregory and Nowotka, Dirk}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.28}, URN = {urn:nbn:de:0030-drops-45524}, doi = {10.4230/DagRep.4.3.28}, annote = {Keywords: combinatorics on words, string algorithms, automata} } @Article{dillenbourg_et_al:DagRep.4.3.47, author = {Dillenbourg, Pierre and Kirchner, Claude and Mitchell, John C. and Wirsing, Martin}, title = {{Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)}}, pages = {47--61}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {3}, editor = {Dillenbourg, Pierre and Kirchner, Claude and Mitchell, John C. and Wirsing, Martin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.47}, URN = {urn:nbn:de:0030-drops-45910}, doi = {10.4230/DagRep.4.3.47}, annote = {Keywords: Massively open online courses, MOOC, SPOC, e-learning, education} } @Article{gal_et_al:DagRep.4.3.62, author = {Gal, Anna and Koucky, Michal and Regev, Oded and Reischuk, R\"{u}diger}, title = {{Computational Complexity of Discrete Problems (Dagstuhl Seminar 14121)}}, pages = {62--84}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {3}, editor = {Gal, Anna and Koucky, Michal and Regev, Oded and Reischuk, R\"{u}diger}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.62}, URN = {urn:nbn:de:0030-drops-45921}, doi = {10.4230/DagRep.4.3.62}, annote = {Keywords: discrete problems, computational complexity, Turing machines, Boolean circuits, arithmetic circuits, quantum computing, communication complexity, pseudorandomness, derandomization, approximation, data streams} } @Article{majumdar_et_al:DagRep.4.3.85, author = {Majumdar, Rupak and Murray, Richard M. and Prabhakar, Pavithra}, title = {{Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)}}, pages = {85--102}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {3}, editor = {Majumdar, Rupak and Murray, Richard M. and Prabhakar, Pavithra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.85}, URN = {urn:nbn:de:0030-drops-45937}, doi = {10.4230/DagRep.4.3.85}, annote = {Keywords: Formal Verification, Cyber-Physical Systems, Hybrid Systems} } @Article{andre_et_al:DagRep.4.3.103, author = {Andr\'{e}, Elisabeth and Aylett, Ruth and Hofstede, Gert Jan and Paiva, Ana}, title = {{Computational Models of Cultural Behavior for Human-Agent Interaction (Dagstuhl Seminar 14131)}}, pages = {103--137}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {3}, editor = {Andr\'{e}, Elisabeth and Aylett, Ruth and Hofstede, Gert Jan and Paiva, Ana}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.103}, URN = {urn:nbn:de:0030-drops-45945}, doi = {10.4230/DagRep.4.3.103}, annote = {Keywords: Cultural models, Cultural grounding, Social simulation, Affective computing, (Multi-)Agent architectures, Virtual agents, Social robots} } @Article{buchin_et_al:DagRep.4.3.138, author = {Buchin, Maike and Giuggioli, Luca and van Kreveld. Marc and Theraulaz, Guy}, title = {{Interaction and Collective Movement Processing (Dagstuhl Seminar 14132)}}, pages = {138--152}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {3}, editor = {Buchin, Maike and Giuggioli, Luca and van Kreveld. Marc and Theraulaz, Guy}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.138}, URN = {urn:nbn:de:0030-drops-45953}, doi = {10.4230/DagRep.4.3.138}, annote = {Keywords: collective movement, moving entity, computational geometry, GIScience, ecology, collective motion, trajectory, movement analysis} } @Article{esparza_et_al:DagRep.4.3.153, author = {Esparza, Javier and Finkel, Alain and McKenzie, Pierre and Ouaknine, Joel}, title = {{Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141)}}, pages = {153--180}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {3}, editor = {Esparza, Javier and Finkel, Alain and McKenzie, Pierre and Ouaknine, Joel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.153}, URN = {urn:nbn:de:0030-drops-46121}, doi = {10.4230/DagRep.4.3.153}, annote = {Keywords: Infinite-State Systems, Reachability Problems, Formal Verification, Well-Structured Transition Systems, Counter Machines, Vector Addition Systems, Timed Systems} } @Article{gangemi_et_al:DagRep.4.3.181, author = {Gangemi, Aldo and Hafner, Verena V. and Kuhn, Werner and Scheider, Simon and Steels, Luc}, title = {{Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar 14142)}}, pages = {181--201}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {3}, editor = {Gangemi, Aldo and Hafner, Verena V. and Kuhn, Werner and Scheider, Simon and Steels, Luc}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.181}, URN = {urn:nbn:de:0030-drops-46134}, doi = {10.4230/DagRep.4.3.181}, annote = {Keywords: Spatial reference systems, Semantic Web, Robotics, Embodiment, Spatial cognition} }