| 书目名称 | Resolution Proof Systems |
| 副标题 | An Algebraic Theory |
| 编辑 | Zbigniew Stachniak |
| 视频video | |
| 丛书名称 | Automated Reasoning Series |
| 图书封面 |  |
| 描述 | .Resolution Proof Systems: An Algebraic Theory. presents anew 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 focusingon the problems of proof theory, representation and efficiency of thedeductive process. .A new class of logical calculi, the class of resolution logics,emerges as a second theme of the book. The logical and computationalaspects of the relationship between resolution logics and resolutionproof systems is explored in the context of monotonic as well asnonmonotonic reasoning. .This book is aimed primarily at researchers and graduate students inartificial intelligence, symbolic and computational logic. Thematerial is suitable as a reference book for researchers and as a textbook for graduate courses on the theoretical aspects of automatedreasoning and computational logic. |
| 出版日期 | Book 1996 |
| 关键词 | algebra; artificial intelligence; automated reasoning; intelligence; logic; nonmonotonic reasoning; proof; |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-94-009-1677-7 |
| isbn_softcover | 978-94-010-7251-9 |
| isbn_ebook | 978-94-009-1677-7Series ISSN 0927-1023 |
| issn_series | 0927-1023 |
| copyright | Kluwer Academic Publishers 1996 |
发表于 2025-3-21 17:49:02
