Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Sofronie-Stokkermans, Viorica

dblp



Editor(s):

Nieuwenhuis, Robert

dblp

Not MPII Editor(s):

Nieuwenhuis, Robert

BibTeX cite key*:

Sofronie-cade-05

Title, Booktitle

Title*:

Hierarchic reasoning in local theory extensions


sofronie-cade-2005.pdf (517.64 KB)

Booktitle*:

Automated deduction - CADE-20 : 20th International Conference on Automated Deduction

Event, URLs

URL of the conference:

http://deepthought.ttu.ee/it/cade/

URL for downloading the paper:

http://www.mpi-inf.mpg.de/~sofronie/papers/sofronie-cade05-final.ps

Event Address*:

Tallinn, Estonia

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

22 July 2005

Event End Date:

27 July 2005

Publisher

Name*:

Springer

URL:

http://www.springer-ny.com/

Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:

3632

Number:


Month:


Pages:

219-234

Year*:

2005

VG Wort Pages:

25

ISBN/ISSN:

0302-9743

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

We show that for special types of extensions of a base theory,
which we call {\em local},
efficient hierarchic reasoning is possible.
We identify situations in which it is possible,
for an extension ${\cal T}_1$ of a theory ${\cal T}_0$,
to express the decidability and complexity of the
universal theory of ${\cal T}_1$ in terms of
the decidability resp.\ complexity of suitable
fragments of the theory ${\cal T}_0$ (universal or $\forall \exists$).
These results apply to theories related to data types,
but also to certain theories of functions from mathematics.



Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

popular

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort, CCL bibliography



BibTeX Entry:

@INPROCEEDINGS{Sofronie-cade-05,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {Nieuwenhuis, Robert},
TITLE = {Hierarchic reasoning in local theory extensions},
BOOKTITLE = {Automated deduction - CADE-20 : 20th International Conference on Automated Deduction},
PUBLISHER = {Springer},
YEAR = {2005},
VOLUME = {3632},
PAGES = {219--234},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Tallinn, Estonia},
ISBN = {0302-9743},
}


Entry last modified by Viorica Sofronie-Stokkermans, 03/20/2007
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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)
Viorica Sofronie-Stokkermans
Created
03/20/2007 10:13:35 AM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Viorica Sofronie-Stokkermans
Christine Kiesel
Christine Kiesel
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
07/20/2006 12:51:14 PM
25.04.2006 21:27:02
21.12.2005 11:57:25
10/05/2005 10:55:08 AM
10/05/2005 10:51:10 AM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section

View attachments here:


File Attachment Icon
sofronie-cade-2005.pdf