 |
|
|
|
|
Diagrammatic Reasoning in AI
This book is really the end product of over a decade of work, on and off, on
diagrammatic reasoning in artificial intelligence (AI). In developing this book, I
drew inspiration from a variety of sources: two experimental studies, the development
of two prototype systems, an extensive literature review and analysis in
AI,... | | Breakthrough Business Negotiation: A Toolbox for Managers
Although there are many how-to books on negotiating, they provide little useful guidance on how to conduct complex realworld negotiations. Advice on conducting two-party negotiations about a modest number of issues isn’t hard to come by, but few negotiations are that simple. While dealing with the other side, negotiators typically also... | | Pattern Calculus: Computing with Functions and Structures
The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are combined within pattern-matching functions. The best existing foundations focus on either functions, as in the lambda-calculus, or on data structures, as in Turing machines, or on compromises involving both, as in... |
|
| | The Calculus of Computation: Decision Procedures with Applications to VerificationComputational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art... | | |
|
|
|
| Result Page: 32 31 30 29 28 27 26 25 24 23 22 |
