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):

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

URL of the conference:

http://www.4c.ucc.ie/ijcar/

URL for downloading the paper:


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
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)
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
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section