English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  An Extension of the Knuth-Bendix Ordering with LPO-like Properties

Ludwig, M., & Waldmann, U. (2007). An Extension of the Knuth-Bendix Ordering with LPO-like Properties. In N. Dershowitz, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007 (pp. 348-362). Berlin, Germany: Springer.

Item is

Basic

show hide
Item Permalink: http://hdl.handle.net/11858/00-001M-0000-000F-1E13-4 Version Permalink: http://hdl.handle.net/11858/00-001M-0000-002D-7C5D-9
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Ludwig, Michel1, Author              
Waldmann, Uwe2, Author              
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2008-03-252007
 Publication Status: Published in print
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Method: -
 Identifiers: eDoc: 356415
DOI: 10.1007/978-3-540-75560-9_26
Other: Local-ID: C12573CC004A8E26-030A9AA1F9E8746EC125737F00588D67-LudwigWaldmann2007
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Yerevan, Armenia
Start-/End Date: 2007-10-15 - 2007-10-19

Legal Case

show

Project information

show

Source 1

show
hide
Title: Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007
Source Genre: Proceedings
 Creator(s):
Dershowitz, Nachum, Editor
Voronkov, Andrei1, Editor            
Affiliations:
1 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045            
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 348 - 362 Identifier: ISBN: 3-540-75558-6

Source 2

show
hide
Title: Lecture Notes in Artificial Intelligence
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -