Publications
O. Montaño-Rivas and Roy McCasland and Lucas Dixon and Alan Bundy. Scheme-based theorem discovery and concept invention. Expert Systems with Applications (2011), doi:10.1016/j.eswa.2011.06.055
O. Montaño-Rivas and Roy McCasland and Lucas Dixon and Alan Bundy. Scheme-based Synthesis of Inductive Theories. In MICAI, LNCS (Vol. 6437, pp. 348–361).
M. Hernández-Ordoñez , O. Montaño-Rivas, D.U. Campos-Delgado and E. Palacios. Development of an Educational Simulator and Graphical User Interface for Diabetic Patients. Proceedings of IEEE, ICEEE07.
Aguirre J.L., Montaño O., Sanchez-Castellanos J.M. Uso de Sistemas Basados en Casos y de Minería de datos en un Sistema de Flujo de Información y Conocimiento. Third Iberoamerican Conference on Systems, Cybernetics and Informatics Memories, pg. 356-361 Orlando, Florida, USA July 18-21 2004.
Aguirre J.L., Montaño O., Sanchez-Castellanos J.M. Knowledge flow leveraged through case-based and data mining agents in a just in time information and knowledge system. Proceedings 2nd International IEEE Conference Intelligent Systems, pag. 200-205 Yager R., Sgurev V. eds. Varna, Bulgaria, June 22-24 2004
Aguirre J.L., Montaño O. An agent-based knowledge flow system using case-based technologies. Workshops on Intelligent Computing associated with the Mexican Conference on Artificial Intelligence MICAI 2004, pag. 100-107 SheremetovL., Alvarado M. eds. Mexico City, Mexico 26-27 Abril 2004
Talks
Thesis Proposal Presentation: Scheme-based Theorem Discovery and Concept Invention. Edinburgh, UK. CISA Seminar, 28 Nov 2008.
CIAO-09 Workshop: Scheme-based Theorem Discovery and Concept Invention. Schloß Etelsen, Langwedel, Germany. 2 Apr 2009. [pdf]
Automatheo-09 Workshop: Scheme-based Theorem Discovery and Concept Invention. Research Institute for Symbolic Computation, Hagenberg, Austria. 29th Jun 2009. [pdf]
Automatheo-10 Workshop: Scheme-based Definition and Conjecture Synthesis for Inductive Theories. Edinburgh, UK. 14 Jul 2010. [pdf]
CIAO-10 Workshop: Scheme-based Synthesis of Inductive Theories. Research Institute for Symbolic Computation, Hagenberg, Austria. 3 Aug 2010. [pdf]
Scottish Theorem Proving (STP) meeting: Scheme-based synthesis of inductive theories. School of Computing, University of Dundee, UK, 17 Jun 2011.
Misc
Thesis Proposal: Scheme-based Theorem Discovery and Concept Invention. Edinburgh, UK. 28th Nov 2008. [pdf]