Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

17

CADE
2006
Springer

favoriteEmaildiscussreport

134views Logical Reasoning» more CADE 2006»

Interpolation in Local Theory Extensions

13 years 8 months ago

Interpolation in Local Theory Extensions

Download www.mpi-inf.mpg.de

In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using a prover and a procedure for generating interpolants in the base theory as black-boxes. We present several examples of theory extensions in which interpolants can be computed this way, and discuss applications in verification, knowledge representation, and modular reasoning in combinations of local theories.

Viorica Sofronie-Stokkermans

Real-time Traffic

Base Theory | CADE 2006 | Hierarchical Manner | Local Extensions | Logical Reasoning |

claim paper

Related Content

» Hierarchical and Modular Reasoning in Complex Theories The Case of Local Theory Extensions

» On combinations of local theory extensions

» Hierarchic Reasoning in Local Theory Extensions

» Local Theory Extensions Hierarchical Reasoning and Applications to Verification

» Kriging for Localized Spatial Interpolation in Sensor Networks

» Interpolating QuantifierFree Presburger Arithmetic

» Playing in the grey area of proofs

» Bootstrap AMG

» Bayesian extension to the language model for ad hoc information retrieval

Post Info
More Details (n/a)

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2006
Where	CADE
Authors	Viorica Sofronie-Stokkermans

Comments (0)