4555 search results - page 23 / 911 » Deductive Algorithmic Knowledge |
DLOG
2009
13 years 6 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
AC
1992
Springer
14 years 1 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
MVA
1992
13 years 10 months ago
1992
Thls paper proposes a new perceptual approach to noisy X-ray image segmentation. It consistsof the five major step :(1)Pre -segmentation, (2)Improved region growing, (3 ) Object de...
ECAI
1998
Springer
14 years 1 months ago
1998
Springer
Traditional approaches to distributed problem solving have treated the problem as one of distributed search. In this paper, we propose an alternative, logic-based view of distribut...