Programación en lógica rebatible: una semántica declarativa

La Programación en Lógica Rebatible [GS99, GSC98, Gar00] (de ahora en más P.L.R.) es una extensión de la Programación en Lógica (P.L.) con una nueva clase de reglas, las reglas rebatibles. Estas reglas permiten representar conocimiento tentativo, aumentando, de este modo, el poder expresivo de la P...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cecchi, Laura
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
Extensiones de la Programación en Lógica
Theory of Computation
ARTIFICIAL INTELLIGENCE
Semántica Declarativa de Extensiones de la Programación en Lógica
Semántica de Juegos
Distributed systems
Sistemas Argumentativos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21643
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares