Title: Decidable reasoning in first-order knowledge bases with perfect introspection
First published: 1990
Subjects: Artificial intelligence, Knowledge, Theory of, Theory of Knowledge
LC classification: QA9 .L35 1990