Tractable Classes for Directional Resolution

Alvaro del Val. Tractable Classes for Directional Resolution. In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA. pages 343-348, AAAI Press / The MIT Press, 2000.

Abstract

Abstract is missing.