knowledge representation and reasoning

ronald j. brachman · elsevier science ltd