Diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible
Los programas lógicos rebatibles (PLR) permiten utilizar dos tipos de negación: la negación por falla finzta (not), y la negación clásica (-,). De esta forma, es posible trabajar con información incompleta, y potencialmente inconsistente. El objetivo de este trabajo es mostrar como la expresividad...
Guardado en:
| Autores principales: | Simari, Guillermo Ricardo, García, Alejandro Javier |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
1996
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24200 |
| Aporte de: |
Ejemplares similares
-
Una aproximación a la programación en lógica rebatible
por: García, Alejandro Javier
Publicado: (1995) -
Un compilador para la programación en lógica rebatible
por: García, Alejandro Javier, et al.
Publicado: (1997) -
El criterio de especificidad en la programación en lógica rebatible
por: García, Alejandro Javier, et al.
Publicado: (1996) -
Complejidad computacional y descriptiva de la programación en lógica rebatible
por: Cecchi, Laura, et al.
Publicado: (2007) -
Formas argumentales: un acercamiento a la argumentación rebatible con información no básica
por: Chesñevar, Carlos Iván, et al.
Publicado: (1997)