Titlebook: Belief Revision in Non-Classical Logics; Márcio Moretto Ribeiro Book 2013 The Author(s) 2013 AGM Theory.Belief Revision.Knowledge Represen

全國性

我要威脅

Logics, their computational complexity. The interest in Description Logics in particular has grown quickly among computer scientist since the announcement of a DL-based language, OWL, as the standard language to describe ontologies on the Web.

dissolution

Stephan Wildner,Oliver Koch,Uwe Webertruction for revision in belief sets that doesn’t depend on negation. This construction is characterized by AGM postulates in well behaved logics. Furthermore, it is presented a set of postulates that characterizes this construction in any distributive and compact logic.