Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information

Yongmei Liu, Hector J. Levesque. Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. In Manuela M. Veloso, Subbarao Kambhampati, editors, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. pages 639-644, AAAI Press / The MIT Press, 2005.

Abstract

Abstract is missing.