14 search results - page 1 / 3 » Belief Revision of GIS Systems: The Results of REV!GIS |
ECSQARU
2005
Springer
13 years 10 months ago
2005
Springer
AAAI
2004
13 years 6 months ago
2004
A standard intuition underlying traditional accounts of belief change is the principle of minimal change. In this paper we introduce a novel account of belief change in which the ...
AAAI
2008
13 years 7 months ago
2008
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
SBIA
2004
Springer
13 years 10 months ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
LPNMR
2007
Springer
13 years 11 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...