J. Van Baalen and S. Roach. Using decision procedures to accelerate domain-specific deductive synthesis systems. In P. Flener, editor, Proc. of the 8th Int. Workshop on Logic Programming Synthesis and Transformation, LOPSTR'98, volume 1559 of Lecture Notes in Computer Science, pages 61--70. Springer, 1999.  Home/Search   Document Details and Download   Summary   Related Articles

....part of a second, empty theory and the usual inference steps identifying complementary literals as a background reasoner returning only # residues. 5 Related Work The only research we are aware of that focuses on the cooperation of background reasoners in theory reasoning is that reported in [4, 9, 1, 7]. Except for [7] all of these works embed a well known combination method by Nelson and Oppen [5] into a specific theory reasoning calculus: analytic tableaux in [4] a variant of the CLP scheme in [9] and constrained resolution in [1] Although it is not entirely accurate, we could say that ....

.... reasoners in theory reasoning is that reported in [4, 9, 1, 7] Except for [7] all of these works embed a well known combination method by Nelson and Oppen [5] into a specific theory reasoning calculus: analytic tableaux in [4] a variant of the CLP scheme in [9] and constrained resolution in [1]. Although it is not entirely accurate, we could say that the approach in each of these papers is a specialization of the one presented here. One essential di#erence is that the signatures of the two background theories share at most the equality and the constant symbols, whereas in our case they ....

J. Van Baalen and S. Roach. Using decision procedures to accelerate domain-specific deductive synthesis systems. In P. Flener, editor, Proc. of the 8th Int. Workshop on Logic Programming Synthesis and Transformation, LOPSTR'98, volume 1559 of Lecture Notes in Computer Science, pages 61--70. Springer, 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC