Search dblp for Publications

export results for "toc:db/conf/aaaiss/aaaiss2005-6.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aaaiss/BarkowskyFHL05,
  author       = {Thomas Barkowsky and
                  Christian Freksa and
                  Mary Hegarty and
                  Ric K. Lowe},
  title        = {Organizing Committee},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-026.php},
  timestamp    = {Sat, 18 Feb 2012 12:27:33 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/BarkowskyFHL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BarkowskyFHL05a,
  author       = {Thomas Barkowsky and
                  Christian Freksa and
                  Mary Hegarty and
                  Ric K. Lowe},
  title        = {Preface: Reasoning with Mental and External Diagrams: Computational
                  Modeling and Spatial Assistance},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-001.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/BarkowskyFHL05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Bertel05,
  author       = {Sven Bertel},
  title        = {Show Me How You Act on a Diagram and I'll Tell You What You Think
                  (or: Spatial Structures as Organizing Schemes in Collaborative Human-Computer
                  Reasoning)},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {77--82},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-05-066.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Bertel05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/CaduffT05,
  author       = {David Caduff and
                  Sabine Timpf},
  title        = {The Landmark Spider: Representing Landmark Knowledge for Wayfinding
                  Tasks},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {30--35},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-007.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/CaduffT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Chandrasekaran05,
  author       = {B. Chandrasekaran},
  title        = {What Makes a Bunch of Marks a Diagrammatic Representation, and Another
                  Bunch a Sentential Representation?},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {83--89},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-05-067.php},
  timestamp    = {Fri, 19 Feb 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Chandrasekaran05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/ChandrasekaranKB05,
  author       = {B. Chandrasekaran and
                  Unmesh Kurup and
                  Bonny Banerjee},
  title        = {A Diagrammatic Reasoning Architecture: Design, Implementation and
                  Experiments},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {108--113},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-022.php},
  timestamp    = {Fri, 19 Feb 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/ChandrasekaranKB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Cohen05,
  author       = {Cheryl Cohen},
  title        = {The Influence of Spatial Ability on the Use of Dynamic, Interactive
                  Animation in a Spatial Problem-Solving Task},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {1--5},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-002.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Cohen05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Davies05,
  author       = {Clare Davies},
  title        = {Maps beyond Diagrams: Real-World Spatial Orientation},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {36--40},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-008.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Davies05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Fabrikant05,
  author       = {Sara Irina Fabrikant},
  title        = {Towards an Understanding of Geovisualization with Dynamic Displays:
                  Issues and Prospects},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {6--11},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-003.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Fabrikant05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/FergusonCZ05,
  author       = {Ronald W. Ferguson and
                  Neil Cutshaw and
                  Huzaifa Zafar},
  title        = {Toward Intelligent Drawing Constraints},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {58--63},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-05-062.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/FergusonCZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/GartnerR05,
  author       = {Georg Gartner and
                  Verena Radoczky},
  title        = {Schematic vs. Topographic Maps in Pedestrian Navigation: How Much
                  Map Detail is Necessary to Support Wayfinding},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {41--47},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-009.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/GartnerR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Green05,
  author       = {Nancy L. Green},
  title        = {Graphics for Patient-Tailored Information in Clinical Genetics},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {64--66},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-05-063.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Green05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Hagen05,
  author       = {Cornelius Hagen},
  title        = {Similarity of Spatial Configurations in Interactive Layout},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {67--72},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-05-064.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Hagen05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/HoE05,
  author       = {Chun{-}Heng Ho and
                  Charles M. Eastman},
  title        = {How Representations and Strategies Influence Design Spatial Problem
                  Solving},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {114--120},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-023.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/HoE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/KeehnerK05,
  author       = {Madeleine Keehner and
                  Peter Khooshabeh},
  title        = {Computerized Representations of 3D Structure: How Spatial Comprehension
                  and Patterns of Interactivity Differ among Learners},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {12--17},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-004.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/KeehnerK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/KlippelLFMB05,
  author       = {Alexander Klippel and
                  Paul U. Lee and
                  Sara Irina Fabrikant and
                  Daniel R. Montello and
                  John A. Bateman},
  title        = {The Cognitive Conceptual Approach as a Leitmotif for Map Design},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {90--95},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-05-068.php},
  timestamp    = {Thu, 17 Oct 2013 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaiss/KlippelLFMB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Knauff05,
  author       = {Markus Knauff},
  title        = {Stop Using Introspection to Gather Data for the Design of Computational
                  Modeling and Spatial Assistance},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {96--100},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-05-069.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Knauff05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/KurataE05,
  author       = {Yohei Kurata and
                  Max J. Egenhofer},
  title        = {Semantics of Simple Arrow Diagrams},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {101--104},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-020.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/KurataE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/LeeK05,
  author       = {Paul U. Lee and
                  Alexander Klippel},
  title        = {Dynamic Aspects of Spatial Information in Air Traffic Controller Displays},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {18--23},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-005.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/LeeK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/OteroRB05,
  author       = {Nuno Otero and
                  Yvonne Rogers and
                  Benedict du Boulay},
  title        = {Learning Interaction Patterns Using Diagrams Varying in Level and
                  Type of Interactivity},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {24--29},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-006.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/OteroRB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Seifert05,
  author       = {Inessa Seifert},
  title        = {Towards Cognitively Adequate Interaction for Mental Model-Based Spatio-Temporal
                  Assistance},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {48--51},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-05-060.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Seifert05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Steinhauer05,
  author       = {H. Joe Steinhauer},
  title        = {A Qualitative Model for Natural Language Communication about Vehicle
                  Traffic},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {52--57},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-05-061.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Steinhauer05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Stieff05,
  author       = {Mike Stieff},
  title        = {Visualization and Diagrammatic Reasoning during Genuine Problem Solving
                  in Science},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {121--126},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-024.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Stieff05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Tergan05,
  author       = {Sigmar{-}Olaf Tergan},
  title        = {The Use of Digital Concept Maps as Cognitive Tools for Managing Knowledge
                  and Knowledge Resources},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {73--76},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-05-065.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Tergan05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/TverskyLHLD05,
  author       = {Barbara Tversky and
                  Sandra C. Lozano and
                  Julie Heiser and
                  Paul U. Lee and
                  Marie{-}Paule Daniel},
  title        = {Explanations in Diagram, Word, and Gesture},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {105--107},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-021.php},
  timestamp    = {Fri, 20 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaiss/TverskyLHLD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Vrachliotis05,
  author       = {Georg Vrachliotis},
  title        = {Articulating Space through Architectural Diagrams},
  booktitle    = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  pages        = {127},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-06-025.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Vrachliotis05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaaiss/2005-6,
  title        = {Reasoning with Mental and External Diagrams: Computational Modeling
                  and Spatial Assistance, Papers from the 2005 {AAAI} Spring Symposium,
                  Technical Report SS-05-06, Stanford, California, USA, March 21-23,
                  2005},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/ss05-06.php},
  timestamp    = {Sat, 18 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/2005-6.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics