Decidable reasoning in first-order knowledge bases with perfect introspection
By: Gerhard Lakemeyer.
Series: Technical reports on knowledge representation and reasoning -- 90-8
Publisher: University of Toronto, Computer Science Dept.
Published: 1990
Place of publication: Toronto
Language: eng
Number of pages: 20
Subjects: Artificial intelligence.; Knowledge, Theory of.
Notes: "KRR-TR-90-8"

"November 1990"

Includes bibliographical references.