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

Ganzinger, Harald
Sofronie-Stokkermans, Viorica

dblp
dblp



Editor(s):





BibTeX cite key*:

GanzingerSofronie-Stokkermans-00-ismvl

Title, Booktitle

Title*:

Chaining Techniques for Automated Theorem Proving in Many-Valued Logics


_00ISMVL_ps.gz (54.67 KB)

Booktitle*:

Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00)

Event, URLs

URL of the conference:

http://www.ee.pdx.edu/~mperkows/ISMVL/=index2000.html

URL for downloading the paper:


Event Address*:

Portland, Oregon

Language:

English

Event Date*
(no longer used):

May, 23 - 25

Organization:

IEEE Computer Society Technical Committee on Multiple-Valued Logic; Oregon Center for Advanced Technology Education

Event Start Date:

8 July 2003

Event End Date:

12 July 2003

Publisher

Name*:

IEEE

URL:


Address*:

Los Alamitos, USA

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:


Pages:

337-344

Year*:

2000

VG Wort Pages:


ISBN/ISSN:

0-7695-0692-5

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

We apply chaining techniques to automated theorem proving in many-valued
logics. In particular, we show that superposition specializes to a refined
version of the many-valued resolution rules introduced by Baaz and Fermüller,
and that ordered chaining can be specialized to a refutationally complete
inference system for regular clauses.



Download
Access Level:

Public

Correlation

MPG Unit:




MPG Subunit:


Audience:

Expert

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:

@INPROCEEDINGS{GanzingerSofronie-Stokkermans-00-ismvl,
AUTHOR = {Ganzinger, Harald and Sofronie-Stokkermans, Viorica},
TITLE = {Chaining Techniques for Automated Theorem Proving in Many-Valued Logics},
BOOKTITLE = {Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00)},
PUBLISHER = {IEEE},
YEAR = {2000},
ORGANIZATION = {IEEE Computer Society Technical Committee on Multiple-Valued Logic; Oregon Center for Advanced Technology Education},
PAGES = {337--344},
ADDRESS = {Portland, Oregon},
ISBN = {0-7695-0692-5},
}


Entry last modified by Christine Kiesel, 03/20/2007
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)
Christine Kiesel
Created
03/20/2007 10:12:36 AM
Revisions
19.
18.
17.
16.
15.
Editor(s)
Christine Kiesel
Christine Kiesel
Anja Becker
Anja Becker
Anja Becker
Edit Dates
08.07.2003 15:28:10
05.09.2001 16:58:52
05.04.2001 15:24:54
05.04.2001 15:22:12
03/30/2001 12:16:51 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section

View attachments here:


File Attachment Icon
_00ISMVL_ps.gz