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

Sofronie-Stokkermans, Viorica

dblp



Editor(s):



Not MPII Editor(s):

Caferra, Ricardo
Salzer, Gernot

BibTeX cite key*:

Sofronie-Stokkermans-ftp2000

Title, Booktitle

Title*:

Resolution-based theorem proving for SHn-logics


ftp98-lncs-selection.pdf (252.98 KB)

Booktitle*:

Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98)

Event, URLs

URL of the conference:

http://www.logic.at/ftp98/

URL for downloading the paper:


Event Address*:

Vienna, Austria

Language:

English

Event Date*
(no longer used):

November, 23 - 25, 1998

Organization:


Event Start Date:

11 October 2006

Event End Date:

11 October 2006

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:

1761

Number:


Month:


Pages:

268-282

Year*:

2000

VG Wort Pages:


ISBN/ISSN:

3-540-67190-0

Sequence Number:


DOI:




Note, Abstract, ©

Note:

%Extended version of [Sofronie1998b].

(LaTeX) Abstract:

In this paper we illustrate by means of an example, namely $SHn$-logics,
a method for translation to clause form and automated theorem proving for
first-order many-valued logics based on distributive lattices with operators.

URL for the Abstract:

http://link.springer.de/link/service/series/0558/bibs/1761/17610267.htm

HyperLinks / References / URLs:

http://link.springer.de/link/service/series/0558/papers/1761/17610267.pdf

Copyright Message:

Copyright Springer


Download
Access Level:

Public

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



BibTeX Entry:

@INPROCEEDINGS{Sofronie-Stokkermans-ftp2000,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {Resolution-based theorem proving for {SHn-logics}},
BOOKTITLE = {Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98)},
PUBLISHER = {Springer},
YEAR = {2000},
VOLUME = {1761},
PAGES = {268--282},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Vienna, Austria},
ISBN = {3-540-67190-0},
NOTE = {%Extended version of [Sofronie1998b].},
}


Entry last modified by Viorica Sofronie-Stokkermans, 03/12/2010
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
02/03/2000 11:38:04 AM
Revisions
14.
13.
12.
11.
10.
Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
10/11/2006 04:30:05 PM
06/02/2003 11:35:05 AM
05/23/2003 04:42:30 PM
05/23/2003 04:41:44 PM
06/09/2001 17:00:19
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section

View attachments here:


File Attachment Icon
ftp98-lncs-selection.pdf