Search
Feedback
About UniCat 
Help
News
| Listing 1 - 6 of 6 |
Sort by
|
Book
ISBN: 1558601058 9781558601055 Year: 1990 Publisher: San Mateo : M. Kaufmann Publishers,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Proceedings --- conditionals --- Non Monotonic Logic --- Autoepistemic Logic
Book
Year: 1988 Publisher: Cambridge: Cambridge university press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Non Monotonic Logic --- Temporal Logic --- Artificial intelligence --- Logic --- Predicate Logic
ISBN: 1556080387 1556080379 9400926995 9781556080388 9781556080371 Year: 1988 Publisher: Dordrecht : Kluwer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence. Robotics. Simulation. Graphics --- Artificial intelligence --- 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 --- Artificial intelligence. --- Nonmonotony --- Natural Language --- Non Monotonic Logic --- Induction --- Chinese --- Frame Problem --- Room
Book
ISBN: 0262081555 9780262081559 Year: 1989 Publisher: Cambridge (Mass.): MIT press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
162 --- Belief and doubt --- Logic --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Conviction --- Doubt --- Consciousness --- Credulity --- Emotions --- Knowledge, Theory of --- Religion --- Will --- Agnosticism --- Rationalism --- Skepticism --- Besluitvorming. Retoriek. Filosofische argumentatie. Redeneerprocessen --- Methodology --- Belief and doubt. --- Logic. --- Reasoning. --- 162 Besluitvorming. Retoriek. Filosofische argumentatie. Redeneerprocessen --- Ratiocination --- Reason --- Judgment (Logic) --- Raisonnement --- Logique --- Croyance et doute --- Epistemology --- Non Monotonic Logic --- Artificial intelligence --- Knowledge Representation
ISBN: 0934613451 9780934613453 Year: 1987 Publisher: San Mateo, CA : Morgan Kaufmann Publishers,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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
Multi
ISSN: 10469567 ISBN: 1558601651 9781558601659 Year: 1991 Volume: vol *5 Publisher: San Mateo : M. Kaufmann,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Knowledge representation (Information theory) --- Reasoning --- 681.3*F41 --- 681.3*I23 --- 681.3*I24 --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 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} --- 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} --- Congresses --- Knowledge representation (Information theory) - Congresses. --- Reasoning - Congresses. --- Knowledge representation (Information theory) - Congresses --- Reasoning - Congresses --- Non-Classical Logic --- Temporal Logic --- Frame Problem --- Non Monotonic Logic --- Modal Logic
| Listing 1 - 6 of 6 |
Sort by
|