5482 search results - page 48 / 1097 » Logic Programming and Databases |
JIT
2005
Springer
15 years 5 months ago
2005
Springer
DBTEL
2001
Springer
15 years 4 months ago
2001
Springer
DKE
1999
14 years 11 months ago
1999
In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, ob...
106
click to vote
ISMVL
2000
IEEE
15 years 4 months ago
2000
IEEE
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
127
click to vote
LPNMR
2001
Springer
15 years 4 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...