- Artificial intelligence 129
- Inteligencia artificial 120
- INTELIGENCIA ARTIFICIAL 24
- Mathematical logic-Computation 24
- Lógica matemática-Computación 22
- Natural language processing 20
- Deducción y prueba de teoremas 17
- Deduction and theorem proving 17
- Artificial intelligence-Learning 16
- Inteligencia artificial-Aprendizaje 16
- Lógica matemática 11
- Distributed systems 10
- Logic programming 10
- Machine learning 10
- Mathematical logic 10
- Procesamiento del lenguaje natural 10
- Programming languages 10
- Sistemas distribuidos 10
- Database management 9
- Ingeniería de software 9
- Neural networks 9
- Software engineering 9
- Computation by abstract devices 8
- Formal languages 8
- Lenguajes formales 8
- Life and medical sciences 8
- Programación en lógica 8
- Artificial Intelligence 7
- Ciencias médicas y de la vida 7
- Computación mediante dispositivos abstractos 7
-
221
Speech and language processing : an introduction to natural language processing, computational linguistics, and speech recognition /
Published 2009“…Prentice Hall series in artificial intelligence…”
Book -
222
-
223
Turtle geometry : The computer as a medium for exploring mathematics /
Published 1980“…The MIT Press series in artificial intelligence…”
Book -
224
Logic for problem solving /
Published 1979“…The Computer Science Library. Artificial Intelligence Series ;…”
Book -
225
Handbook of logic in computer science /
Published 1992“…Handbooks of logic in computer science and artificial intelligence and logic programming…”
Book -
226
Dialogue processing in spoken language systems : ECAI'96 workshop, Budapest, Hungary, August 13, 1996 : revised papers /
Published 1997“…Lecture notes in artificial intelligence…”
Book -
227
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 artificial intelligence…”
Conference Proceeding Book -
228
Automated deduction in equational logic and cubic curves /
Published 1996“…Lecture notes in artificial intelligence…”
Book -
229
Non-monotonic extensions of logic programming /
Published 1997“…Lecture notes in artificial intelligence…”
Conference Proceeding Book -
230
Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 /
Published 1990“…Lecture notes in artificial intelligence…”
Conference Proceeding Book -
231
Logic programming and nonmonotonic reasoning /
Published 1997“…Lecture notes in artificial intelligence…”
Conference Proceeding Book -
232
Automated deduction, CADE- 14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
Published 1997“…Lecture notes in artificial intelligence…”
Conference Proceeding Book -
233
-
234
Extensions of logic programming /
Published 1996“…Lecture notes in artificial intelligence…”
Conference Proceeding Book -
235
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 artificial intelligence…”
Conference Proceeding Book -
236
Theorem proving with analytic tableaux and related methods /
Published 1996“…Lecture notes in artificial intelligence…”
Conference Proceeding Book -
237
-
238
Brainchildren : essays on designing minds /
Published 1998Table of Contents: “…The unimagined preposterousness of Zombies : commentary on Moody, Flanagan and Polger. Artificial intelligence and artificial life. Cognitive wheels : the frame problem of artificial intelligence. …”
Book -
239
Between saying and doing : towards an analytic pragmatism /
Published 2008Table of Contents: “…Extending the project of analysis -- Elaborating abilities : the expressive role of logic -- Artificial intelligence and analytic pragmatism -- Modality and normativity : from Hume and Quine to Kant and Sellars -- Incompatibility, modal semantics, and intrinsic logic -- Intentionality as a pragmatically mediated semantic relation -- Afterword : philosophical analysis and analytic philosophy.…”
Book -
240