Revista: | Research on computing science |
Base de datos: | PERIÓDICA |
Número de sistema: | 000402266 |
ISSN: | 1665-9899 |
Autores: | Arzola, Sergio1 Zepeda, Claudia1 Rossainz, Mario1 Osorio, Mauricio2 |
Instituciones: | 1Benemérita Universidad Autónoma de Puebla, Facultad de Ciencias de la Computación, Puebla. México 2Universidad de las Américas, Cholula, Puebla. México |
Año: | 2011 |
Periodo: | Mar |
Volumen: | 53 |
Paginación: | 189-197 |
País: | México |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Ciencias de la computación |
Palabras clave: | Inteligencia artificial, Programación, Programación lógica, Métodos formales, Planificación automática |
Keyword: | Computer science, Artificial intelligence, Programming, Logic programming, Formal methods, Automated planning |
Solicitud del documento | |