- Representación del conocimiento, métodos, formas y scripts 10
- Knowledge representation formalisms and methods frames and scripts 8
- Deducción y prueba de teoremas 6
- Deduction and theorem proving 6
- Lógica matemática-Computación 5
- Mathematical logic-Computation 5
- Logic programming 4
- Formal languages 3
- Lenguajes de programación y software 3
- Lenguajes formales 3
- Programming languages and software 3
- Artificial intelligence-Learning 2
- Clasificación de lenguajes 2
- Database management 2
- Information systems applications 2
- Inteligencia artificial-Aprendizaje 2
- Knowledge representation formalisms and method frames and scripts 2
- Language classifications 2
- Language constructs and features 2
- Logics and meanings of programs 2
- Lógica matemática 2
- Lógica y significado de programas 2
- Mathematical logic 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
- Administración de bases de datos 1
- Administrative data processing 1
-
1
Advances in knowledge acquisition : 9th European Knowledge Acquisition Workshop, EKAW ’96, Nottingham, United Kingdom, May 14-17, 1996 : proceedings /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
2
Extensions of logic programming /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
3
Logic programming and nonmonotonic reasoning /
Published 1997Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
4
Computer science logic /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
5
Conceptual modeling - ER '96 /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
6
Database and expert systems applications : 7th International Conference, DEXA ’96, Zurich, Switzerland, September 9-13, 1996 : proceedings /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
7
Over-constrained systems /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Book -
8
Principles and practice of constraint programming, CP96 /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
9
Graph grammars and their application to computer science /
Published 1996Subjects: “…Knowledge representation formalisms and method frames and scripts.…”
Conference Proceeding Book -
10
Reasoning with logic programming /
Published 1996Subjects: “…Knowledge representation formalisms and method frames and scripts.…”
Book