Revista: | Computación y sistemas |
Base de datos: | PERIÓDICA |
Número de sistema: | 000171261 |
ISSN: | 1405-5546 |
Autors: | Aliseda, Atocha1 |
Institucions: | 1Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas, México, Distrito Federal. México |
Any: | 1998 |
Període: | Jul-Sep |
Volum: | 2 |
Número: | 1 |
Paginació: | 5-13 |
País: | México |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplines | Matemáticas, Ciencias de la computación |
Paraules clau: | 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 |
Solicitud del documento | |