Magnificent Marvel Supersale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Interviews | March 9, 2015

    Rhianna Walton: IMG Erik Larson: The Powells.com Interview



    Erik LarsonI've been a fan of Erik Larson's riveting brand of narrative history for years, and his latest book, Dead Wake: The Last Crossing of the Lusitania,... Continue »
    1. $19.60 Sale Hardcover add to wish list

    spacer
Qualifying orders ship free.
$45.50
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Computers Reference- General

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

by

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

 

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.

Table of Contents

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.

Product Details

ISBN:
9781447141853
Author:
Ribeiro, M. Rcio Moretto
Publisher:
Springer
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
Copyright:
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

Belief Revision in Non-Classical Logics (Springerbriefs in Computer Science) New Trade Paper
0 stars - 0 reviews
$45.50 In Stock
Product details 131 pages Springer - English 9781447141853 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
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 gifts — here at Powells.com.