4617 search results - page 721 / 924 » Automation of Diagrammatic Reasoning |
174
click to vote
ECSQARU
2005
Springer
16 years 20 days ago
2005
Springer
Information often comes from different sources and merging these sources usually leads to apparition of inconsistencies. Fusion is the operation which consists in restoring the co...
145
click to vote
ECSQARU
2005
Springer
16 years 20 days ago
2005
Springer
Two conciliation processes for intelligent agents based on an iterated mergethen-revise change function for belief profiles are introduced and studied. The first approach is ske...
183
click to vote
ECSQARU
2005
Springer
16 years 20 days ago
2005
Springer
The Transferable Belief Model is a general framework for managing imprecise and uncertain information using belief functions. In this framework, the discounting operation allows to...
214
click to vote
ECSQARU
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
182
click to vote
ECSQARU
2005
Springer
16 years 20 days ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...