Semántica declarativa trivaluada para la programación en lógica rebatible
- Autores
- Cecchi, Laura; Simari, Guillermo Ricardo
- Año de publicación
- 2002
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- La semántica operacional de los programas lógicos está basada en el método de resolución de Robinson, aplicado a cláusulas de Horn. Esto supone una limitación tanto sintáctica como semántica que, a pesar de las ventajas teóricas y prácticas que trae consigo, restringe en algunos casos la aplicabilidad de la Programación en Lógica (de ahora en más P.L.) en resolución de problemas. La superación de esta limitación puede atacarse de varias maneras. Un modo es extender la ejecución clásica a nuevos procedimientos junto con un cambio en la sintaxis, resultando en un incremento del poder expresivo de la P.L..
Eje: Aspectos teóricos de Inteligencia Artificial
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Extensiones de la Programación en Lógica
Semántica Declarativa de Extensiones de la Programación en Lógica
Semantics
Semántica de Juegos
Sistemas Argumentativos - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/21763
Ver los metadatos del registro completo
id |
SEDICI_e5af8a4916547b44085df1cf81a48f82 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/21763 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Semántica declarativa trivaluada para la programación en lógica rebatibleCecchi, LauraSimari, Guillermo RicardoCiencias InformáticasARTIFICIAL INTELLIGENCEExtensiones de la Programación en LógicaSemántica Declarativa de Extensiones de la Programación en LógicaSemanticsSemántica de JuegosSistemas ArgumentativosLa semántica operacional de los programas lógicos está basada en el método de resolución de Robinson, aplicado a cláusulas de Horn. Esto supone una limitación tanto sintáctica como semántica que, a pesar de las ventajas teóricas y prácticas que trae consigo, restringe en algunos casos la aplicabilidad de la Programación en Lógica (de ahora en más P.L.) en resolución de problemas. La superación de esta limitación puede atacarse de varias maneras. Un modo es extender la ejecución clásica a nuevos procedimientos junto con un cambio en la sintaxis, resultando en un incremento del poder expresivo de la P.L..Eje: Aspectos teóricos de Inteligencia ArtificialRed de Universidades con Carreras en Informática (RedUNCI)2002-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf9-13http://sedici.unlp.edu.ar/handle/10915/21763spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:27:37Zoai:sedici.unlp.edu.ar:10915/21763Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:27:37.531SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Semántica declarativa trivaluada para la programación en lógica rebatible |
title |
Semántica declarativa trivaluada para la programación en lógica rebatible |
spellingShingle |
Semántica declarativa trivaluada para la programación en lógica rebatible Cecchi, Laura Ciencias Informáticas ARTIFICIAL INTELLIGENCE Extensiones de la Programación en Lógica Semántica Declarativa de Extensiones de la Programación en Lógica Semantics Semántica de Juegos Sistemas Argumentativos |
title_short |
Semántica declarativa trivaluada para la programación en lógica rebatible |
title_full |
Semántica declarativa trivaluada para la programación en lógica rebatible |
title_fullStr |
Semántica declarativa trivaluada para la programación en lógica rebatible |
title_full_unstemmed |
Semántica declarativa trivaluada para la programación en lógica rebatible |
title_sort |
Semántica declarativa trivaluada para la programación en lógica rebatible |
dc.creator.none.fl_str_mv |
Cecchi, Laura Simari, Guillermo Ricardo |
author |
Cecchi, Laura |
author_facet |
Cecchi, Laura Simari, Guillermo Ricardo |
author_role |
author |
author2 |
Simari, Guillermo Ricardo |
author2_role |
author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas ARTIFICIAL INTELLIGENCE Extensiones de la Programación en Lógica Semántica Declarativa de Extensiones de la Programación en Lógica Semantics Semántica de Juegos Sistemas Argumentativos |
topic |
Ciencias Informáticas ARTIFICIAL INTELLIGENCE Extensiones de la Programación en Lógica Semántica Declarativa de Extensiones de la Programación en Lógica Semantics Semántica de Juegos Sistemas Argumentativos |
dc.description.none.fl_txt_mv |
La semántica operacional de los programas lógicos está basada en el método de resolución de Robinson, aplicado a cláusulas de Horn. Esto supone una limitación tanto sintáctica como semántica que, a pesar de las ventajas teóricas y prácticas que trae consigo, restringe en algunos casos la aplicabilidad de la Programación en Lógica (de ahora en más P.L.) en resolución de problemas. La superación de esta limitación puede atacarse de varias maneras. Un modo es extender la ejecución clásica a nuevos procedimientos junto con un cambio en la sintaxis, resultando en un incremento del poder expresivo de la P.L.. Eje: Aspectos teóricos de Inteligencia Artificial Red de Universidades con Carreras en Informática (RedUNCI) |
description |
La semántica operacional de los programas lógicos está basada en el método de resolución de Robinson, aplicado a cláusulas de Horn. Esto supone una limitación tanto sintáctica como semántica que, a pesar de las ventajas teóricas y prácticas que trae consigo, restringe en algunos casos la aplicabilidad de la Programación en Lógica (de ahora en más P.L.) en resolución de problemas. La superación de esta limitación puede atacarse de varias maneras. Un modo es extender la ejecución clásica a nuevos procedimientos junto con un cambio en la sintaxis, resultando en un incremento del poder expresivo de la P.L.. |
publishDate |
2002 |
dc.date.none.fl_str_mv |
2002-05 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/21763 |
url |
http://sedici.unlp.edu.ar/handle/10915/21763 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf 9-13 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1842260113745772544 |
score |
13.13397 |