Sobre la negación y la inferencia no monótona en la programación en lógica

Dentro del lenguaje de la Programación en Lógica tradicional, el operador de negación por falla "not" ha sido empleado tanto para representar información negativa como para proveer el fundamento básico de inferencias no monótonas. En este trabajo se analiza este doble rol desde el punto d...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Fillottrani, Pablo Rubén
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2000
Materias:
Ciencias Informáticas
Logic Programming
Knowledge Representation Formalisms and Methods
Languages
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23671
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares