Special Offers see all

More at Powell's

Interviews | Q&As | Essays

How to Clarify Butter: A Writer's Tale

2 comments By Edward Lee

Chefs don't have time to write. While I was working on Smoke and Pickles, I was running a restaurant — a daily regimen of testing recipes,... Continue »

$20.97 Sale Hardcover add to wish list

Smoke and Pickles: Recipes and Stories from a New Southern Kitchen
Edward LeeEdward Lee 9781579654924

$40.95

New Trade Paper

Ships in 1 to 3 days

available for shipping or prepaid pickup only

Available for In-store Pickup
in 7 to 12 days

Qty	Store	Section
2	Remote Warehouse	Computers Reference- General

Receive an email when this ISBN is available used.

More copies of this ISBN

New, Trade Paper, $45.50

Other titles in the Springerbriefs in Computer Science series:

Belief Revision in Non-Classical Logics (Springerbriefs in Computer Science)

by Marcio Moretto Ribeiro

ISBN13: 9781447141853
ISBN10: 1447141857
Condition:
All Product Details

Only 2 left in stock at $40.95!

Synopses & Reviews

Publisher Comments:

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics. Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include - besides most Description Logics such as the ones behind OWL - Horn Logic and Intuitionistic logic, amongst others. The author also presents algorithms for the most important constructions in belief bases. Researchers and practitioners in theoretical computing will find this an invaluable resource.

Preface.- Introduction.- Consequence.- Logics.- Classical Belief Revision.- AGM Contraction in Non-Classical Logics.- AGM Revision in Logics without Negation.- Base Revision in Logics without Negation.- Algorithms for Belief Bases.- Conclusion.- Index.

What Our Readers Are Saying

Be the first to add a comment for a chance to win!

Product Details

ISBN:: 9781447141853
Author:: Ribeiro, Marcio Moretto
Publisher:: Springer
Author:: Ribeiro, Márcio Moretto
Author:: Ribeiro, M. Rcio Moretto
Subject:: Artificial Intelligence
Subject:: AGM Theory
Subject:: belief revision
Subject:: Knowledge representation.
Subject:: non-classical logics
Subject:: ontology evolution
Subject:: Artificial Intelligence (incl. Robotics)
Subject:: Mathematical Logic and Formal Languages
Subject:: Mathematical Logic and Foundations
Subject:: Epistemology
Subject:: Logic
Subject:: Ontology
Subject:: Computers-Reference - General
Edition Description:: 2012
Series:: SpringerBriefs in Computer Science
Publication Date:: 20120728
Binding:: TRADE PAPER
Language:: English
Pages:: 131
Dimensions:: 235 x 155 mm

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Engineering » Engineering » General Engineering
Humanities » Philosophy » General
Humanities » Philosophy » Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Follow us on...

RSS 2.0
Log Off

Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and eBooks — here at Powells.com.