Title: TARK Proceedings 1990 (Morgan-Kaufmann Series in Representation and Raasoning)
Subjects: Theory of Knowledge, Congresses, Symbolic and mathematical Logic, Artificial intelligence