Strong properties of circumscriptive logic programming

Dix [7, 5, 6] introduced a method for classifying semantics of normal logic programs. Some of these properties, called strong properties, are adaptations of properties from general nommonotonic theories. We apply this technique to circumscriptive logic programs [8, 9], an extension of traditional lo...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Fillottrani, Pablo Rubén, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1996
Materias:
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Logic Programming
Strong properties
circumscriptive logic programming
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24202
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares