Journal: | Research on computing science |
Database: | PERIÓDICA |
System number: | 000402268 |
ISSN: | 1665-9899 |
Authors: | Osorio, Mauricio1 Zepeda, Claudia2 Carballido, José Luis2 |
Institutions: | 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 |
Year: | 2011 |
Season: | Mar |
Volumen: | 53 |
Pages: | 211-220 |
Country: | México |
Language: | Inglés |
Document type: | Artículo |
Approach: | Analítico |
Disciplines: | Ciencias de la computación |
Keyword: | 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 |
Document request | |