MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Ludwig, Michel
Waldmann, Uwe
dblp
dblp
Not MPG Author(s):
Ludwig, Michel
Editor(s):
Dershowitz, Nachum
Voronkov, Andrei
dblp
dblp
Not MPII Editor(s):
Dershowitz, Nachum
Voronkov, Andrei
BibTeX cite key*:
LudwigWaldmann2007
Title, Booktitle
Title*:
An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
Booktitle*:
Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007
Event, URLs
Conference URL::
http://www.lpar.net/2007/
Downloading URL:
Event Address*:
Yerevan, Armenia
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
15 October 2007
Event End Date:
19 October 2007
Publisher
Name*:
Springer
URL:
http://www.springer.de/
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
4790
Number:
Month:
Pages:
348-362
Year*:
2007
VG Wort Pages:
25
ISBN/ISSN:
3-540-75558-6
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
The Knuth-Bendix ordering is usually preferred over the
lexicographic path ordering in successful implementations
of resolution and superposition, but it is incompatible
with certain requirements of hierarchic superposition
calculi. Moreover, it does not allow non-linear definition
equations to be oriented in a natural way. We present
an extension of the Knuth-Bendix ordering that makes it
possible to overcome these restrictions.
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Automation of Logic
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{LudwigWaldmann2007,
AUTHOR = {Ludwig, Michel and Waldmann, Uwe},
EDITOR = {Dershowitz, Nachum and Voronkov, Andrei},
TITLE = {An Extension of the {Knuth-Bendix} Ordering with {LPO}-Like Properties},
BOOKTITLE = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007},
PUBLISHER = {Springer},
YEAR = {2007},
VOLUME = {4790},
PAGES = {348--362},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Yerevan, Armenia},
ISBN = {3-540-75558-6},
}


Entry last modified by Uwe Waldmann, 03/26/2009
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)
Uwe Waldmann
Created
10/25/2007 06:07:13 PM
Revision
1.
0.


Editor
Uwe Waldmann
Uwe Waldmann


Edit Date
26.03.2009 22:07:35
25.10.2007 18:07:13