Intelligent Systems examination paper by the University of Oxford (2015) (source code)

= Intelligent Systems examination paper by the University of Oxford (2015)
{c}
{title2=A12075W1}

Four-page <University of Oxford> Finals examination, Trinity Term 2015, dated Tuesday 16 June 2015, 9:30 am–11:00 am. The original marks Questions 1 and 3 as corrected. Printed p. 2 concerns <Horn clause> proof search and <admissible heuristics>; p. 3 concerns a <STRIPS> encoding of a multi-stack <Tower of Hanoi> puzzle; p. 4 concerns <constraint satisfaction problems>, <tree decomposition>, and <all-different constraints>.

Public archive: https://www.whatdotheyknow.com/request/computer_science_past_exam_paper/response/956037/attach/3/Lawrence%20Attachment.zip?cookie_passthrough=1[Lawrence Attachment.zip], member `2015-is.pdf`.

Held original: `pdf/computer-science/finals/intelligent-systems/2015.pdf` in the Oxford examinations repository. Editable transcription: `tex/computer-science/finals/intelligent-systems/2015.tex`.