78
Voted
ICLP
1994
Springer
15 years 28 days 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 ...
111
Voted
ICLP
1994
Springer
15 years 28 days 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...
50
Voted
ICLP
1994
Springer
15 years 28 days ago
1994
Springer
55
Voted
ICLP
1994
Springer
15 years 28 days ago
1994
Springer
65
Voted
ICLP
1994
Springer
15 years 28 days 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
15 years 28 days 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...