Knowledge Theory for Computer Scientists (Ellis Horwood Series in Artificial Intelligence Foundations & Concepts)