232 search results - page 19 / 47 » Reflection principles in computational logic |
ESCIENCE
2006
IEEE
14 years 1 months ago
2006
IEEE
ct In this paper we present an extension to devise and implement advance reservation as part of the scheduling and resource management services of the ASKALON Grid application deve...
SIGLEX
1991
14 years 1 months ago
1991
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
FSKD
2007
Springer
14 years 4 months ago
2007
Springer
The selection of web services according to different quality of service (QoS) is one of the most important decision issues for which complex considerations are involved. In many c...
IJCAI
1993
13 years 11 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...