11 search results - page 3 / 3 » From Database Repair Programs to Consistent Query Answering ... |
CORR
2000
Springer
13 years 4 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...