Un compilador para la programación en lógica rebatible
La programación en lógica rebatible es una extensión de la programación en lógica que captura aspectos del razonamiento del sentido común que son difíciles de expresar en la programación en lógica tradicional. Los programas lógicos rebatibles (PLR) permiten representar información incompleta y poten...
Guardado en:
| Autores principales: | García, Alejandro Javier, Simari, Guillermo Ricardo |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
1997
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24080 |
| Aporte de: |
Ejemplares similares
-
Una aproximación a la programación en lógica rebatible
por: García, Alejandro Javier
Publicado: (1995) -
El criterio de especificidad en la programación en lógica rebatible
por: García, Alejandro Javier, et al.
Publicado: (1996) -
Diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible
por: Simari, Guillermo Ricardo, et al.
Publicado: (1996) -
Ontologías, reglas, inconsistencias y argumentación rebatible en la web semántica
por: Gómez, Sergio Alejandro, et al.
Publicado: (2010) -
Procesamiento de ontologías inconsistentes en la Web semántica usando argumentación rebatible: reporte de progreso
por: Gómez, Sergio Alejandro, et al.
Publicado: (2009)