5 search results - page 1 / 1 » Encoding the Revision of Partially Preordered Information in... |
ECSQARU
2009
Springer
14 years 5 months ago
2009
Springer
ECSQARU
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
KR
2010
Springer
14 years 3 months ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...
LOPSTR
2007
Springer
14 years 5 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
PODS
1995
ACM
14 years 2 months ago
1995
ACM
Databases are often incomplete because of the presence of disjunctive information, due to con icts, partial knowledge and other reasons. Queries against such databases often ask q...