Negation in logic programs: is it necessary two connectives?

Negative information can be represented in several classes of logic programs. These approaches were first motivated by the search for an appropriate declarative semantics for negation as failure. Recently, some formalizations of monotonic negation were also introduced in logic programming in the for...

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: 1998
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24901
Aporte de:

Ejemplares similares