An abductive proof procedure for hypothetical reasoning in computational theories
Tipo de documentoTexto en actas de congreso
Fecha de publicación1992
EditorUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Condiciones de accesoAcceso abierto
Esta obra está protegida por los derechos de propiedad intelectual e industrial correspondientes.
Salvo que se indique lo contrario, sus contenidos estan sujetos a la licencia de Creative Commons
:
Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional
Resumen
CitaciónCasamayor, J.C. An abductive proof procedure for hypothetical reasoning in computational theories. A: "Proceedings of the 3rd International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991, p. 249-274.
| Ficheros | Descripción | Tamaño | Formato | Ver |
|---|---|---|---|---|
| 3DAISD_12_An abductive proof.pdf | 1,240Mb | Ver/Abrir |