2909 search results - page 145 / 582 » Consistency of the theory of contexts |
145
click to vote
UAI
1993
15 years 7 months ago
1993
: This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation, taking into account the existen...
161
click to vote
IJCAI
1989
15 years 7 months ago
1989
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole&#...
152
click to vote
LICS
2007
IEEE
16 years 20 days ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
151
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We present an image restoration method that leverages
a large database of images gathered from the web. Given
an input image, we execute an efficient visual search to
find the c...
215
click to vote
Publication
We present a simple, effective generalisation of variable order Markov
models to full online Bayesian estimation. The mechanism used is close
to that employed in context tree wei...