Advances and new perspectives on paraconsistent belief revision
Belief revision in description logics: a plug-in for Protégé
Extending the review of CTL models to Kripke model transition systems
Paraconsistent belief revision: constructive models and new operations
Improving efficiency of belief base change in description logics with modularity i...