605 search results - page 30 / 121 » Dealing with logical omniscience |
284
click to vote
AWCC
2004
Springer
15 years 11 months ago
2004
Springer
This paper imports the fuzzy logic into image retrieval to deal with the vagueness and ambiguity of human judgment of image similarity. Our retrieval system has the following prop...
173
click to vote
CICLING
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. One major goal of human computer interfaces is to simplify the communication task. Traditionally, users have been restricted to the language of computers for this task. W...
154
Voted
COMPSAC
1996
IEEE
15 years 10 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
170
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
131
Voted
IFIPTCS
2000
15 years 9 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...