Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 11 | << page >> |
Sort by
|
ISBN: 9780198538455 0198538456 Year: 1994 Publisher: Oxford: Clarendon,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1969 Publisher: Uppsala University of Uppsala
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1969 Publisher: Uppsala [s.n.]
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence --- Planning --- Reasoning (Psychology)
Book
ISBN: 0444865950 Year: 1983 Publisher: Amsterdam North-Holland
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Film
Year: 1988 Publisher: Leuven KU Leuven. Audiovisuele dienst [prod., real., dist.]
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0070038856 9780070038851 Year: 1984 Publisher: New York, N.Y. McGraw-Hill
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer programming --- #TCPW:boek --- 681.3*D1 --- 681.3*D26 --- 681.3*D47 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming techniques--See also {681.3*E} --- Programming environments: interactive (Software engineering) --- Organization and design: batch processing systems; distributed systems; hierarchical design; interactive systems; real-time systems (Operating systems) --- 681.3*D47 Organization and design: batch processing systems; distributed systems; hierarchical design; interactive systems; real-time systems (Operating systems) --- 681.3*D26 Programming environments: interactive (Software engineering) --- 681.3*D1 Programming techniques--See also {681.3*E} --- Electronic digital computers-programming
ISBN: 3540507019 0387507019 354046073X 9783540507017 9780387507019 Year: 1989 Volume: 346 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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
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
ISBN: 027308822X 9780273088226 Year: 1990 Publisher: London: Pitman,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence --- Proceedings --- Ecai
| Listing 1 - 10 of 11 | << page >> |
Sort by
|