4266 search results - page 129 / 854 » A Framework for Defining Logics |
EUSFLAT
2009
14 years 7 months ago
2009
In this paper, one presents a fuzzy color clustering algorithm that is based on a new measure of similarity. This new measure of color similarity is defined on a perceptual color s...
KR
1998
Springer
15 years 2 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
DIS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientist...
SCP
2008
14 years 10 months ago
2008
In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...
WLP
2000
Springer
15 years 1 months ago
2000
Springer
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...