In: 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010). International Conference on Artificial Intelligence and Symbolic Computation (AISC-2010), 10th, located at Intelligent Computer Mathematics 2010 (CICM 2010), July 5-10, Paris, France, Pages 34-48, Lecture Notes in Computer Science (LNCS), Vol. 6167, Springer, 2010.
In: SafeComp 2010 --- 29th International Conference on Computer Safety, Reliability and Security, Proceedings. International Conference on Computer Safety, Reliability and Security (SAFEComp-2010), September 14-17, Vienna, Austria, Pages 347-360, Lecture Notes in Computer Science (LNCS), Vol. 6351, Springer, 2010.
International Workshop on Explanation-aware Computing (ExaCt-2010), 5th, located at ECAI 2010, August 16-20, Lissabon, Portugal, University of Lissabon, 8/2010.
In: Thomas Roth-Berghofer; Nava Tintarev; David B. Leake; Daniel Bahls (Hrsg.). Explanation-aware Computing ExaCt 2010, Proceedings of the 5th International ExaCt Workshop. International Workshop on Explanation-aware Computing (ExaCt-2010), 5th, located at ECAI 2010, August 16-20, Lissabon, Portugal, Pages 13-24, University of Lissabon, Portugal, 8/2010.
In: Thomas Roth-Berghofer; Nava Tintarev; David B. Leake; Daniel Bahls (Hrsg.). Explanation-aware Computing ExaCt 2010, Proceedings of the 5th International ExaCt Workshop. International Workshop on Explanation-aware Computing (ExaCt), 5th, located at ECAI 2010, August 16-20, Lissabon, Portugal, Pages 1-12, University of Lissabon, 8/2010.
In: 2010 IEEE/OES Autonomous Underwater Vehicles (AUV). IEEE/OES Autonomous Underwater Vehicles (AUV-2010), Mapping the Worlds Oceans, September 1-3, Monterey, CA, USA, ISBN 978-1-61284-979-9, IEEE, 2010.
In: U. Kortenkamp (Hrsg.). Proceedings of I2GEO conference. Interoperable Interactive Geometry Conference (I2GEO-2010), located at CADGME / I2GEO, July 2-3, Hluboka nad Vltavou, Czech Republic, Cermat, 7/2010.
In: Serge Autexier; Jacques Calmet; David Delahaye; Patrick D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.). Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10), 9th, located at Conference on Intelligent Computer Mathematics, July 8-9, Paris, France, Pages 398-410, Lecture Notes in Artificial Intelligence (LNAI), Vol. 6167/2010, ISBN 3-652-14127-7, Springer Verlag, 7/2010.