Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection.

Gerhard Lakemeyer

Browse the full AAAI paper archive.