MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Kazakov, Yevgeny
de Nivelle, Hans		dblp
dblp
Editor(s):
Basin, David
Rusinowitch, Michael		dblp
dblp
Not MPII Editor(s):
Basin, David
Rusinowitch, Michael
BibTeX cite key*:
KazNiv04ResGFTG
Title, Booktitle
Title*:
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
Booktitle*:
Automated reasoning : Second International Joint Conference, IJCAR 2004
Event, URLs
Conference URL::
http://www.4c.ucc.ie/ijcar/
Downloading URL:
Event Address*:
Cork, County Cork, Ireland
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
4 July 2004
Event End Date:
8 July 2004
Publisher
Name*:
Springer
URL:
http://www.springeronline.com
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
3097
Number:
Month:
June
Pages:
122-136
Year*:
2004
VG Wort Pages:
15
ISBN/ISSN:
3-540-22345-2
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obtain a decision procedure for the guarded fragment with transitive guards. Another contribution of the paper is a special scheme notation, that allows to describe saturation strategies and show their correctness in a concise form.
URL for the Abstract:
http://www.mpi-sb.mpg.de/~ykazakov/publications.htm
Keywords:
Automated Deduction, Decision Procedures
HyperLinks / References / URLs:
http://www.springeronline.com/sgw/cda/frontpage/0,10735,1-40109-22-32094526-0,00.html
http://www.mpi-sb.mpg.de/~ykazakov/publications.htm
Copyright Message:
© Springer-Verlag
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort



BibTeX Entry:
@INPROCEEDINGS{KazNiv04ResGFTG,
AUTHOR = {Kazakov, Yevgeny and de Nivelle, Hans},
 EDITOR = {Basin, David and Rusinowitch, Michael},
 TITLE = {A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards},
 BOOKTITLE = {Automated reasoning : Second International Joint Conference, IJCAR 2004},
 PUBLISHER = {Springer},
 YEAR = {2004},
 VOLUME = {3097},
 PAGES = {122--136},
 SERIES = {Lecture Notes in Artificial Intelligence},
 ADDRESS = {Cork, County Cork, Ireland},
 MONTH = {June},
 ISBN = {3-540-22345-2},
}

Entry last modified by Anja Becker, 01/28/2008
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)
Yevgeny Kazakov		Created
06/04/2004 04:55:54 PM
Revisions
3.
2.
1.
0.
Editor(s)
Anja Becker
Uwe Brahm
Yevgeny Kazakov
Yevgeny Kazakov
Edit Dates
02.02.2005 14:01:09
01/12/2005 09:11:36 PM
06/14/2004 01:53:09 PM
06/04/2004 04:55:54 PM