Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection

Gerhard Lakemeyer. Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. In AAAI. pages 531-537, 1990.

Abstract

Abstract is missing.