Exploració per tema "CN+ (Computer program language)"
Ara es mostren els items 1-1 de 1
-
Bringing action language C+ to normative contexts: preliminary report
(CEUR Workshop Proceedings, 2010)
Text en actes de congrés
Accés obertC+ 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 ...