Belief Revision in Non-Classical Logics by Mrcio Ribeiro

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	Non disponible
ISBN 13	9781447141853
ISBN 10	1447141857
Titre	Belief Revision in Non-Classical Logics
Auteur	Márcio Moretto Ribeiro
Série	Springerbriefs In Computer Science
État	Non disponible
Type de reliure	Paperback
Éditeur	Springer London Ltd
Année de publication	2012-08-22
Nombre de pages	120
Note de couverture	La photo du livre est présentée à titre d'illustration uniquement. La reliure, la couverture ou l'édition réelle peuvent varier.
Note	Non disponible