A remark on higher order RUE-resolution with EXTRUE
Artificial Intelligence
2009-01-26 v1 Logic in Computer Science
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 EXTRUE.
Cite
@article{arxiv.0901.3608,
title = {A remark on higher order RUE-resolution with EXTRUE},
author = {Christoph Benzmueller},
journal= {arXiv preprint arXiv:0901.3608},
year = {2009}
}
Comments
3 pages