Fulltext results:
- Foundations of Artificial Intelligence @teaching:is
- _5.9_5.13.pdf |5.9 and 5.13}} and {{ :teaching:is:exercise_5.17.pdf |5.17}}. \\ Use [[https://artint.info/code/ailog/ailog_man.html|AILog2]] to verify the correctness of your answer... see [[https://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_man_14.html|manual]]), and can ask for the derivation of the ... Diagnosis, Abduction * Keep using [[https://artint.info/code/ailog/ailog_man.html|AILog2]] * Go through Sections 6, 7, 9 of the [[http://www.inf.unibz.it/~franconi/teaching/artint.info/code/ailog/ailog_man.html|manual]] * Play with the following knowledge