A remark on higher order RUE-resolution with EXTRUE

Benzmueller, Christoph

A remark on higher order RUE-resolution with EXTRUE

Authors

Description

We show that a prominent counterexample for the completeness of first order RUE-resolution does not apply to the higher order RUE-resolution approach EXTRUE.
3 pages

Keywords

Artificial Intelligence, Logic in Computer Science, F.4.1; I.2.3

URI

http://salesiana.dossiersoluciones.com/handle/123456789/217206

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0901.3608
http://arxiv.org/abs/0901.3608
SEKI Report (ISSN 1437-4447), Saarland University, 1999

Collections

arXiv

Full item page

A remark on higher order RUE-resolution with EXTRUE

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

URI

Consulte el texto completo en el siguiente enlace:

Collections