2008

Pearce, D. and Mavrikis, M. and Geraniou, E. and Gutierrez-Santos, Sergio (2008) Issues in the design of an environment to support the learning of mathematical generalisation. In: Dillenbourg, P. and Specht, M. (eds.) Times of Convergence. Technologies Across Learning Contexts. Lecture Notes in Computer Science 5192. Berlin, Germany: Springer Verlag, pp. 326-337. ISBN 9783540876045.

Gutierrez-Santos, Sergio and Pearce, D. and Geraniou, E. and Mavrikis, M. (2008) Supporting reasoning and problem-solving in mathematical generalisation with dependency graphs. In: Stapleton, G. and Howse, J. and Lee, J. (eds.) Diagrammatic Representation and Inference. Lecture Notes in Computer Science 5223. Berlin, Germany: Springer Verlag, pp. 374-377. ISBN 9783540877301.

Gutierrez-Santos, Sergio and Mavrikis, M. and Pearce, D. (2008) A learning environment for promoting structured algebraic thinking in children. In: UNSPECIFIED (ed.) 2008 Eighth IEEE International Conference on Advanced Learning Technologies. Institute of Electrical and Electronics Engineers, pp. 74-76. ISBN 9780769531670.

2009

Pearce, D. and Poulovassilis, Alexandra (2009) The conceptual and architectural design of a system supporting exploratory learning of mathematics generalisation. In: Cress, U. and Dimitrova, V. and Specht, M. (eds.) Learning in the Synergy of Multiple Disciplines. Berlin, Germany: Springer Verlag, pp. 22-36. ISBN 9783642046353.

Pearce, D. and Geraniou, E. and Gutierrez-Santos, Sergio and Mavrikis, M. and Cocea, Mihaela and Hoyles, C. and Kahn, K. and Magoulas, George D. and Noss, R. and Poulovassilis, Alexandra and Winters, N. (2009) An eco-friendly intelligent environment for exploring mathematical generalisation. In: Dimitrova, V. and Mizoguchi, R. and du Boulay, B. and Graesser, A. (eds.) Building Learning Systems that Care: From Knowledge Representation to Affective Modelling. Frontiers in Artificial Intelligence and Applications: Artificial Intelligence in Education 200. Amsterdam, Netherlands: IOS Press, p. 804. ISBN 9781607500285.

2012

Calì, Andrea and Gottlob, G. and Orsi, G. and Pieris, A. (2012) On the interaction of existential rules and equality constraints in ontology querying. In: Erdem, E. and Lee, J. and Lierler, Y. and Pearce, D. (eds.) Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Computer Science 7265. Berlin, Germany: Springer, pp. 117-133. ISBN 9783642307423.