Choose an application

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

Materials sciences --- Artificial intelligence. Robotics. Simulation. Graphics --- neutron activation analysis --- nondestructive testing --- robots --- mechanisch materiaalonderzoek --- MRI (magnetic resonance imaging) --- NDO (niet destructief onderzoek) --- patroonherkenning --- ultrasoon onderzoek --- neutronenactiveringsanalyse --- visuele inspectie --- penetrometrie --- microscopie --- KI (kunstmatige intelligentie) --- robots --- materiaalonderzoek --- optische instrumenten

Choose an application

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

AI(Artificial intelligence) --- Artificial intelligence --- Artificial thinking --- Artificiële intelligentie --- Electronic brains --- Forgetfulness --- Geheugen --- Human intelligence --- Intellect --- Intellectronics --- Intelligence --- Intelligence [Artificial ] --- Intelligence artificielle --- Intelligent machines --- Kunstmatige intelligentie --- Machine intelligence --- Memory --- Mind --- Mémoire --- Oubli --- Retention (Psychology) --- Thinking [Artificial ] --- Vergeten --- Verstand --- Artificial intelligence. --- Intellect. --- Memory. --- Storytelling --- Psychological aspects. --- Cerveaux électroniques --- Machines intelligentes --- Pensée artificielle --- Psychological aspects

Choose an application

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

This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.

AI(Artificial intelligence) --- Argumentatieleer --- Argumentation [Théorie de l' ] --- Artificial intelligence --- Artificial thinking --- Artificiële intelligentie --- Electronic brains --- Intellectronics --- Intelligence [Artificial ] --- Intelligence artificielle --- Intelligent machines --- Kunstmatige intelligentie --- Machine intelligence --- Optoelectronics --- Optoelectronique --- Optoelektronica --- Raisonnement --- Reasoning --- Redenering --- Thinking [Artificial ] --- Logic programming --- Nonmonotonic reasoning --- Congresses. --- Cerveaux électroniques --- Machines intelligentes --- Pensée artificielle --- Logic, Symbolic and mathematical. --- Logic design. --- Computer science. --- Artificial intelligence. --- Mathematical Logic and Foundations. --- Logics and Meanings of Programs. --- Programming Techniques. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- AI (Artificial intelligence) --- Intelligence, Artificial --- 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 --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic programming - Congresses --- Nonmonotonic reasoning - Congresses.