Items related to Resolution Proof Systems: An Algebraic Theory (Automated...
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Resolution Proof Systems: An Algebraic Theory (Automated...
Stock Image
Resolution Proof Systems (Hardcover)
Published by
Kluwer Academic Publishers, Dordrecht, 1996
ISBN 10: 0792340175
ISBN 13: 9780792340171
New
Hardcover
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. This text 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780792340171
Quantity: 1 available
Seller Image
Resolution Proof Systems : An Algebraic Theory
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4391116-n
Quantity: Over 20 available
Stock Image
Resolution Proof Systems: An Algebraic Theory (Automated Reasoning Series, 4)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190182155
Quantity: Over 20 available
Seller Image
Resolution Proof Systems. An Algebraic Theory.
Published by
Dordrecht, Springer Netherlands, 1996
ISBN 10: 0792340175
ISBN 13: 9780792340171
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. 216 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9780792340171 Sprache: Englisch Gewicht in Gramm: 900. Seller Inventory # 2351486
Quantity: 1 available
Stock Image
Resolution Proof Systems: An Algebraic Theory (Automated Reasoning Series, 4)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780792340171_new
Quantity: Over 20 available
Seller Image
Resolution Proof Systems : An Algebraic Theory
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4391116-n
Quantity: Over 20 available
Stock Image
Resolution Proof Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 228. Seller Inventory # 26550206
Quantity: 4 available
Seller Image
Resolution Proof Systems
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 proo. Seller Inventory # 5967755
Quantity: Over 20 available
Stock Image
Resolution Proof Systems: An Algebraic Theory
Print on DemandSeller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 528. Seller Inventory # C9780792340171
Quantity: Over 20 available
Stock Image
Resolution Proof Systems
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 228 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 8379105
Quantity: 4 available