In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), …
In: Helge Ritter; Gerhard Sagerer; Jochen Steil (Hrsg.). Proceedings of Third International Workshop on Human Centered Robotic Systems. International …
In: Report of the AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems. AAAI Spring Symposium (AAAI SSS), March …