Now showing items 1-1 of 1

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

    Garcia Gasulla, Dario; Nieves Sánchez, Juan Carlos (CEUR Workshop Proceedings, 2010)
    Conference report
    Open Access
    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 ...