Listing 1 - 4 of 4 |
Sort by
|
Choose an application
1. Introduction -- 2. Preference Logics -- 3. Nonmonotonic Inference Relations -- 4. Consistency-Based Logics -- 5. Abduction -- 6. Semantics of Programs with Negation -- 7. Nonmonotonicity in Logic Programming.
Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- Reasoning --- Logic. --- Raisonnement --- Logique --- Nonmonotonic reasoning. --- 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) --- Logic --- Nonmonotonic reasoning --- Non-monotonic reasoning --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Thought and thinking --- Methodology --- Artificial intelligence.
Choose an application
Mathematics --- Fuzzy sets --- Fuzzy systems --- Ensembles flous --- Systèmes flous --- Periodicals --- Périodiques --- Systèmes flous --- Fuzzy sets. --- Mathematics. --- Périodiques. --- aggregation operations --- non-additive uncertainty theory --- possibility theory --- linguistic modelling --- numerical modeling fuzzy rule-based systems --- category theory --- topology --- data fusion --- interpolative reasoning --- non-monotonic reasoning --- logic programming --- constraint-di --- #TS:TCPW --- 621 --- Mechanical engineering in general. Nuclear technology. Electrical engineering. Machinery --- Information Technology --- Artificial Intelligence --- Neural Networks --- Robotics --- General and Others --- Mathematical Sciences --- Applied Mathematics --- Information Technology. --- General and Others. --- Mathematical Sciences. --- 621 Mechanical engineering in general. Nuclear technology. Electrical engineering. Machinery --- Périodiques --- EJMATHE ELSEVIER-E EPUB-ALPHA-F EPUB-PER-FT --- Journal --- 621 Algemene mechanische bouwkunde. Nucleaire technologie. Electronica. Machinebouw --- Algemene mechanische bouwkunde. Nucleaire technologie. Electronica. Machinebouw --- Fuzzy systems - Periodicals --- Fuzzy sets - Periodicals
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
Choose an application
Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- Artificial intelligence --- Nonmonotonic reasoning --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- 681.3*I23 --- Non-monotonic reasoning --- Reasoning --- Algebra of logic --- Logic, Universal --- 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) --- Artificial intelligence. --- Logic, Symbolic and mathematical. --- Nonmonotonic reasoning. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Non Monotonic Logic
Listing 1 - 4 of 4 |
Sort by
|