Revista: | Research on computing science |
Base de datos: | PERIÓDICA |
Número de sistema: | 000402268 |
ISSN: | 1665-9899 |
Autores: | Osorio, Mauricio1 Zepeda, Claudia2 Carballido, José Luis2 |
Instituciones: | 1Universidad de las Américas, Centro de Investigación en Tecnología de la Información y Automatización, Cholula, Puebla. México 2Benemérita Universidad Autónoma de Puebla, Facultad de Ciencias de la Computación, Puebla. México |
Año: | 2011 |
Periodo: | Mar |
Volumen: | 53 |
Paginación: | 211-220 |
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, Métodos formales, Answer set programming, Programación lógica |
Keyword: | Computer science, Artificial intelligence, Programming, Formal methods, Answer set programming, Logic programming |
Solicitud del documento | |