6 search results - page 2 / 2 » Compilability of Abduction |
132
Voted
BVAI
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents the implementation of ARQ-PROP II, a limited-depth propositional reasoner, via the compilation of its specification into an exact formulation using the satyrus...