Dr. Francisco J. Cantú Ortiz

 

Página personal

 

 

 

Home

 

Curriculum vitae

 

Education

 

publications

 

Theses

 

conference organizer

 

invited talks

 

editorial boards

 

grants

 

RESEARCH INTERESTS

 

Family

 

teaching

 

.
Publications


Journal articles:

1.      Cantu-Ortiz, F. J. (2014). Advancing artificial intelligence research and dissemination through conference series: Benchmark, scientific impact and the MICAI experience. Expert Systems with Applications, 41(3), 781-785.

2.      Galeano-Sánchez, N. M., Morales-Menéndez, R., & Cantú-Ortiz, F. J. (2012) Developing Research Skills in Undergraduate Students trough an Internship Program in Reseacrh and Innovation. INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION. Ireland. pp: 48-56. [2012-65072] 

3.      Cantú-Ortiz, F. J., & Ceballos-Cancino, H. G. (2010). A multiagent knowledge and information network approach for managing research assets. EXPERT SYSTEMS WITH APPLICATIONS. Estados Unidos de América. pp: 5272-5284. [2010-48672]

4.      Cantú, F., Bustani, A., Molina, A., Moreira, H. (2009). A knowledge-based Development Model: The Research Chairs Strategy. Journal of Knowledge Management. Vol 13, No. 2, pp: 154-170, Emerald, UK

5.      Alvarado, M., Sheremetov, L., Bañares-Alcantara, R., Cantú-Ortiz, F. J. (2007). Current challenges and trends in intelligent computing and knowledge management in industry. Knowledge and Information Systems, Vol. 12, pp. 117-127. Springer, UK

6.      Robles, A., Noriega , P., Luck, M., Cantú, F. (2006). Using MAS Technologies for Intelligent Organizations: A Report of Bottom-Up Results. Lecture Notes on Computer Science (LNCS). pp: 1116-1127, Springer, Germany

7.      Garza, L., Morales, R., Cantú, F., Ramírez, R. (2005). A Fault Detection Approach based on Machine Learning Models. MICAI 2005. Lecture Notes on Artificial Intelligence, Vol. 3789 pp 583-592, Springer, Germany

8.      Robles, A., Noriega, P., Cantú, F. Morales, R. (2005). Enabling Intelligent Organizations: An Electronic Institutions Approach for Controlling and Executing Problem Solving Methods. MICAI 2005. Lecture Notes on Artificial Intelligence, Vol. 3789 pp 583-592, Springer, Germany

9.      Morales, R., Aguilar, S.Y, Cantú, F., Vallejo, A., Ramírez, M.J. (2005). Surface Roughness Modelling in High Speed Machining. Lecture Series on Computer Science and Computacional Science. pp: 827-830. United States of America

10.    Frydman J.A, Cantú F.J., Morales R., Sierra J. (2005). Model Selection in Data Mining: A Statistical Approach. Journal of Research on Computing Science . Mexico Vol. 17, pp: 65-74

11.    Alvarado, Matías, Cheremetov, Leonid, Cantu, Francisco (2004). Autonomous agents and computational intelligence: the future of AI applications for petroleum industry. Expert Systems with Applications an International Journal, Volume 26, No. 1, pp 3-8, Elsevier

12.    Cantú, Francisco J. (2003). AI´s geographics outreach: Mexico and Latin America . IEEE Intelligent Systems, Vol 18. No. 3, pp 78-80, IEEE Computer Society (ISSN 1094-7167)

13.    Garza, Luis E., Cantú, Francisco J., Acevedo, Salvador (2002). Integration of fault detection and diagnosis in a probabilistic framework , Springer-Verlag Lecture Notes in Artificial Intelligence, Vol 2527, pp 265-274

14.    Gutierrez, Francisco J., Lerma-Rascon, Margarita, Salgado-Garza, Luis R., Cantu, Francisco J. (2002) Biometrics and Data Mining: Comparison of Data Mining-Based Keystroke Dynamics Methods for Identity Verification . Springer-Verlag Lecture Notes in Artificial Intelligence, Vol 2313, pp 460-469

15.    Garza, Luis E., Cantú, Francisco J., Acevedo, Salvador (2002). Fault diagnosis in industrial processes with a hybrid diagnostic system . Springer-Verlag Lecture Notes in Artificial Intelligence, Vol 2313, pp 536-545

16.    Aguirre, J.L., Brena, R. Cantu-Ortiz, F. (2001). Multiagent-based Knowledge Networks . Special issue on Knowledge Management of the journal Expert Systems with Applications, No. 20, pp 65-75, Elsevier

17.    Garza, L.E., Cantu.Ortiz, F., Acevedo, S. (2000). A Methodology for Multiple-fault Diagnosis based on the Indepencent Choice Logic . Springer-Verlag Lecture Notes on Artificial Intelligence Vol 1952, pp 417-426

18.    Francisco J. Cantu, Carlos Zozaya, (1998). Artificial Intelligence in Mexico. Preface of Special issue of the Expert Systems with Applications: An International Journal. Vol. 14, No. 1-2, pp 1-2.

19.    Cantu-Ortiz, F.J., Bundy, A.,Smaill, A. and Basin, D. (1996). Experiments in Automating Hardware Verification using Inductive Proof Planning ., Springer-Verlag Lecture Notes in Computer Science Vol. 1166, pp 94-108

20.    Liebowitz, J., and Cantu-Ortiz, F. (1992), Expert Systems Technology Transfer Strategies: Selected Cases from the United States and Mexico. Journal of Artificial Intelligence and Society, pp 324-337, Vol. 6, 1992

21.    Cantu-Ortiz, F., Garcia-Espinosa M. (1992). An Expert System for Diagnosing Problems in Boiler Operation.. Expert Systems with Applications: An international Journal, Pergamon Press, 5(3-4), pp 323-336

22.    Cantu-Ortiz, F. (1991). Expert Systems in Manufacturing: An experience in Mexico. Expert Systems with Applications: An International Journal (J. Liebowitz, ed.), 3(4) Pergamon Press, New York

23.    Cantu-Ortiz, F. (1991). Human Resources Formation in Knowledge Engineering: Experiences in Staffing Expert Systems Development Teams. Heuristics: The Journal of Knowledge Engineering, 4(2) pp.32-42, Special Avignon '91 Edition, Systemsware Corporation, Rockville

 

       Book Chapters:

1.      Cantú-Ortiz, F. J. (2015). A Research and Innovation Ecosystem Model for Private Universities. In Private Universities in Latin America: Research and Innovation in the Knowledge Economy, pp 109-130. MacMillan-Palgrave, New York, USA

2.      Cantú-Ortiz, F. J., & Ceballos-Cancino, H. G. (2012). Knowledge Management Handbook: Collaboration and Scientific Networking. A Framework for Fostering Multidisciplinary Research Collaboration and Scientific Netwroking within University Environs Taylor and Francis Reino Unido. Ed. Jay Leibowitz. [2011-62789]

3.      Heredia, Y. and Cantu, F.J. (2011). A Model for e-Learning and Knowledge Management: The Virtual University at Tecnológico de Monterrey, pp 61-80, In Knowledge Management and e-Learning, eds. Jay Liebowitz and Michael Frank, CRC Press, Taylos and Francisc Group

4.      Cantu, F., Mora S., Ceballos H., Díaz, J.A., Martínez, S. and Jiménez, D. (2006). A Methodology for Strategic Intelligence: A Roadmap Model, a Knowledge-based Tool and a Bio-MEMS Case Study, CRC Press , Florida USA

5.      Goebel, R., Cantu-Ortiz, F.J. (1998). Expert Systems Technology: Logic. In the Handbook of Applied Expert Systems, pp 18/1-16, Jay Liebowitz (Ed), CRC Press, Washington D.C

6.      Francisco J. Cantu-Ortiz (1994). Expert Systems Activities and Trends in Mexico. In Worldwide Expert Systems Activities and Trends, Editor: Jay Liebowitz, New York: Cognizant Communications

7.      Cantu-Ortiz, F. and García-Espinosa M. (1992). SECAL: An expert system for diagnosing problems in boiler operation. In Operational Expert Systems Applications in Mexico, pp 7-26, F. Cantú-Ortiz (ed), New York: Pergamon Press

8.      Cantu-Ortiz, F. and García-Espinosa M. (1992), SEMAT: An expert system for diagnosing problems in toothpaste tube machines. In Operational Expert Systems Applications in Mexico, pp 74-85, F. Cantú-Ortiz (ed), New York: Pergamon Press

 

       Conference articles:

1.      Gustavo A Parada, Hector G Ceballos, Francisco J Cantu, Lucia Rodriguez-Aceves (213). Recommending intra-institutional scientific collaboration through coauthorship network visualization, Proceedings of the Workshop on Computational scientometrics: theory & applications, pp 7-12

2.      Manuel Rodriguez-Mancha, Hector G Ceballos, Francisco J Cantu, Aldo Diaz-Prado (211). Mapping relational databases through ontology matching: a case study on information migration. Proceedings of the Workshop on Ontology Marching

3.      Galeano-Sánchez, N. M., Morales-Menéndez, R., & Cantú-Ortiz, F. J. (2011). A Research-Based Learning Approach for Undergraduate Students: The internship program in research and innovation model. Int Conf on Computer Supported Education. Holanda. pp: 143-146. May . 2011. [2011-59523]

4.      Rodríguez-Mancha, M. J., Ceballos-Cancino, H. G., Cantú-Ortiz, F. J., & Díaz-Prado, J. A. (2011). Mapping relational databases through ontology matching: a case study on information migration . International Workshop on Ontology Matching. Alemania. October . 2011. [2011-62706]

5.      Ceballos-Cancino, H. G., Brena-Pinero, R. F., & Cantú-Ortiz, F. J. (2011). Modeling information repositories consistency and auditing through Alloy and CCalc. 2011 Iberoamerican Conference on Electronics Engineering and Computer Science (CIIECC 2011). México. pp: 169-178. April . 2011. [2011-62304]

6.      Ceballos-Cancino, H. G., Noriega, P., & Cantú-Ortiz, F. J. (2010). Dispatching Agents in Electronic Institutions. WORKSHOP ON INFRASTRUCTURES AND TOOLS FOR MULTIAGENT SYSTEMS (ITMAS 2010). Canadá. pp: 26-33. May . 2010. [2010-48674]

7.      Ceballos-Cancino, H. G., Noriega, P., & Cantú-Ortiz, F. J. (2010). Requesting agent participation in Electronic Institutions (Extended Abstract). THE SEVENTH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS ESTORIL. Canadá. pp: 1375-1376. May . 2010. [2010-48673]

8.      Ceballos-Cancino, H. G., & Cantú-Ortiz, F. J. (2009). Towards a Causal Framework for Intelligent Agents Development. MEXICAN INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (MICAI). México. pp: 67-72. November . 2009. [2009-43475]

9.      Garza Castañón, Luis Eduardo; Morales Menéndez, Rubén; Cantú Ortiz, Francisco Javier (2008). Learning Discrete Probabilistic Models for Application in Multiple Faults Detection. 5o. INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS. Portugal. pp: 187-192. May 2008

10.    Morales Menéndez, Rubén; Vallejo Guevara, Antonio Jr.; Garza Castañón, Luis Eduardo; Cantú Ortiz, Francisco Javier; Abellán Nebot, José Vicente (2007). AI Approaches for Cutting Tool Diagnosis in Machining Processes. 25o. ARTIFICIAL INTELLIGENCE APPLICATIONS 2007. Austria. pp: 186-191.

11.    Ceballos Cancino, Héctor Gibrán; Cantú Ortiz, Francisco Javier (2007). Integrating Semantic Annotations in Bayesian Causal Models. 20o. INTERNATIONAL WORKSHOP ON DESCRIPTION LOGICS (DL'07). Italy. pp: 527-528.

12.    Ceballos Cancino, Héctor Gibrán; Cantú Ortiz, Francisco Javier (2007). Modeling Intelligent Agents through Causality Theory. 6o. MEXICAN INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, MICAI 2007. México. pp: 201-210

13.     Cantú Ortiz, Francisco Javier; Garza Luis E., Robles A. and Morales R. (2006). Learning and using Bayesian networks for diagnosis and user profiling. Twelve Americas Conference on Information Systems - AMCIS . Acapulco, México

14.    Rios María Teresa and Cantú Ortiz Francisco J. (2006). Knowledge Discovery in Academic Registrar Data Bases using Source Mining: Data and Text. Twelve Americas Conference on Information Systems - AMCIS . Acapulco, México.

15.    Bustani, A., García, J. and Cantú Ortiz, F.J. (2006). Strategies for moving from a teaching university towards a teaching, research and entrepreneurial university: the Tecnológico de Monterrey experience. Ethiopia Triple Helix Conference, International Organisation for Knowledge Economy and Enterprise Development, Addis Ababa , Ethiopia, May 29-31

16.    Robles Pompa, Armando; Cantú Ortiz, Francisco Javier; Morales Menéndez, Rubén (2005). A Bayesian Reasoning Framework for On-line Business Information Systems. Eleventh Americas Conference on Information Systems. USA. Agosto 8-11.

17.    Cantú Ortiz, Francisco Javier; Mora Castro, Silvia Patricia; Díaz Prado, José Aldo; Ceballos Cancino, Héctor Gibrán; Martínez Chapa, Sergio Omar; Jiménez Farías, Rosendo Daniel (2005). A knowledge-based entrepreneurial approach for business intelligence in strategic technologies: Bio-MEMS. Americas Conference on Information Systems - AMCIS. USA. pp: 1327-1340. Agosto. 8-11.

18.    Cantú Ortiz, Francisco Javier; Ceballos Cancino, Héctor Gibrán; Mora Castro, Silvia Patricia; Escoffié Puerto, Miguel Angel (2005). A Knowledge-based information system for managing research programs and value creation in a university environment. Americas Conference on Information Systems - AMCIS. USA. pp: 781-791. Agugust 8-11

19.    Garza Castañón, Luis Eduardo; Cantú Ortiz, Francisco Javier; Morales Menéndez, Rubén (2005). A Framework to Design Fault-Tolerant Mechatronics Systems under Uncertainty. Proceedings of IASTED International Conference on Artificial Intelligence and Applications, February, Austria .

20.    Carrillo Rincón, Miguel A.; Cantú Ortiz, Francisco Javier; Garza Castañón, Luis Eduardo; Morales Menéndez, Rubén (2005). Learning Bayesian Network Structures from Small Datasets using Simulated Annealing and Bayesian Score. Proceedings of IASTED International Conference on Artificial Intelligence and Applications, February 2005, Austria

21.    Ramírez Mendoza, Ricardo Ambrocio, Morales Menéndez, Rubén, Cantú Ortiz, Francisco Javier (2005). Neural Nets Modelling for Automotive Welding Application. Proceedings of the 16º IASTED Conference on Modelling and Simulation . Internacional. MEXICO. pp: 340-345. Mayo.

22.    J.L. Flores-Quintanilla, Rubén Morales-Menéndez, Ricardo Ramírez, Luis E. Garza, Francisco J. Cantú (2005). Towards a new Fault Diagnosis System for Electric Machines based on Dynamic Probabilistic Models. Proceedings of the American Control Conference, pp 2775-2780, June 2005, Portland OR , USA .

23.    Sánchez Castellanos Barraza, José María, Cantú Ortiz, Francisco Javier (2005). Preparación de datos con un sistema difuso para minería de datos. 35 Congreso de Investigación y Desarrollo Tecnológico. Nacional. MEXICO. pp: 556-565. January

24.    Morales-Menendez, R., Mutch, J., Cantu, F, Guedea, F., Larza, L. (2004). Fault diagnosis in mobile robots using particle filtering algorithms. IASTED International Conference on Intelligent Systems and Control, Honolulu, USA, August 2004

25.    Morales-Menendez, R., Cantu-Ortiz, F. Favela-Contreras, A. (2004). Dynamic modelling of technical processess using Jump Markov Linear Gaussian models , in Proceedings of the IASTED International Conference on Modelling, Identification and Control MIC-2004, Grindelwald, Switzerland, February 2004

26.    Palomera, F., Cantú, F., Murga, P. (2002). Aplicación de Técnicas de Inteligencia Artificial en la Modelación del Conocimiento y Monitoreo de su Comportamiento en un Proceso Industrial Multivariable . Memorias del XXXII Intercambio de Experiencias en Investigación, ITESM, 2002

27.    Garza, L.E., Cantu.Ortiz, F., Acevedo, S. (2000). Technical Process Fault Diagnosis with an Extended Independent Choice Logic . In Proceedings of the 11 International Workshop on Diagnosis Principles, June 8-11, 2000

28.    Morales, R. Guedea, F. Cantu-Ortiz, F. (2000). Inferencia Bayesiana para Diagnóstico y Control de Procesos . In the Spanish Proceedings of the Mexican International AI Conference, CIC-IPN, pp 335-344, Acapulco, Mexico

29.    Cantu-Ortiz, F. (1998). Inteligencia Artificial en Mexico: Historia, estado actual y perspectiva . In Proceedings of TAINA the Workshop on Artificial Intelligence, CIC-IPN, Mexico City

30.    Francisco J. Cantu-Ortiz (1995). Inductive Proof Plans for Hardware Verification . In proceedings of the Workshop on Automation of Proof by Mathematical Induction, Ed. R. Boyer, A. Bundy, D. Kapur, C. Walther, Schloss Dagstuhl

31.    Bundy, A and Cantu-Ortiz, F. (1994). Verifying an Arithmetic Logic Unit . In Proceedings of the Workshop on Automation of Proof by Mathematical Induction, XII IJCAI, Nancy, France

32.    Garrido-Luna L., Cantu-Ortiz F. (1994). PROAS: A Case-based Advising Prototype . Proceedings of Expertsys-94: Expert Systems and Applications Conference, Houston, Tx, USA

33.    Francisco J. Cantu-Ortiz (1993) Inductive Proof Plans for Combinational Hardware Verification . Discussion Paper 142, Department of Artificial Intelligence, U. of Edinburgh

34.    Francisco J. Cantu-Ortiz (1993) Reasoning About Inductive Proofs . In Working Notes of the Workshop on Automation of Proof by Mathematical Induction, (Ed) A. Bundy, H. Zhang, AAAI-93 Conference, Washington D.C

35.    Cantu-Ortiz, F., An Overview of Expert Systems in Mexico. Operational Expert Systems in Mexico, (F. Cantu-Ortiz, ed.) Pergamon Press, New York,1992

36.    Cantu-Ortiz, F., Garcia-Espinosa M. (1992). An Expert System for Diagnosing Problems in Boiler Operation. Expert Systems with Applications: An international Journal, Pergamon Press, 5(3-4), pp 323-336 Cantu-Ortiz, F., García, M., An Expert System for Diagnosing Problems in Boiler Operations, Proceedings of the World Congress on Expert Systems (J. Liebowitz, ed.), Pergamon Press, New York, 1991

37.    Cantu-Ortiz, F., García, M. (1990), A Strategy for Transferring Expert Systems Technology to Industry. Proceedings of the IEEE Conference on Managing Expert Systems Programs and Projects, IEEE Computer Society Press, Los Alamitos California

38.    Cantu-Ortiz F., Mora-Tavares J. (1990). A model of qualitative/quantitative algebraic reasoning for causal explanation applied to the interpretation of financial statements. Technical Report, ITESM Centro de Inteligencia

39.    Cantu-Ortiz F., Leal A. (1988) Sistema experto diagnosticador de errores de programas escritos en Pascal (SEDEPLP). Proceedings of the V National Conference on Artificial Intelligence, Mexico: LIMUSA

40.    Mejia M, Cantu-Ortiz F. (1988) Manipulacion de expresiones algebraicas con orientacion a la enseñanza. Proceedings of the V National Conference on Artificial Intelligence, Mexico: LIMUSA

41.    Rosas J., Cantu-Ortiz F. (1988) Sistema experto para el diagnóstico de cardiopatia isquemica (Aterosclerotica y no aterosclerotica). Proceedings of the V National Conference on Artificial Intelligence, Mexico: LIMUSA

42.    Villarreal R., Rodriguez D., Cantu-Ortiz F. (1988) Analizador sintactico del proyecto Analisis de lenguaje hablado en Monterrey. Proceedings of the V National Conference on Artificial Intelligence, Mexico City: LIMUSA

 

Journal special issues:

1.      Alvarado, M, Sheremetov, L., Cantu F. (eds.) (2004). Intelligent Computing in the Petroleum Industry, special issue of the journal Expert Systems with Applications, 26(1), Elsevier, New York, 2004

2.      Soto, R. Sucar, E. Boumedine, M. Cantu-Ortiz, F. (eds.) (1998). Selected articles from the IV World Congress on Expert Systems , special issue of the journal Expert Systems with Applications, 15(3-4), Elsevier, New York, 1998

3.      Cantu-Ortiz, F., Zozaya, C. (eds.) (1998). Artificial Intelligence in Mexico, special issue of the journal Expert Systems with Applications, 14(1-2), Elsevier, New York, 1998

Edited books:

  • Cantu-Ortiz, F., (ed). Operational Expert Systems in Mexico, Pergamon Press, New York,1992

Edited proceedings:

1.      Cantu, F., Garcia E. Cruz H. (eds) (2006) Memorias del Congreso de Investigación y Desarrollo del Tecnológico de Monterrey, Tomos I y II, ITESM, México

2.      Cantu, F., Garcia E. Cruz H. (eds) (2006). Compendio de resúmenes de artículos publicados. Congreso de Investigación y Desarrollo del Tecnológico de Monterrey, ITESM, México

3.      Cantu, F., Garcia E. Cruz H. (eds) (2006) Memorias del 36º Congreso de Investigación y Desarrollo del Tecnológico de Monterrey, Tomos I y II, ITESM, México

4.      Cantu, F., Garcia E. Cruz H. (eds) (2005) Memorias del 35º Congreso de Investigación y Desarrollo del Tecnológico de Monterrey, Tomos I y II, ITESM, México

5.      Cantu, F., Reynaga A. (2005) La Investigación y el Posgrado en el Tecnológico de Monterrey 2003-2004, ITESM, México

6.      Cairo, O., Sucar, E., Cantu-Ortiz, F. (eds.) (2000). Proceedings of MICAI, the Mexican International Conference on Artificial Intelligence, Springer-Verlag Lecture Notes on Artificial Intelligence 1793, April 10-14, 2000, Acapulco, Mexico

7.      Cantu-Ortiz, F., Soto, R, Liebowitz, J., Sucar, E. (eds.) (1998). Proceedings of the IV World Congress on Expert Systems , Cognizant Communications, New York, 1998

8.      Soto, R., Sanchez, J.M., Campbell, M., Cantu, F. (eds) (1996). Proceedings of the ISAI/IFIS Conference: Mexico-USA Collaboration on Intelligent Systems Technologies, ITESM, Monterrey, Mexico

9.      Cantu, F. Soto, R, Campbell, M., Sanchez, J. (eds) (1995). Proccedings of the 8 International Symposium on Artificial Intelligence, ITESM, Monterrey, Mexico

10.    Soto, R, Sanchez, J., Cantu, F. Campbell, M. (eds) (1994). Proccedings of the7 International Symposium on Artificial Intelligence, ITESM, Monterrey, Mexico

11.    Cantu, F., Campbell, M.,  Soto, R. (eds) (1993). Proccedings of the 6 International Symposium on Artificial Intelligence, LIMUSA, Mexico

12.    Cantu, F., Campbell, M.,  Terashima, H. (eds) (1992). Proccedings of the 5 International Symposium on Artificial Intelligence, AAAI Press, Menlo Park, CA, USA.

13.    Cantu, F. And Terashima, H. (eds) (1991). Proccedings of the 4 International Symposium on Artificial Intelligence, LIMUSA, Mexico

14.    Cantu, F. And Terashima, H. (eds) (1990). Proccedings of the 3 International Symposium on Artificial Intelligence, LIMUSA, Mexico

15.    Cantu, F. (ed.) (1989). Proccedings of the 2 International Symposium on Artificial Intelligence, ITESM, Mexico

16.    Cantu, F. (ed.) (1989). Proccedings of the 1 International Symposium on Artificial Intelligence, ITESM, Mexico

Technical reports:

1.      Cantu, F. (2002), A knowledge-based approach for curriculum design in information technology . Technical Report CIA-RI-047, Center for Artificial Intelligence, ITESM

2.      Cantu, F. (2000). Reinforcement and Bayesian Learning in Multiagent Systems: The MACS Project . Technical Report CIA-RI-042, Center for Artificial Intelligence, ITESM

3.      Cantu, F. (2000). Learning and using Bayesian networks . Technical Report CIA-RI-043, Center for Artificial Intelligence, ITESM. Invited talk at the Computing International Conference, CIC-IPN, November, 2000

4.      Cantu-Ortiz, F., Bundy, A., Smaill, A., Basin, D. (2000). Automating Hardware Verification using Proof Planning. Technical Report CIA-RI-044, Center for Artificial Intelligence, ITESM

5.        Cantu-Ortiz F., Mora-Tavares J. (1990). A model of qualitative/quantitative algebraic reasoning for causal explanation applied to the interpretation of financial statements , Technical Report, ITESM Centro de Inteligencia

 

Theses:

1.      Francisco J. Cantu-Ortiz (1997). Inductive Proof Planning for Automating Hardware Verification, PhD thesis, Department of Artificial Intelligence, University of Edinburgh, U.K.

2.      Francisco J. Cantu-Ortiz (1978). A method for a class of reactive programming problems, Master thesis, Departament of Mathematics, North Dakota State University

PhD and master theses supervised:

  • Visit: http://homepages.mty.itesm.mx/fcantu/theses.html

arriba

 

Sitio diseñado para Explorer 6.0 y Netscape 6.0 o versiones superiores, a una resolución de 800 x 600 pixeles. D.R2005. http://homepages.mty.itesm.mx/disclaimer.html