Una aproximación a la programación en lógica rebatible
El objetivo de este trabajo es describir un lenguaje de programación en lógica rebatible como una extensión de la programación en lógica convencional. Para ello se utilizarán los programas lógicos rebatibles (PLR), los cuales están formados por dos tipos de cláusulas: las cláusulas de programa exten...
Guardado en:
| Autor principal: | García, Alejandro Javier |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
1995
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24334 |
| Aporte de: |
Ejemplares similares
-
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) -
Diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible
por: Simari, Guillermo Ricardo, et al.
Publicado: (1996) -
Aprendizaje de conocimiento rebatible
por: Delladio, Telma
Publicado: (2003) -
Ontologías, reglas, inconsistencias y argumentación rebatible en la web semántica
por: Gómez, Sergio Alejandro, et al.
Publicado: (2010)