Burrieza Muñiz, Alfredo

Institución: Departamento de Filosofía Universidad de Málaga
Dirección: Campus de Teatinos s/n 29071-Málaga
Teléfonos: 952131815
Publicaciones 1
Docencia 2
Investigación 3
Conferencias 4
Alumnos 5

Publicaciones de los últimos diez años 

Artículos de revista

  1. Burrieza, A. y P. De Guzmán, I. "A Temporal x Modal Approach to the Definability of Properties of Functions". Lecture notes in artificial intelligence  vol. 23 09 (2002). Páginas: 239-254.
  2. Burrieza, A., P. De Guzmán, I. y Muñoz, E. "Indexed Flows in Temporal x Modal Logic with Functional Semantics". M.Fisher and A. Artale (eds.). Temporal Representation and Reasoning,  IEEE Computer Society Press, 2002. Páginas: 146-153.
  3. Burrieza, A. y P. De Guzmán, I. "A Functional Approach for Temporal x Modal Logics". Acta informatica  vol. 39  Ed. Springer, 2003. Páginas: 71-96.
  4. Burrieza, A. y Oejda-Aciego, M. "A multimodal logic approach to order of magnitude qualitative reasoning". Lecture ntoes in artificial intelligence 3040. Springer, 2004. Páginas: 66-75.
  5. Burrieza, A., Ojeda-Aciego, M. "A multimodal logic approach to order of magnitude qualitative reasoning with comparability and negligibility relations". Fundamenta informaticae  vol 68(2005). Páginas: 21-46.
  6. Burrieza, A., Muñoz, E. y Ojeda-Aciego, M. "Order of magnitude Qualitative Reasoning with Bidirectional neglibility". Lecture notes in artificial intelligence  4177 (2006). Páginas: 370-378.
  7. Aguilera, G., Burrieza, A., Cordero, P., P. De Guzmán, I. y Muñoz, E. "MAT Logic: A Temporal x Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies". Lecture notes in artificial intelligence  4140, (2006). Páginas: 602-611.
  8. Burrieza, A., Ojeda-Aciego, M. y Oorlowska, E. "Relational approach to order-of-magnitude reasoning". Lecture notes in artificial intelligence   4342 (2006). Páginas: 105-124.
  9. Burrieza, A., Muñoz, E., Ojeda-Aciego, M. "A logic for order of magnitude reasoning with neglibility, non-closeness and distance". Lecture notes in artificial intelligence 4788 (2007). Páginas: 210-219.
  10. Burrieza, A., P. De Guzmán, y Muñoz-Velasco, E. "Generalization of some properties of relations in the context of  functional temporal x modal logic", International journal of computer mathematics  vol. 85, nºs 3-4 (2008). Páginas: 371-383. 
  11. Burrieza, A., Muñoz-Velasco, E. y Ojeda-Aciego, M. "A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning". Lecture notes in artificial intelligence  5290 (2008). Páginas: 11-20. 
  12. Burrieza, A., P. De Guzmán, y Muñoz-Velasco, E. "Functional systems in the context of temporal x modal logics with indexed flows". International journal of computer mathematics  vol. 86, nºs 10-11 (2009): Páginas: 1696-1706.
  13. Burrieza, A., Mora, A., Ojeda-Aciego, M. y Orlowska, E. "An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning". International journal of computer mathematics  vol. 86, nºs 10-11 (2009). Páginas: 1852-1866.
  14. Burrieza, A., P. De Guzmán, y Muñoz-Velasco, E. "Analyzing completeness of axiomatic functional systems for temporal x modal logics". Mathematical logic quaterly  (aceptado).

Capítulos de libro

  1. Burrieza, A. y Ojeda-Aciego, M. "La incidencia de las Ciencias Formales en la Computación". José Mª Atencia y Antonio Diéguez (eds.), Tecnociencia y Cultura a comienzos del siglo XXI, pp.155-170, Universidad de Málaga, Málaga, (2004).
  2. Burrieza, A. y Ojeda-Aciego, M. "Reflexiones sobre la educación basada en Internet". Antonio Diéguez y Jose Mª Atencia (eds.), Genes y máquinas,  pp. 580-610. Universidad de Málaga, Málaga (2006).  

Publicaciones en actas de congreso 

  1. Burrieza, A. y  Pérez De Guzmán, I. "Un planteamiento funcional". WxT. RSME' 2000. 1º Congreso de la Real Sociedad Matemática Española. Libro de Actas.  Sesión "Lógica, Matemática, Deducción Automática", pp. 27-33, Madrid, 2000.
  2. Burrieza, A. y  Pérez De La Cruz, J.L. "Nested tableaux: Advances Theorem Proving for Modal Logics with Minimal Models". AIML–ICTL 2000 (Advances in Modal Logic 2000). Proceedings of AIML–ICTL, pp. 25-34. Leipzig (Alemania), 2000.
  3. Burrieza, A., Pérez De Guzmán, I. y Muñoz, E. "Flujos etiquetados y definibilidad de propiedades de funciones". RSME' 2002. 2º Congreso de la Real Sociedad Matemática Española. Libro de Actas. Sesión "Modelos matemáticos para la computación y la sociedad de la información", pp. 1-16, Puerto de la Cruz (Tenerife), 2002.
  4. Burrieza, A.y Ojeda-Aciego, M. "A multimodal logic approach to order of magnitude qualitative reasoning". CAEPIA-TTIA 2003. X Conferencia de la Asociación Española para la Inteligencia Artificial. Libro de Actas. vol. I, pp.431-440, Servicio Editorial Universidad del País Vasco, San Sebastián, 2003.
  5. Burrieza, A.y Ojeda-Aciego, M. "On the Modal Logic of Order-Magnitude Qualitative Reasoning. A Tableau Calculus". EPIA’05 12th Portuguese Conference on Artificial Intelligence. En Carlos Bento, Amílcar Cardoso and Gaël Dias (eds.), 2005 Portuguese Conference on Artificial Intelligence, IEEE pp.33-37. Covilha (Portugal), 2005.
  6. Burrieza, A., Muñoz, E. y Ojeda-Aciego, M. "Order of magnitude qualitative reasoning with bidirectional negligibility". CAEPIA-TTIA 2005. XI Conferencia de la Asociación Española para la Inteligencia Artificial. Libro de Actas. vol. II, pp. 1-9, Santiago de Compostela, 2005.
  7. Burrieza, A., P. De Guzmán, y Muñoz-Velasco, E.  "Generalization of some properties of relations in the context of  functional temporal x modal logic". CMMSE 2006. International Conference on Computational and Mathematical Methods on Science and Engineering. Proceedings of  the 2006 International Conference on Computational and Mathematical Methods on Science and Engineering, CMMSE-2006, Vol .I, pp. 158-174. Madrid, 2006.
  8. Burrieza, A.y Ojeda-Aciego, M. "Una lógica multimodal para el razonamiento cualitativo  con órdenes de magnitud". V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Actas de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, pp. 26-31. Granada, 2006.
  9. Burrieza, A., P. De Guzmán, y Muñoz-Velasco, E. "Axiomatic functional systems for temporal x modal logics". CMMSE 2008. Internacional Conference on Computational and Mathematical Methods on Science and Engineering. Proceedings of  the 2008 International Conference on Computational and Mathematical Methods on Science and Engineering, CMMSE-2008, Addendum, pp. 721-736. La Manga (Murcia), 2008.
  10. Burrieza, A., Mora. A., Ojeda, M., Orlowska, E. "Implementing a relational system for order of magnitude reasoning". CMMSE 2008. International Conference on Computational and Mathematical Methods on Science and Engineering. Proceedings of  the 2008 International Conference on Computational and Mathematical Methods on Science and Engineering, CMMSE-2008, Vol. I, pp. 93-102. La Manga (Murcia), 2008.

The headquarter for 2017-2018 is the University of Valladolid

This master’s degree gives direct access to the interuniversity PhD programme in Logic and Philosophy of Science.

Logic and Philosophy of Science alumni

Encyclopedias, journals, learned societies , virtual libraries

Learn about the latest books published by our teachers

Master's Theses on Logic and Philosophy of Science

Get to know the coordinators of every University

Our staff

All information in one file

Our regular conferences

Our intellectual honesty decalogue

Our quality assurance system