Interpolation in local theory extensions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4130 LNAI, Issue , 2006, Pages 235-250

  Sofronie Stokkermans, Viorica ^a  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

HIERARCHICAL SYSTEMS; INTERPOLATION; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; THEOREM PROVING;

INTERPOLANTS; MODULAR REASONING; THEORY EXTENSIONS; VERIFICATION;

COMPUTATION THEORY;

EID: 33749554178     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11814771_21     Document Type: Conference Paper

References (10)

1. P.D. Bacsich. Amalgamation properties and interpolation theorem for equational theories. Algebra Universalis, 5:45-55, 1975.
2. B Jónsson. Extensions of relational structures. In J.W. Addison, L. Henkin, and A. Tarski, editors, The Theory of Models, Proc. of the 1963 Symposium at Berkeley, pages 146-157, Amsterdam, 1965. North-Holland.
3. K.L. McMillan. Interpolation and SAT-based model checking. In CAV'2003: Computer Aided Verification, LNCS 2725, pages 1-13. Springer, 2003.
4. K.L. McMillan. An interpolating theorem prover. In TACAS'2004: Tools and Algorithms for the Construction and Analysis of Systems, LNCS 2988, pages 16-30. Springer, 2004.
5. K.L. McMillan. Applications of Craig interpolants in model checking. In TACAS'2005; Tools and Algorithms for the Construction and Analysis of Systems, LNCS 3440, pages 1-12. Springer, 2005.
6. V. Sofronie-Stokkermans. On combinations of local theory extensions. Submitted.
7. V. Sofronie-Stokkermans. Automated theorem proving by resolution in non-classical logics. In 4th Int. Conf. Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03), pages 151-167, 2003.
8. V. Sofronie-Stokkermans. Hierarchic reasoning in local theory extensions. In R. Nieuwenhuis, editor, 20th International Conference on Automated Deduction (CADE-20), LNAI 3632, pages 219-234. Springer, 2005.
9. A. Wroński. On a form of equational interpolation property. In Foundations of logic and linguistics (Salzburg, 1983), pages 23-29, New York, 1985. Plenum.
10. G. Yorsh and M. Musuvathi. A combination method for generating interpolants. In R. Nieuwenhuis, editor, 20th International Conference on Automated Deduction (CADE-20), LNAI 3632, pages 353-368. Springer, 2005.