Please use this identifier to cite or link to this item: doi:10.22028/D291-42124
Title: A remark on higher order RUE-resolution with ERUE
Author(s): Benzmüller, Christoph
Language: English
Year of Publication: 2002
Place of publication: Saarbrücken
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: We show that a prominent counterexample for the completeness of first order RUE-resolution does not apply to the higher order RUE-resolution approach ERUE.
Link to this record: urn:nbn:de:bsz:291--ds-421242
Series name: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Series volume: 2002,5
Date of registration: 3-Jun-2024
Faculty: SE - Sonstige Einrichtungen
Department: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professorship: SE - Sonstige
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
SEKI-Report-SR-2002-05_Benzmüller_A-remark-on-higher-order-RUE=resolution-with-ERUE.pdf2,6 MBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.