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

Bachmair, Leo
Ganzinger, Harald

dblp
dblp



Editor(s):

Bundy, Alan

dblp



BibTeX cite key*:

BachmairGanzinger-94-cade

Title, Booktitle

Title*:

Ordered Chaining for Total Orderings

Booktitle*:

Proceedings of the 12th International Conference on Automated Deduction (CADE-12)

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Nancy, France

Language:

English

Event Date*
(no longer used):

June 26 - July 1, 1994

Organization:


Event Start Date:

18 July 2019

Event End Date:

18 July 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Artificial Intelligence

Volume:

814

Number:


Month:


Pages:

435-450

Year*:

1994

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©

Note:

Full version available as Research Report MPI-I-93-250, 1993

(LaTeX) Abstract:

We propose inference systems based on ordered chaining and a concept of (global) redundancy for clauses and inferences for dealing with total orderings. A key to the practicality of chaining techniques is the extent to which so-called variable chainings can be restricted. We demonstrate that ordering restrictions and the rewrite techniques which account for their completeness considerably restrict variable chaining. For dense total orderings we show that the techniques for eliminating unshielded variables are admissible simplifications so that no variable chaining is needed at all. We also include equality by combining ordered chaining with superposition.



Download
Access Level:


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, CCL bibliography



BibTeX Entry:

@INPROCEEDINGS{BachmairGanzinger-94-cade,
AUTHOR = {Bachmair, Leo and Ganzinger, Harald},
EDITOR = {Bundy, Alan},
TITLE = {Ordered Chaining for Total Orderings},
BOOKTITLE = {Proceedings of the 12th International Conference on Automated Deduction (CADE-12)},
PUBLISHER = {Springer},
YEAR = {1994},
VOLUME = {814},
PAGES = {435--450},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Nancy, France},
}


Entry last modified by Uwe Brahm, 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)
Harald Ganzinger
Created
01/22/1995 02:33:03 PM
Revisions
14.
13.
12.
11.
10.
Editor(s)
Uwe Brahm
Christine Kiesel/AG2/MPII/DE
Uwe Brahm/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Edit Dates
03/27/98 09:39:38 PM
01/02/96 11:43:50
03.04.95 10:24:39
24/02/95 10:34:35
20/02/95 19:08:32