Belief Revision in Non-Classical Logics
Belief Revision in Non-Classical Logics
Regular price
Checking stock...
Regular price
Checking stock...
Summary
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 feel-good place to buy books
- Free delivery in Australia
- Supporting authors with AuthorSHARE
- 100% recyclable packaging
- Proud to be a B Corp – A Business for good
- Buy-back with Ziffit
Belief Revision in Non-Classical Logics by Mrcio Ribeiro
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.From the reviews:
“The book is truly self-contained, and the reader will appreciate that the proofs of all results, including the most well-known ones, are given in detailThe proposed generalisation of belief contraction and belief revision to classes of logics defined by properties of their consequence relations is a valuable addition to the field, with natural concepts and significant results.” (Éric Martin, Zentralblatt MATH, Vol. 1256, 2013)| SKU | Unavailable |
| ISBN 13 | 9781447141853 |
| ISBN 10 | 1447141857 |
| Title | Belief Revision in Non-Classical Logics |
| Author | Márcio Moretto Ribeiro |
| Series | Springerbriefs In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer London Ltd |
| Year published | 2012-08-22 |
| Number of pages | 120 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |