MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
dblp
dblp
Editor(s):
Giesl, Jürgen
Hähnle, Reiner
dblp
dblp
Not MPII Editor(s):
Giesl, Jürgen
Hähnle, Reiner
BibTeX cite key*:
Ihlemann-Sofronie-Stokkermans-ijcar-2010
Title, Booktitle
Title*:
On Hierarchical Reasoning in Combinations of Theories
Booktitle*:
Automated Reasoning : 5th International Joint Conference, IJCAR 2010
Event, URLs
Conference URL::
http://www.floc-conference.org/IJCAR-home.html
Downloading URL:
http://dx.doi.org/10.1007/978-3-642-14203-1_4
Event Address*:
Edinburgh
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
16 July 2010
Event End Date:
19 July 2010
Publisher
Name*:
Springer
URL:
http://www.springer-ny.com/
Address*:
Berlin
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
6173
Number:
Month:
Pages:
30-45
Year*:
2010
VG Wort Pages:
ISBN/ISSN:
978-3-642-14202-4
Sequence Number:
DOI:
10.1007/978-3-642-14203-1_4
Note, Abstract, ©
(LaTeX) Abstract:
In this paper we study theory combinations over non-disjoint
signatures in which hierarchical and modular reasoning is
possible. We use a notion of locality of a theory extension
parameterized by a closure operator on ground terms.
We give criteria for recognizing these types of theory
extensions. We then show that combinations of extensions of
theories which are local in this extended sense also have a
locality property and hence allow modular and hierarchical
reasoning. We thus obtain parameterized decidability and
complexity results for many (combinations of) theories
important in verification.
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Automation of Logic
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{Ihlemann-Sofronie-Stokkermans-ijcar-2010,
AUTHOR = {Ihlemann, Carsten and Sofronie-Stokkermans, Viorica},
EDITOR = {Giesl, J{\"u}rgen and H{\"a}hnle, Reiner},
TITLE = {On Hierarchical Reasoning in Combinations of Theories},
BOOKTITLE = {Automated Reasoning : 5th International Joint Conference, IJCAR 2010},
PUBLISHER = {Springer},
YEAR = {2010},
VOLUME = {6173},
PAGES = {30--45},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Edinburgh},
ISBN = {978-3-642-14202-4},
DOI = {10.1007/978-3-642-14203-1_4},
}


Entry last modified by Manuel Lamotte-Schubert, 03/16/2011
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
06/10/2010 03:23:56 PM
Revisions
3.
2.
1.
0.
Editor(s)
Manuel Lamotte-Schubert
Anja Becker
Anja Becker
Viorica Sofronie-Stokkermans
Edit Dates
16.03.2011 15:20:04
15.03.2011 09:54:07
19.01.2011 14:43:01
06/10/2010 03:23:56 PM