Revista: | Research on computing science |
Base de datos: | PERIÓDICA |
Número de sistema: | 000402268 |
ISSN: | 1665-9899 |
Autors: | Osorio, Mauricio1 Zepeda, Claudia2 Carballido, José Luis2 |
Institucions: | 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 |
Any: | 2011 |
Període: | Mar |
Volum: | 53 |
Paginació: | 211-220 |
País: | México |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplines | Ciencias de la computación |
Paraules clau: | 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 | |