= Knowledge representation and reasoning
{scope}
{title2=A12076W1}
Solutions cover all three questions.<Knowledge representation and reasoning examination paper of the University of Oxford (2015)>[Questions 1–3, printed pages 2–5; Algorithm 1 on page 3]{ref} Throughout, the vocabulary in question 1 is interpreted as specified in the paper; in particular, the intended meaning of $\mathit{CountSupervise}$ supplies the number of supervised students. Question 2 distinguishes <EL> from <EL with bottom> explicitly, since the convention about $\bot$ changes two answers.
Back to article page
