Logicians Who Reason About Themselves.

Raymond M. Smullyan

Published in: TARK (1986)

Keyphrases

machine learning
information systems
expert systems
relational databases
np complete
spatial data
natural language
probabilistic inference