Resolution Proof Systems
An Algebraic Theory
by Zbigniew Stachniak
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics. It develops an algebraic theory of resolution proof systems focusing on the problems of proof theory, representation and efficiency of the deductive process. 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.
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Resolution Proof Systems: An Algebraic Theory
1996, Springer Netherlands
electronic resource :
in English
9401072515 9789401072519
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Online full text is restricted to subscribers.
Also available in print.
Mode of access: World Wide Web.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created July 6, 2019
- 4 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| March 1, 2022 | Edited by ImportBot | import existing book |
| October 10, 2020 | Edited by ImportBot | import existing book |
| August 3, 2020 | Edited by ImportBot | import existing book |
| July 6, 2019 | Created by MARC Bot | Imported from Internet Archive item record |