115
click to vote
LPNMR
1995
Springer
15 years 6 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...