Electronic Proceedings Article
@InProceedings
Internet-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
Ihlemann, Carsten
Jacobs, Swen

dblp
dblp
dblp



Editor(s):

Baader, Franz
Cook, Byron
Giesl, Jürgen
Nieuwenhuis, Robert

dblp
dblp
dblp
dblp

Not MPII Editor(s):

Baader, Franz
Cook, Byron
Giesl, Jürgen
Nieuwenhuis, Robert

BibTeX cite key*:

Sofronie-Ihlemann-Jacobs-dagstuhl07

Title, Conference

Title*:

Local Theory Extensions, Hierarchical Reasoning and Applications to Verification

Booktitle*:

Deduction and Decision Procedures

Event Address*:

Dagstuhl, Germany

URL of the conference:


Event Date*:
(no longer used):


URL for downloading the paper:

http://drops.dagstuhl.de/opus/volltexte/2007/1250/

Event Start Date:

30 September 2007

Event End Date:

5 October 2007

Language:

English

Organization:


Publisher

Publisher's Name:

Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany

Publisher's URL:


Address*:

Dagstuhl, Germany

Type:

Extended Abstract

Vol, No, pp., Year

Series:

Dagstuhl Seminar Proceedings

Volume:

07401

Number:


Month:

December

Pages:

1-22



Sequence Number:


Year*:

2007

ISBN/ISSN:

1862-4405





Abstract, Links, ©

URL for Reference:


Note:


(LaTeX) Abstract:

Many problems occurring in verification can be reduced to
proving the satisfiability of conjunctions of literals in a
background theory. This can be a concrete theory (e.g. the
theory of real or rational numbers), the extension of a
theory with additional functions (free, monotone, or
recursively defined) or a combination of theories. It is
therefore very important to have efficient procedures for
checking the satisfiability of conjunctions of ground
literals in such theories.

We present some new results on hierarchical and modular
reasoning in complex theories, as well as several examples
of application domains in which efficient reasoning is
possible. We show, in particular, that various phenomena
analyzed in the verification literature can be explained
in a unified way using the notion of local theory extension.

URL for the Abstract:

http://drops.dagstuhl.de/portals/index.php?semnr=07401



Tags, Categories, Keywords:


HyperLinks / References / URLs:

http://drops.dagstuhl.de/portals/index.php?semnr=07401

Copyright Message:


Personal Comments:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

experts only

Appearance:

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

BibTeX Entry:
@INPROCEEDINGS{Sofronie-Ihlemann-Jacobs-dagstuhl07,
AUTHOR = {Sofronie-Stokkermans, Viorica and Ihlemann, Carsten and Jacobs, Swen},
EDITOR = {Baader, Franz and Cook, Byron and Giesl, J{\"u}rgen and Nieuwenhuis, Robert},
TITLE = {Local Theory Extensions, Hierarchical Reasoning and Applications to Verification},
BOOKTITLE = {Deduction and Decision Procedures},
PUBLISHER = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
YEAR = {2007},
TYPE = {Extended Abstract},
VOLUME = {07401},
PAGES = {1--22},
SERIES = {Dagstuhl Seminar Proceedings},
ADDRESS = {Dagstuhl, Germany},
MONTH = {December},
ISBN = {1862-4405},
}


Entry last modified by Viorica Sofronie-Stokkermans, 02/28/2008
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
12/07/2007 12:15:25 PM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
01/09/2008 11:47:53 AM
01/07/2008 03:22:54 PM
01/07/2008 03:19:40 PM
01/07/2008 03:14:17 PM
12/07/2007 12:15:25 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section