Journal Article
@Article
Artikel in Fachzeitschrift

Show entries of:

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

Action:

login to update
Options:








Author, Editor(s)
Author(s):
Sofronie-Stokkermans, Vioricadblp

BibTeX cite key*:

Sofronie-Stokkermans-dam-06

Title

Title*:

Automated theorem proving by resolution in non-classic logics

Journal

Journal Title*:

Discrete Applied Mathematics
Journal's URL:

http://www.elsevier.com/wps/find/journaldescription.cws_home/505609/description#description

Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

Elsevier
Publisher's URL:


Publisher's
Address:


ISSN:

0166-218X

Vol, No, pp, Date

Volume*:

?
Number:

?

Publishing Date:

2007

Pages*:

?
Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:

To appear, probably in 2007.

(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:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort, CCL bibliography


BibTeX Entry:
@ARTICLE{Sofronie-Stokkermans-dam-06,
AUTHOR = {Sofronie-Stokkermans, Viorica},
 TITLE = {Automated theorem proving by resolution in non-classic logics},
 JOURNAL = {Discrete Applied Mathematics},
 PUBLISHER = {Elsevier},
 YEAR = {2007},
 NUMBER = {?},
 VOLUME = {?},
 PAGES = {?},
 ISBN = {0166-218X},
 NOTE = {To appear, probably in 2007.},
}

Entry last modified by Viorica Sofronie-Stokkermans, 11/09/2006
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
07/12/2006 01:06:12 PM
Revisions
3.
2.
1.
0.
Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
11/09/2006 04:32:38 PM
07/20/2006 12:45:18 PM
07/12/2006 01:07:36 PM
07/12/2006 01:06:12 PM