Listing 1 - 1 of 1 |
Sort by
|
Choose an application
This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. The workshop brought together researchers with different backgrounds, including non-monotonic logic, logic programming, truth maintenance and philosophy. Their papers contain substantial advances to the logical foundations of non-monotonic reasoning, its computational realization, and its application to the formalization of common sense reasoning. The book presents a snapshot of the state of the art in this research area, and provides in-depth discussions of current problems and approaches.
Artificial intelligence. Robotics. Simulation. Graphics --- Artificial intelligence --- Nonmonotonic reasoning --- Logic, symbolic and mathematical --- Congresses --- -Logic, Symbolic and mathematical --- -Nonmonotonic reasoning --- -681.3*I23 --- Non-monotonic reasoning --- Reasoning --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- 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 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Logic, Symbolic and mathematical --- Congresses. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 --- Artificial intelligence. --- Artificial Intelligence. --- Artificial intelligence - Congresses --- Nonmonotonic reasoning - Congresses --- Logic, Symbolic and mathematical - Congresses
Listing 1 - 1 of 1 |
Sort by
|