- Representación del conocimiento, métodos, formas y scripts 11
- Knowledge representation formalisms and methods frames and scripts 8
- Deducción y prueba de teoremas 7
- Deduction and theorem proving 7
- Lógica matemática-Computación 5
- Mathematical logic-Computation 5
- Formal languages 4
- Lenguajes formales 4
- Logic programming 4
- Lenguajes de programación y software 3
- Logics and meanings of programs 3
- Lógica matemática 3
- Lógica y significado de programas 3
- Mathematical logic 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
- 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
Computer science logic /
Published 1997Subjects: “…Knowledge representation formalisms and methods frames.…”
Conference Proceeding Book -
6
Conceptual modeling - ER '96 /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
7
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 -
8
Over-constrained systems /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Book -
9
Principles and practice of constraint programming, CP96 /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
10
Graph grammars and their application to computer science /
Published 1996Subjects: “…Knowledge representation formalisms and method frames and scripts.…”
Conference Proceeding Book -
11
Reasoning with logic programming /
Published 1996Subjects: “…Knowledge representation formalisms and method frames and scripts.…”
Book