Search
Feedback
About
Help
News
| Listing 1 - 10 of 101 | << page >> |
Sort by
|
ISBN: 9780867204636 086720463X Year: 1994 Publisher: Boston, Mass.: Jones and Bartlett,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0511526598 Year: 1994 Publisher: Cambridge : Cambridge University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Reasoning under uncertainty, that is, making judgements with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provides here an introduction to the mathematical foundations of the subject. It is suited for readers with some knowledge of undergraduate mathematics but is otherwise self-contained, collecting together the key results on the subject and formalizing within a unified framework the main contemporary approaches and assumptions. The author has concentrated on giving clear mathematical formulations, analyses, justifications and consequences of the main theories about uncertain reasoning, so the book can serve as a textbook for beginners or as a starting point for further basic research into the subject. It will be welcomed by graduate students and research workers in logic, philosophy and computer science as an account of how mathematics and artificial intelligence can complement and enrich each other.
Logic, Symbolic and mathematical. --- Uncertainty. --- Reasoning.
Book
ISBN: 051157469X Year: 1994 Publisher: Cambridge : Cambridge University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Diagrams are widely used in reasoning about problems in physics, mathematics and logic, but have traditionally been considered to be only heuristic tools and not valid elements of mathematical proofs. This book challenges this prejudice against visualisation in the history of logic and mathematics and provides a formal foundation for work on natural reasoning in a visual mode. The author presents Venn diagrams as a formal system of representation equipped with its own syntax and semantics and specifies rules of transformation that make this system sound and complete. The system is then extended to the equivalent of a first-order monadic language. The soundness of these diagrammatic systems refutes the contention that graphical representation is misleading in reasoning. The validity of the transformation rules ensures that the correct application of the rules will not lead to fallacies. The book concludes with a discussion of some fundamental differences between graphical systems and linguistic systems. This groundbreaking work will have important influence on research in logic, philosophy and knowledge representation.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 052146157X Year: 1994 Publisher: Cambridge Cambridge University press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0387581561 3540581561 Year: 1994 Volume: 814 *3 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Automatic theorem proving --- Logic, Symbolic and mathematical --- Congresses. --- Congresses --- Logic [Symbolic and mathematical ]
Book
Year: 1994 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
The proceedings of LICS'94 comprise 61 contributed papers on topics in domain theory, finite model theory, concurrency, semantics, constraints, modal and temporal logic, types, constructive mathematics, complexity and databases, logic programming, linear logic, category theory, rewriting, lambda-calculus, logic in artificial intelligence, and automated deduction.
Logic, Symbolic and mathematical --- Logic, Symbolic and mathematical. --- Computer science --- Mathematics
Book
Year: 1994 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
The proceedings of LICS'94 comprise 61 contributed papers on topics in domain theory, finite model theory, concurrency, semantics, constraints, modal and temporal logic, types, constructive mathematics, complexity and databases, logic programming, linear logic, category theory, rewriting, lambda-calculus, logic in artificial intelligence, and automated deduction.
Logic, Symbolic and mathematical --- Logic, Symbolic and mathematical. --- Computer science --- Mathematics
ISBN: 3764335793 Year: 1994 Publisher: Boston Basel Berlin Birkhäuser
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0201544296 Year: 1994 Publisher: Wokingham Addison-Wesley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer. Automation --- Logic, Symbolic and mathematical. --- Set theory. --- System design.
| Listing 1 - 10 of 101 | << page >> |
Sort by
|