1945
4 works on record
Principles of knowledge representation and reasoning
1994
Features and fluents
Question-answering and problem-solving techniques
1969
KR Proceedings 1998
