Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

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

Action:

login to update

Options:








Author, Editor(s)

Author(s):

Sofronie-Stokkermans, Viorica

dblp



BibTeX cite key*:

Sofronie-Stokkermans-dam-06

Title

Title*:

Automated theorem proving by resolution in non-classical logics

Journal

Journal Title*:

Annals of Mathematics and Artificial Intelligence

Journal's URL:

http://www.ingentaconnect.com/content/klu/amai/

Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

Springer

Publisher's URL:


Publisher's
Address:


ISSN:

0166-218X

Vol, No, pp, Date

Volume*:

49

Number:

1-4

Publishing Date:

April 2007

Pages*:

221-252

Number of
VG Pages:

48

Page Start:

221

Page End:

252

Sequence Number:


DOI:

10.1007/s10472-007-9051-8

Note, Abstract, ©

Note:


(LaTeX) Abstract:

This paper is an overview of a variety of results,
all centered around a common theme, namely embedding of
non-classical logics into first order logic and resolution
theorem proving.

We present several classes of non-classical logics, many of
which are of great practical relevance in knowledge
representation, which can be translated into tractable and
relatively simple fragments of classical logic.
In this context, we show that refinements of resolution can
often be used successfully for automated theorem proving,
and in many interesting cases yield optimal decision
procedures.

URL for the Abstract:


Categories,
Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Intranet

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{Sofronie-Stokkermans-dam-06,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {Automated theorem proving by resolution in non-classical logics},
JOURNAL = {Annals of Mathematics and Artificial Intelligence},
PUBLISHER = {Springer},
YEAR = {2007},
NUMBER = {1-4},
VOLUME = {49},
PAGES = {221--252},
MONTH = {April},
ISBN = {0166-218X},
DOI = {10.1007/s10472-007-9051-8},
}


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
03/12/2007 10:44:25 AM
Revisions
9.
8.
7.
6.
5.
Editor(s)
Viorica Sofronie-Stokkermans
Uwe Brahm
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
01/07/2008 02:54:27 PM
08/06/2007 14:23:24
08/06/2007 11:14:55 AM
04/26/2007 04:48:29 PM
04/02/2007 11:35:26 AM