DM
2008
13 years 11 months ago
2008
We consider the following question of Bollob
AIPS
1996
14 years 25 days ago
1996
Planning for manufacturing workpiecesis a complex task that requires the interaction of a domain-specific reasoner and a generic planning mechanism.In this paper wepresent an arch...
ACL2
2006
ACM
14 years 5 months ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...