A remark on higher order RUE-resolution with EXTRUE

Date
Authors
Benzmueller, Christoph
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
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.
Comment: 3 pages
Keywords
Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, F.4.1, I.2.3
Citation
Collections