TY - BOOK ID - 2413047 TI - From natural language processing to logic for expert systems : a logic based approach to artificial intelligence AU - Thayse, André AU - Binot, Jean-Louis PY - 1991 SN - 0471924318 9780471924319 PB - Chichester New York Toronto Wiley DB - UniCat KW - AI(Artificial intelligence) KW - Artificial intelligence KW - Artificial thinking KW - Artificiële intelligentie KW - Electronic brains KW - Expert systems (Computer science) KW - Expertsystemen (Informatica) KW - Intellectronics KW - Intelligence [Artificial ] KW - Intelligence artificielle KW - Intelligent machines KW - Kunstmatige intelligentie KW - Langue naturelle--Traitement des données (Informatique) KW - Logic [Symbolic and mathematical ] KW - Logica [Symbolische en wiskundige ] KW - Logique symbolique et mathémathique KW - Machine intelligence KW - Natural language processing (Computer science) KW - Natuurlijke taal--Gegevensverwerking (Informatica) KW - Systèmes experts (Informatique) KW - Thinking [Artificial ] KW - Logic, Symbolic and mathematical KW - Logique symbolique et mathématique KW - Traitement automatique des langues naturelles KW - Logic, Symbolic and mathematical. KW - NLP (Computer science) KW - Electronic data processing KW - Human-computer interaction KW - Semantic computing KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Knowledge-based systems (Computer science) KW - Systems, Expert (Computer science) KW - Computer systems KW - Soft computing KW - AI (Artificial intelligence) KW - Intelligence, Artificial KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Cerveaux électroniques KW - Machines intelligentes KW - Pensée artificielle KW - Systèmes experts (Informatique) KW - Logique symbolique et mathématique KW - Artificial intelligence. UR - https://www.unicat.be/uniCat?func=search&query=sysid:2413047 AB - ER -