In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the development of the methods, and their use is supported by a prototyping system that is documented at the end of the book.
In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive...
Reasoning under uncertainty, that is, making judgments with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provides here an introduction to the mathematical foundations of the subject. The author presents the key results on the subject, and formalizes within a unified framework the main contemporary approaches and assumptions. He concentrates on giving clear mathematical formulations, analyses, justifications, and consequences of the main theories about uncertain reasoning.
Reasoning under uncertainty, that is, making judgments with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provi...
The proceedings of TAPSOFT '91 are organized into three parts: Colloquium on Trees in Algebra and Programming (CAAP), contained in Vol. 1, and Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD), both contained in Vol. 2.
The proceedings of TAPSOFT '91 are organized into three parts: Colloquium on Trees in Algebra and Programming (CAAP), contained in Vol. 1, and Advance...
