Listar por tema "Especificaciones epistémicas"
Mostrando ítems 1-1 de 1
-
Un procesador de expresiones epistémicas en programas lógicos
(2019-09-06)[Resumen] En este proyecto se ha desarrollado la herramienta eclingo que calcula los modelos de un programa lógico con expresiones epistémicas. Estas expresiones suponen una ampliación del lenguaje declarativo Answer Set ...