3693 search results - page 92 / 739 » Splitting a Logic Program |
PPDP
1999
Springer
14 years 1 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
ICLP
1998
Springer
14 years 1 months ago
1998
Springer
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...
ICLP
2009
Springer
14 years 10 months ago
2009
Springer
ERSHOV
2009
Springer
14 years 3 months ago
2009
Springer
ICALP
2007
Springer
14 years 3 months ago
2007
Springer
