Sciweavers

1153 search results - page 90 / 231
» The Complexity of Revision, Revised
Sort
View
IMAMS
2003
93views Mathematics» more  IMAMS 2003»
14 years 11 months ago
Vector Transport for Shape-from-Shading
In this paper we describe a new shape-from-shading method. We show how the parallel transport of surface normals can be used to impose curvature consistency and also to iterativel...
Fabio Sartori, Edwin R. Hancock
AI
2010
Springer
14 years 10 months ago
On the measure of conflicts: Shapley Inconsistency Values
There are relatively few proposals for inconsistency measures for propositional belief bases. However inconsistency measures are potentially as important as information measures f...
Anthony Hunter, Sébastien Konieczny
AI
2010
Springer
14 years 10 months ago
Double preference relations for generalised belief change
Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a ne...
Richard Booth, Samir Chopra, Thomas Meyer, Aditya ...
CORR
2010
Springer
84views Education» more  CORR 2010»
14 years 10 months ago
Constructing Active Architectures in the ArchWare ADL
Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
Ronald Morrison, Graham N. C. Kirby, Dharini Balas...
JAPLL
2008
121views more  JAPLL 2008»
14 years 10 months ago
Reasoning with prioritized information by iterative aggregation of distance functions
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
Ofer Arieli