MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
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
Conference URL::
http://www.ee.pdx.edu/~mperkows/ISMVL/=index2000.html
Downloading URL:
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:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
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/12/2010
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/29/1999 04:33:25 PM
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

File Attachment Icon
_00ISMVL_ps.gz