4 search results - page 1 / 1 » Compiling Intensional Sets in CLP |
ICLP
1994
Springer
13 years 9 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
ICLP
2003
Springer
13 years 10 months ago
2003
Springer
ICLP
1993
Springer
13 years 9 months ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...
PVLDB
2010
13 years 3 months ago
2010
Ontology-based data access is a powerful form of extending database technology, where a classical extensional database (EDB) is enhanced by an ontology that generates new intensio...