| 書目名稱 | Resolution Proof Systems | | 副標(biāo)題 | An Algebraic Theory | | 編輯 | Zbigniew Stachniak | | 視頻video | http://file.papertrans.cn/829/828489/828489.mp4 | | 叢書名稱 | 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 | | 關(guān)鍵詞 | 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 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 00:06
發(fā)表于 2025-3-21 17:49:02
