Reference : Using Defeasible Information to Obtain Coherence
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Computational Sciences
Using Defeasible Information to Obtain Coherence
Casini, Giovanni mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Meyer, Thomas [University of Cape Town > Computer Science]
BNAIC 2016 - Proceedings of the 28th Benelux Conference on Artificial intelligence
BNAIC 2016 - The 28th Benelux Conference on Artificial intelligence
10-11 November 2016
[en] nonmonotonic reasoning ; belief revision
[en] In this paper we consider the problem of obtaining coherence in a propositional knowledge base using techniques from Belief Change. Our motivation comes from the field of formal ontologies where coherence is interpreted to mean that a concept name has to be satisfiable.
FnR ; FNR9181001 > Giovanni Casini > SOUL > Subjective and Objective Uncertainty in Description Logics > 01/07/2015 > 30/06/2017 > 2014

File(s) associated to this reference

Fulltext file(s):

Open access
BNAIC_2016_Proceedings.pdfPublisher postprint32.84 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.