2253 search results - page 352 / 451 » The ComFoRT Reasoning Framework |
ECSQARU
2005
Springer
14 years 2 months 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...
ECSQARU
2005
Springer
14 years 2 months 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...
ECSQARU
2005
Springer
14 years 2 months 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...
EWSA
2005
Springer
14 years 2 months ago
2005
Springer
Even modern component architectures do not provide for easily manageable context-sensitive adaptability, a key requirement for ambient intelligence. The reason is that components a...
ISMIS
2005
Springer
14 years 2 months ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...