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