Ronald J. Brachman

Knowledge representation and reasoning