- Knowledge representation formalisms and methods frames and scripts
- Representación del conocimiento, métodos, formas y scripts 3
- Deducción y prueba de teoremas 2
- Deduction and theorem proving 2
- Logic programming 2
- Lógica matemática-Computación 2
- Mathematical logic-Computation 2
- Artificial intelligence-Learning 1
- Inteligencia artificial-Aprendizaje 1
- Lenguajes de programación y software 1
- Programación en lógica 1
- Programming languages and software 1
-
1
Logic programming and nonmonotonic reasoning /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
2
Extensions of logic programming /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
3
Advances in knowledge acquisition : 9th European Knowledge Acquisition Workshop, EKAW ’96, Nottingham, United Kingdom, May 14-17, 1996 : proceedings /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book