4126 search results - page 556 / 826 » Set based logic programming |
111
click to vote
SIGMOD
1989
ACM
15 years 7 months ago
1989
ACM
ODE is a database system and environment based on the object paradigm. It offers one integrated data model for both database and general purpose manipulation. The database is defi...
163
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: The functions of human cells are carried out by biomolecular networks, which include proteins, genes, and regulatory sites within DNA that encode and control protein e...
121
click to vote
ICML
2000
IEEE
16 years 4 months ago
2000
IEEE
This paper introduces a foundation for inductive learning based on the use of higher-order logic for knowledge representation. In particular, the paper (i) provides a systematic i...
129
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
164
click to vote
PODS
2004
ACM
16 years 3 months ago
2004
ACM
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework ...