Belief revision in non-classical logics
Auteur :
Ribeiro, Márcio Moretto
Éditeur :
Springer London Ltd
ISBN :
9781447141853
Date de publication :
22 août 2012
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.