Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/14168
dc.contributor | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic |
dc.contributor.author | Garcia Gasulla, Dario |
dc.contributor.author | Nieves Sánchez, Juan Carlos |
dc.date | 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.citation | 1613-0073 |
dc.identifier.uri | http://hdl.handle.net/2117/14168 |
dc.language.iso | eng |
dc.publisher | CEUR Workshop Proceedings |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | 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 | CN+ (Computer program language) |
dc.subject | Action speci cation languages |
dc.subject | Norm-based systems |
dc.subject | Causal logic |
dc.subject | C+ (Llenguatge de programació) |
dc.title | Bringing action language C+ to normative contexts: preliminary report |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |