6201 search results - page 34 / 1241 » Implementation of Axiomatic Language |
DEDUCTIVE
1993
13 years 9 months ago
1993
In this paper we present the set-oriented bottom-up parsing system AMOS which is a major application of the deductive database system LOLA. AMOS supports the morpho-syntactical an...
MICS
2008
13 years 8 months ago
2008
The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context manipulatio...
DBPL
1995
Springer
14 years 2 days ago
1995
Springer
One of the limitations of commercially available object-oriented DBMSs is their inability to deal with objects that may change their type during their life and which exhibit a plu...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories The approaches range from simply forcing one metadata standard on all participating repos...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...