4266 search results - page 631 / 854 » A Framework for Defining Logics |
185
click to vote
FLOPS
2004
Springer
16 years 1 days ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
170
click to vote
ICCS
2004
Springer
16 years 18 hour ago
2004
Springer
Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued th...
187
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we discuss approximation spaces in a granular computing framework. Such approximation spaces generalise the approaches to concept approximation existing in...
160
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
185
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...