• Bringing action language C+ to normative contexts: preliminary report 

      Garcia Gasulla, Dario; Nieves Sánchez, Juan Carlos (CEUR Workshop Proceedings, 2010)
      Text en actes de congrés
      Accés obert
      C+ is an action language for specifying and reasoning about the e ects of actions and the persistence of facts over time. Based on it. we present CN+, an operational enhanced form of C+ designed for representing complex ...