- Logic programming
- Programación en lógica 8
- Lógica matemática-Computación 6
- Mathematical logic-Computation 6
- Artificial intelligence 5
- Deducción y prueba de teoremas 5
- Deduction and theorem proving 5
- Inteligencia artificial 5
- Representación del conocimiento, métodos, formas y scripts 3
- Formal languages 2
- Knowledge representation formalisms and methods frames and scripts 2
- Lenguajes formales 2
- Lógica matemática 2
- Mathematical logic 2
- Applicative programming 1
- Artificial intelligence-Applications and expert systems 1
- Artificial intelligence-Learning 1
- Estudios de construcción de programas 1
- Grammars and other rewriting systems 1
- Gramáticas y otros sistemas de reescritura 1
- Inteligencia artificial-Aplicaciones y sistemas expertos 1
- Inteligencia artificial-Aprendizaje 1
- Knowledge representation formalisms and method frames and scripts 1
- Languages and systems 1
- Lenguajes de programación 1
- Lenguajes de programación y software 1
- Lenguajes de programación-Definiciones formales y teoría 1
- Lenguajes y sistemas 1
- Logics and meanings of programs 1
- Lógica y significado de programas 1
-
1
Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /
Published 1996Subjects:Conference Proceeding Book -
2
-
3
-
4
-
5
-
6
-
7
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
8
Non-monotonic extensions of logic programming /
Published 1997“…Lecture notes in artificial intelligence…”
Conference Proceeding Book -
9
Logic programming and nonmonotonic reasoning /
Published 1997“…Lecture notes in artificial intelligence…”
Conference Proceeding Book -
10
Extensions of logic programming /
Published 1996“…Lecture notes in artificial intelligence…”
Conference Proceeding Book