Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial intelligence. --- Nonmonotonic reasoning. --- Optoelectronics. --- Intelligence artificielle --- Raisonnement non-monotone --- Optoélectronique --- Artificial intelligence --- Nonmonotonic reasoning --- Optoelectronics --- 681.3*F41 --- 681.3*I23 --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Optoélectronique --- Electronics --- Photonics --- Non-monotonic reasoning --- Reasoning --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic theorem proving --- Théorèmes --- Démonstration automatique --- Logique mathématique --- Logique non monotone --- Logic, Symbolic and mathematical --- Langages formels --- Formal languages --- Automatic theorem proving. --- Théorèmes --- Formal languages. --- Logique mathématique. --- Logic, Symbolic and mathematical. --- Démonstration automatique --- Knowledge representation