- Knowledge representation formalisms and methods frames and scripts 5
- Lógica matemática-Computación 5
- Mathematical logic-Computation
- Representación del conocimiento, métodos, formas y scripts 5
- Deducción y prueba de teoremas 4
- Deduction and theorem proving 4
- Logic programming 3
- Clasificación de lenguajes 2
- Language classifications 2
- Language constructs and features 2
- Programación-Técnicas 2
- Programming techniques 2
- Semantics of programming languages 2
- Semántica de lenguajes de programación 2
- Administración de base de datos 1
- Administrative data processing 1
- Aplicaciones de los sistemas de información 1
- Búsqueda y recuperación de la información 1
- Clases de complejidad 1
- Complexity classes 1
- Concurrent programming 1
- Construcción y características del lenguaje 1
- Database management 1
- Information search and retrieval 1
- Information systems applications 1
- Information systems-Models and principles 1
- Lenguaje-Construcciones y características 1
- Problem solving, control methods and search backtracking 1
- Problem solving, control methods, and search backtracking 1
- Procesamiento de datos administrativos 1
-
1
Extensions of logic programming /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
2
Logic programming and nonmonotonic reasoning /
Published 1997Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
3
Conceptual modeling - ER '96 /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
4
Over-constrained systems /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Book -
5
Principles and practice of constraint programming, CP96 /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book