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	Nicht verfügbar
ISBN 13	9781447141853
ISBN 10	1447141857
Titel	Belief Revision in Non-Classical Logics
Autor	Márcio Moretto Ribeiro
Serie	Springerbriefs In Computer Science
Buchzustand	Nicht verfügbar
Bindungsart	Paperback
Verlag	Springer London Ltd
Erscheinungsjahr	2012-08-22
Seitenanzahl	120
Hinweis auf dem Einband	Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.
Hinweis	Nicht verfügbar