- idUS
- Investigación
- Arte y Humanidades
- Filosofía y Lógica y Filosofía de la Ciencia
- Listar Filosofía y Lógica y Filosofía de la Ciencia por autor
Listar Filosofía y Lógica y Filosofía de la Ciencia por autor "Velázquez Quesada, Fernando R."
Mostrando ítems 1-3 de 3
-
Artículo
Abduction for (non-ominiscient) agents
Soler Toscano, Fernando; Velázquez Quesada, Fernando R. (2010)Among the non-monotonic reasoning processes, abduction is one of the most important. Usually described as the process of ...
-
Ponencia
Efficient program transformers for translating LCC to PDL
Pardo, Pere; Sarrión Morillo, Enrique; Soler Toscano, Fernando; Velázquez Quesada, Fernando R. (2014) -
Artículo
Tuning the program transformers from LCC to PDL
Pardo, Pere; Sarrión Morillo, Enrique; Soler Toscano, Fernando; Velázquez Quesada, Fernando R. (IFCoLog (The International Federation for Computational Logic), 2018)This work proposes an alternative definition of the so-called program transformers used to obtain reduction axioms in the ...