G'3-Stable Semantics and Inconsistency
We present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. In particular, we show that one can define a logic programming semantics based on the paraconsistent logic G'3 which is called G'3-stable semantics. This semantics defines a frame for performing non-mono...
Na minha lista:
| Publicado no: | Computación y Sistemas |
|---|---|
| Principais autores: | , , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Instituto Politécnico Nacional
2009
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=61513250007 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|