A remark on higher order RUE-resolution with EXTRUE

Simple item page
dc.creatorBenzmueller, Christoph
dc.date2009-01-23
dc.date.accessioned2026-07-07T12:33:40Z
dc.date.available2026-07-07T12:33:40Z
dc.descriptionWe show that a prominent counterexample for the completeness of first order RUE-resolution does not apply to the higher order RUE-resolution approach EXTRUE.
dc.description3 pages
dc.identifierhttps://arxiv.org/abs/0901.3608
dc.identifierhttp://arxiv.org/abs/0901.3608
dc.identifierSEKI Report (ISSN 1437-4447), Saarland University, 1999
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/217206
dc.subjectArtificial Intelligence
dc.subjectLogic in Computer Science
dc.subjectF.4.1; I.2.3
dc.titleA remark on higher order RUE-resolution with EXTRUE
dc.typetext

Files

Collections

arXiv