6 search results - page 2 / 2 » Logic Program Specialisation With Deletion of Useless Clause... |
105
Voted
NGC
1998
Springer
14 years 10 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...