Busque entre los 155995 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-08-15T12:07:23Z | |
dc.date.available | 2012-08-15T12:07:23Z | |
dc.date.issued | 2009 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/19701 | |
dc.description.abstract | Dando continuidad al desarrollo de la semántica GS, se ha planteado estudiar la Complejidad Computacional y Descriptiva de la Programación en Lógica Rebatible a través de la semántica declarativa definida. En este sentido se estudiaron diferentes problemas de decisión y se calculó su complejidad computacional. Asimismo se avanzó en el estudio de la Complejidad de Datos, de los Programas y la Combinada. Este análisis es el punto de partida para el estudio en marcha de la expresividad de la teoría. | es |
dc.format.extent | 153-156 | es |
dc.language | es | es |
dc.subject | Intelligent agents | es |
dc.subject | sistemas argumentativos | es |
dc.subject | razonamiento rebatible | es |
dc.subject | programación en lógica | es |
dc.subject | semántica basada en juegos | es |
dc.subject | complejidad computacional | es |
dc.subject | complejidad descriptiva | es |
dc.title | Complejidad de la programación en lógica rebatible | es |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Cecchi, Laura | es |
sedici.creator.person | Fillottrani, Pablo Rubén | es |
sedici.creator.person | Simari, Guillermo Ricardo | es |
sedici.description.note | Eje: Agentes y Sistemas Inteligentes | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 2009-05 | |
sedici.relation.event | XI Workshop de Investigadores en Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |