Using Defeasible Information to Obtain Coherence

Reference : Using Defeasible Information to Obtain Coherence


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/30348

Title :	Using Defeasible Information to Obtain Coherence
Language :	English
Author, co-author :	Casini, Giovanni [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]
Publication date :	2016
Main document title :	BNAIC 2016 - Proceedings of the 28th Benelux Conference on Artificial intelligence
Pages :	124-125
Peer reviewed :	Yes
Event name :	BNAIC 2016 - The 28th Benelux Conference on Artificial intelligence
Event date :	10-11 November 2016
Event place (city) :	Amsterdam
Event country :	Netherlands
Keywords :	[en] nonmonotonic reasoning ; belief revision
Abstract :	[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.
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/30348
FnR project :	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):

	File	Commentary	Version	Size	Access
Open access	BNAIC_2016_Proceedings.pdf		Publisher postprint	32.84 MB	View/Open

All documents in ORBi^lu are protected by a user license.