- Lógica matemática-Computación
- Mathematical logic-Computation 15
- Deducción y prueba de teoremas 8
- Deduction and theorem proving 8
- Artificial intelligence 7
- Inteligencia artificial 7
- Logic programming 5
- Programación en lógica 4
- Knowledge representation formalisms and methods frames and scripts 2
- Representación del conocimiento, métodos, formas y scripts 2
- Artificial intelligence-Learning 1
- Búsqueda y recuperación de la información 1
- Ciencias físicas e ingeniería 1
- Computational geometry and object modeling 1
- Distributed systems 1
- Geometría computacional y modelado de objetos 1
- Grammars and other rewriting systems 1
- Gramáticas y otros sistemas de reescritura 1
- Information search and retrieval 1
- Information systems-Types 1
- Inteligencia artificial-Aprendizaje 1
- Interfaces 1
- Modes of computation 1
- Modos de computación 1
- Natural language processing 1
- Pattern recognition. Models 1
- Physical sciences and engineering 1
- Procesamiento del lenguaje natural 1
- Reconocimiento de patrones. Modelos 1
- Sistemas de información-tipos 1
-
1
Distributed artificial intelligence : architecture and modelling /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
2
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
3
Automated deduction in equational logic and cubic curves /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Book -
4
Non-monotonic extensions of logic programming /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
5
Foundations of intelligent systems /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
6
Logic programming and nonmonotonic reasoning /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
7
Qualitative and quantitative practical reasoning /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
8
Foundations of inductive logic programming /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Book -
9
Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995, selected papers /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
10
Algorithmic learning theory /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
11
Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
12
Extensions of logic programming /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
13
Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
14
Practical reasoning /
Published 1996“…Lecture notes in computer science ; Lecture notes in artificial intelligence…”
Conference Proceeding Book -
15
Theorem proving with analytic tableaux and related methods /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book