DM
2008
14 years 2 months ago
2008
We consider the following question of Bollob
AIPS
1996
14 years 4 months 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 8 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...