Publications: Journal Article: Deciding the Guarded Fragments by Resolution

Journal Article
@Article
Artikel in Fachzeitschrift

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

Options:

Goto entry point

Author, Editor(s)

Author(s):

de Nivelle, Hans
de Rijke, Maarten

dblp
dblp

Not MPG Author(s):

de Rijke, Maarten

BibTeX cite key*:

deNivelle2003a

Title

Title*:

Deciding the Guarded Fragments by Resolution

Journal

Journal Title*:	Journal of Symbolic Computation	Journal's URL:	http://www.elsevier.com/locate/jsc
Download URL for the article:		Language:	English

Publisher

Publisher's Name:	Elsevier	Publisher's URL:	http://www.elsevier.com/
Publisher's Address:	Amsterdam, The Netherlands	ISSN:	0747-7171

Vol, No, pp, Date

Volume*:	35	Number:
Publishing Date:	January 2003
Pages*:	21-58	Number of VG Pages:
Page Start:		Page End:
Sequence Number:		DOI:

Note, Abstract, ©

Note:
(LaTeX) Abstract:	We give resolution based decision procedures for both the strictly guarded fragment and the loosely guarded fragment of first-order logic. We prove that the decision procedures are in 2EXPTIME, which is theoretically optimal.
URL for the Abstract:
Categories, Keywords:	automated theorem proving, decision procedures, guarded fragment
HyperLinks / References / URLs:
Copyright Message:
Personal Comments:
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

BibTeX Entry:

@ARTICLE{deNivelle2003a,
AUTHOR = {de Nivelle, Hans and de Rijke, Maarten},
TITLE = {Deciding the Guarded Fragments by Resolution},
JOURNAL = {Journal of Symbolic Computation},
PUBLISHER = {Elsevier},
YEAR = {2003},
VOLUME = {35},
PAGES = {21--58},
ADDRESS = {Amsterdam, The Netherlands},
MONTH = {January},
ISBN = {0747-7171},
}

Entry last modified by Viorica Sofronie-Stokkermans, 03/12/2010

Edit History (please click the blue arrow to see the details)

	Editor(s) Hans de Nivelle	Created 04/15/2003 02:03:13 PM
Revisions 3. 2. 1. 0.	Editor(s) Viorica Sofronie-Stokkermans Christine Kiesel Christine Kiesel Hans de Nivelle	Edit Dates 06/23/2004 01:52:09 PM 17.06.2004 14:33:36 07.07.2003 16:35:14 04/15/2003 02:03:13 PM

Attachment Section