Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
Keywords
About this book
A new class of logical calculi, the class of resolution logics, emerges as a second theme of the book. The logical and computational aspects of the relationship between resolution logics and resolution proof systems is explored in the context of monotonic as well as nonmonotonic reasoning.
This book is aimed primarily at researchers and graduate students in artificial intelligence, symbolic and computational logic. The material is suitable as a reference book for researchers and as a text book for graduate courses on the theoretical aspects of automated reasoning and computational logic.
Authors and Affiliations
Bibliographic Information
Book Title: Resolution Proof Systems
Book Subtitle: An Algebraic Theory
Authors: Zbigniew Stachniak
Series Title: Automated Reasoning Series
DOI: https://doi.org/10.1007/978-94-009-1677-7
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Kluwer Academic Publishers 1996
Hardcover ISBN: 978-0-7923-4017-1Published: 30 April 1996
Softcover ISBN: 978-94-010-7251-9Published: 01 October 2011
eBook ISBN: 978-94-009-1677-7Published: 06 December 2012
Series ISSN: 0927-1023
Edition Number: 1
Number of Pages: XVI, 208
Topics: Artificial Intelligence, Mathematical Logic and Foundations, Symbolic and Algebraic Manipulation