Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations - Cotta, Carlos; Reich, Simeon; Schaefer, Robert; Ligęza, Antoni (Springer Berlin Heidelberg, 2008)