DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Altres >
Enviament des de DRAC >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2117/14168

Arxiu Descripció MidaFormat
main.pdf267 kBAdobe PDFThumbnail
Veure/Obrir

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 Veure Producció científica UPC; Nieves Sánchez, Juan Carlos Veure Producció científica UPC
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
KEMLG - Grup d´Enginyeria del Coneixement i Aprenentatge Automàtic. Ponències/Comunicacions de congressos
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

Aquest ítem (excepte textos i imatges no creats per l'autor) està subjecte a una llicència de Creative Commons Llicència Creative Commons
Creative Commons

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius