Revista: | Computación y sistemas |
Base de datos: | PERIÓDICA |
Número de sistema: | 000161214 |
ISSN: | 1405-5546 |
Autores: | Arrazola, José1 Dix, Jürgen Osorio, Mauricio |
Instituciones: | 1Benemérita Universidad Autónoma de Puebla, Facultad de Ciencias Físico Matemáticas, Puebla. México 2University of Koblenz, Department of Computer Science, Koblenz. Alemania |
Año: | 1998-1999 |
Periodo: | Oct-Mar |
Volumen: | 2 |
Número: | 2-3 |
Paginación: | 104-113 |
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, Semántica, Programación lógica, Sistemas de reescritura confluente, Razonamiento |
Keyword: | Computer science, Artificial intelligence, Semantics, Logical programming, Confluent rewriting systems, Reasoning |
Solicitud del documento | |