My Wish Lists Login / Join

Resolution Proof Systems

An Algebraic Theory

By: Z. Stachniak

Write A Review

Hardcover | 30 April 1996

At a Glance

Hardcover
228 Pages

Dimensions(cm)
25.4 x 17.15 x 1.91

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Mathematics Mathematical Foundation Mathematical Logic Databases Data Capture & Analysis Computer Programming & Software Development

Preface
Logical Preliminaries	p. 1
Propositional Resolution Proof Systems	p. 23
Propositional Resolution Logics	p. 47
Efficiency of the Deductive Process	p. 73
Theorem Proving Strategies	p. 103
Resolution Circuits	p. 133
First-Order Resolution Proof Systems	p. 145
Nonmonotonic Resolution Inference Systems	p. 165
A Resolution Counterpart Rs[subscript 2] of P[subscript 2]	p. 179
B Resolution Counterpart Rs[subscript 3] of P[subscript 3]	p. 181
C Resolution Counterpart Rs[subscript 4] of P[subscript 4]	p. 183
D Resolution Counterpart Rs[subscript 5] of P[subscript 5]	p. 187
E Resolution Counterpart [actual symbol not reproducible] of [actual symbol not reproducible]	p. 191
F Resolution Counterpart [actual symbol not reproducible] of Ps	p. 193
References	p. 195
Index	p. 201
Index of Symbols	p. 205
Table of Contents provided by Blackwell. All Rights Reserved.

Resolution Proof Systems

An Algebraic Theory

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

A Brief History of Information Networks from the Stone Age to AI

Atlas of the Invisible

Maps & Graphics That Will Change How You See the World

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

The Nostalgia Nerd's Retro Tech : Tech Classics

Computer, Consoles & Games

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Python All-in-One For Dummies

3rd Edition

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

The ChatGPT Revolution

2nd Edition - Get Curious, Get Productive and Get Creative with AI

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Agentic AI For Dummies

For Dummies (Computer/Tech)

AI for Business

A Guide to AI Adoption

Integrated Energy Systems with a Carnot Battery

A Pathway to Low-Carbon Energy Systems

A Practitioner's Guide to Advancing Behavioral Health Care with Artificial Intelligence

Transformative Technologies

Revolutionizing Healthcare Through Computing and Communication

Artificial Intelligence and Fuzzy Logic for Next-Generation Intelligent Transportation Systems

Intelligent Data-Driven Systems and Artificial Intelligence

Generative AI for Communications Systems

Fundamentals, Applications, and Prospects

Handbook on Integrating Smart Technologies for Sustainable Development

Smart Technologies for Engineers and Scientists

This product is categorised by