Computing abduction in semantic tableaux
Document title: Computing abduction in semantic tableaux
Journal: Computación y sistemas
Database: PERIÓDICA
System number: 000171261
ISSN: 1405-5546
Authors: 1
Institutions: 1Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas, México, Distrito Federal. México
Year:
Season: Jul-Sep
Volumen: 2
Number: 1
Pages: 5-13
Country: México
Language: Inglés
Document type: Artículo
Approach: Analítico
Disciplines: Matemáticas,
Ciencias de la computación
Keyword: Matemáticas aplicadas,
Inteligencia artificial,
Abducción,
Programación abductiva,
Tablas semánticas,
Explicaciones abductivas,
Lógica
Keyword: Mathematics,
Computer science,
Applied mathematics,
Artificial intelligence,
Abduction,
Abductive programming,
Sematic tableaux,
Abductive explanations,
Logic
Document request
Note: The document is shipping cost.









Original documents can be consulted at the Departamento de Información y Servicios Documentales, located in the Annex to the General Directorate of Libraries (DGB), circuito de la Investigación Científica across from the Auditorium Nabor Carrillo, located between the Institutes of Physics and Astronomy. Ciudad Universitaria UNAM. Show map
For more information: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964. E-mail: sinfo@dgb.unam.mx . Monday to Friday from (8 to 16 hrs).