979 search results - page 86 / 196 » Footprints in Local Reasoning |
111
click to vote
CONTEXT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
140
click to vote
KR
2010
Springer
15 years 8 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...
137
click to vote
KR
1992
Springer
15 years 7 months ago
1992
Springer
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...
139
click to vote
ICCBR
2007
Springer
15 years 7 months ago
2007
Springer
The performance of a Case-Based Reasoning system relies on the integrity of its case base but in real life applications the available data used to construct the case base invariabl...
128
click to vote
AAAI
2007
15 years 5 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...