|
E-prints UPC >
Altres >
Enviament des de DRAC >
Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/2117/14168
|
| Citació: | Garcia, D.; Nieves, J.C. Bringing action language C+ to normative contexts: preliminary report. A: Logic / Languages, Algorithms, New Methods of Reasoning. "Sixth Latin American Workshop on New Methods of Reasoning 2010". Puebla: CEUR Workshop Proceedings, 2010. |
| Títol: | Bringing action language C+ to normative contexts: preliminary report |
| Autor: | Garcia Gasulla, Dario  ; Nieves Sánchez, Juan Carlos |
| Editorial: | CEUR Workshop Proceedings |
| Data: | 2010 |
| Tipus de document: | Conference report |
| Resum: | 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 normative systems and integrate them easily into the semantics of the causal theory of actions. The proposed system contains a particular formalization of norms using a life-cycle approach to capture the whole normative meaning of a complex normative framework. We discuss this approach and illustrate it with examples. |
| ISBN: | 1613-0073 |
| URI: | http://hdl.handle.net/2117/14168 |
| Apareix a les col·leccions: | Altres. Enviament des de DRAC
Departament de Llenguatges i Sistemes Informàtics. Ponències/Comunicacions de congressos
|
| Comparteix: |
|
Aquest ítem (excepte textos i imatges no creats per l'autor) està subjecte a una llicència de Creative Commons Llicència Creative Commons
|
Català
Castellano
English
