3238 search results - page 36 / 648 » On the Computational Interpretation of Negation |
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
ICPR
2000
IEEE
14 years 2 months ago
2000
IEEE
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we will examine two main aspects of trust dynamics: a) How direct experiences involving trust, with their successes or failures, influence the future trust of an age...
ECAI
1994
Springer
14 years 1 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...