Now showing items 1-1 of 1

    • Un procesador de expresiones epistémicas en programas lógicos 

      Garea Cidre, Javier (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 ...