Mostra el registre d'ítem simple
Bringing action language C+ to normative contexts: preliminary report
| dc.contributor.author | Garcia Gasulla, Dario |
| dc.contributor.author | Nieves Sánchez, Juan Carlos |
| dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
| dc.date.accessioned | 2011-12-05T12:41:21Z |
| dc.date.available | 2011-12-05T12:41:21Z |
| dc.date.created | 2010 |
| dc.date.issued | 2010 |
| dc.identifier.citation | 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. |
| dc.identifier.issn | 1613-0073 |
| dc.identifier.uri | http://hdl.handle.net/2117/14168 |
| dc.description.abstract | 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. |
| dc.language.iso | eng |
| dc.publisher | CEUR Workshop Proceedings |
| dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
| dc.subject | Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació::C |
| dc.subject.lcsh | CN+ (Computer program language) |
| dc.subject.lcsh | Action speci cation languages |
| dc.subject.lcsh | Norm-based systems |
| dc.subject.lcsh | Causal logic |
| dc.title | Bringing action language C+ to normative contexts: preliminary report |
| dc.type | Conference report |
| dc.subject.lemac | C+ (Llenguatge de programació) |
| dc.contributor.group | Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic |
| dc.description.peerreviewed | Peer Reviewed |
| dc.rights.access | Open Access |
| local.identifier.drac | 8757437 |
| dc.description.version | Postprint (author’s final draft) |
| local.citation.author | Garcia, D.; Nieves, J.C. |
| local.citation.contributor | Logic / Languages, Algorithms, New Methods of Reasoning |
| local.citation.pubplace | Puebla |
| local.citation.publicationName | Sixth Latin American Workshop on New Methods of Reasoning 2010 |
