Towards Abductive Reasoning in First-order Logic |
| |
| Authors: | Reyes-Cabello, A. Liliana Aliseda-Llera, Atocha Nepomuceno-Fernandez, Angel |
| |
| Affiliation: | 1 Departamento de Matemáticas. Facultad de Ciencias. Universidad Nacional Autónoma de México. Coyacan, México, D.F. (Mexico). E-mail: liliana{at}ciencias.unam.mx, 2 Instituto de Investigaciones Filosóficas. Universidad Nacional Autónoma de México. México D.F. (Mexico). E-mail: atocha{at}filosoficas.unam.mx, 3 Unidad de Lógica, Lenguaje e Información. Dpto. de Filosofía y Lógica. Universidad de Sevilla. Sevilla (Spain). E-mail: nepomuce{at}us.es |
| |
| Abstract: | |
| |
| Keywords: | abduction semantic tableaux |
| 本文献已被 Oxford 等数据库收录！ |
|
