- Representación del conocimiento, métodos, formas y scripts
- Knowledge representation formalisms and methods frames and 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
- Knowlege representation, formalisms and scripts 1
- Lenguajes de programación y software 1
- Natural language processing 1
- Procesamiento del lenguaje natural 1
- Programación en lógica 1
- Programming languages and software 1
-
1
Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 /
Published 1990“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
2
Logic programming and nonmonotonic reasoning /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
3
Extensions of logic programming /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
4
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