In: Workshop on Ubiquitous User Modeling. Workshop on Ubiquitous User Modeling (UbiqUM-06), Ubiquitous User Modeling, located at ECAI 2006, August 28, …
In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC), Electronic Notes in …