AAAI Spring Symposia 2014: Palo Alto, CA, USA

1 - Big Data Becomes Personal: Knowledge into Meaning

2 - Formal Verification and Modeling in Human-Machine Systems

3 - Implementing Selves with Safe Motivational Systems and Self-Improvement

4 - The Intersection of Robust Intelligence and Trust in Autonomous Systems

5 - Knowledge Representation and Reasoning in Robotics

6 - Qualitative Representations for Robots

maintained by Schloss Dagstuhl LZI, founded at University of Trier