742 search results - page 40 / 149 » Applications of Belief Revision |
PST
2004
14 years 11 months ago
2004
AGILE
2007
Springer
15 years 3 months ago
2007
Springer
Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but ...
OPODIS
2008
14 years 11 months ago
2008
We focus on automated revision techniques for adding Unity properties to distributed programs. We show that unlike centralized programs, where multiple safety properties along with...
RULEML
2010
Springer
14 years 8 months ago
2010
Springer
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach...
109
click to vote
KR
2004
Springer
15 years 3 months ago
2004
Springer
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...