Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 46
- Inteligencia artificial 46
- Mathematical logic-Computation 16
- Lógica matemática-Computación 15
- Deducción y prueba de teoremas 11
- Deduction and theorem proving 11
- Distributed systems 10
- Sistemas distribuidos 10
- Natural language processing 7
- Procesamiento del lenguaje natural 7
- Ingeniería de software 6
- Software engineering 6
- Logic programming 5
- Grammars and other rewriting systems 4
- Gramáticas y otros sistemas de reescritura 4
- Programación en lógica 4
- Representación del conocimiento, métodos, formas y scripts 4
- Artificial intelligence-Learning 3
- Arts and humanities 3
- Graph theory 3
- Inteligencia artificial-Aprendizaje 3
- Interfaces 3
- Knowledge representation formalisms and methods frames and scripts 3
- Probabilidad y estadística 3
- Teoría de grafos 3
- Administrative data processing 2
- Almacenaje y recuperación de la información 2
- Analysis of algorithms and problem complexity 2
- Análisis de algoritmos y problemas de complejidad 2
- Artes y humanidades 2
-
1
Progress in artificial intelligence : Proceedings / Carlos Pinto-Ferreira, Nuno J. Mamede.
Published 1995“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
2
Advances in case-based reasoning : 2nd european workshop EWCBR'94 Chantilly, France, November 7-10, 1994 Selected papers /
Published 1995“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
3
Progress in evolutionary computation : AI'93 and AI'94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16, 1993, Armidale, NSW, Australia, November...
Published 1995“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
4
Algorithmic learning theory : Proceedings /
Published 1995“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
5
Case-based reasoning : research and development : first international conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings /
Published 1995“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
6
Conceptual structures: Applications, implementation and theory : proceedings /
Published 1995“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
7
Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings /
Published 1995“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
8
KI-95 : Advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings /
Published 1995“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
9
Algorithmic learning for knowledge-based systems : GOSLER final report /
Published 1995“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Book -
10
Artificial intelligence in medicine : 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, Grenoble, France, March 23-26, 1997 : proceedings /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
11
Case-based reasoning : research and development : Second International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, 1997 : proceedings /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
12
Conceptual structures : Fulfilling Peirce's dream /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
13
Distributed artificial intelligence : architecture and modelling /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
14
Distributed software agents and applications /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
15
Cooperative information agents : first international workshop... /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
16
Automatic ambiguity resolution in natural language processing : an empirical approach /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Book -
17
Dialogue processing in spoken language systems : ECAI'96 workshop, Budapest, Hungary, August 13, 1996 : revised papers /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Book -
18
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 -
19
Automated deduction in equational logic and cubic curves /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Book -
20
Machine learning, ECML-97 : / 9th European Conference on Machine Learning, Prague, Czech Republic, April 23-25, 1997 : proceedings /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book