ICLP
1994
Springer
13 years 9 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
ICLP
1994
Springer
13 years 9 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...
ICLP
1994
Springer
13 years 9 months ago
1994
Springer
ICLP
1994
Springer
13 years 9 months ago
1994
Springer
ICLP
1994
Springer
13 years 9 months ago
1994
Springer
Using a glass-box theory of finite domain constraints, FD, we show how the entailment of user-defined constraints can be expressed by antimonotone FD constraints. We also provide a...
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...