1391 search results - page 2 / 279 » Completeness of Neighbourhood Logic |
CADE
2001
Springer
13 years 10 months ago
2001
Springer
CADE
2010
Springer
13 years 7 months ago
2010
Springer
EUSFLAT
2009
13 years 4 months ago
2009
FROCOS
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
FUZZY
2001
Springer
13 years 10 months ago
2001
Springer
Simulated annealing is a general optimisation algorithm, based on hill-climbing. As in hill-climbing, new candidate solutions are selected from the ‘neighbourhood’ of the curre...