Buscar
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 ...