Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Esquema
Cláusulas de HORN
Bibliografía:
Kowalski, R. (1979). Logic for problem solving (Vol. 7). Ediciones Díaz de Santos.
Valdez, N. J., & Falappa, M. A. (2013, June). Cambio de creencias: operadores de contracción
utilizando cláusulas de Horn. In XV Workshop de Investigadores en Ciencias de la Computación.
Valdez, N. J., & Falappa, M. A. (2014). Implementación de operadores de contracción múltiple para
bases de creencias Horn. In XX Congreso Argentino de Ciencias de la Computación (Buenos Aires,
2014).
http://gpd.sip.ucm.es/jaime/pl/sld.pdf
Instrucciones para el evaluador: Marque con una “X” en la columna SI, cuando los estudiantes muestren
las evidencias correspondientes y en la columna NO, cuando no muestre los productos señalados.
Instrucciones para los estudiantes: Realizar un cuadro sinóptico sobre una investigación de la
programación orientada a objetos.
Total 30
Retroalimentación