16th meeting – abductive reasoning and Answer Set Programming

During our 16th meeting on 20th March, Robert Różański presented his PhD dissertation summary.

Subject of his dissertation is „Automation of metabolism research using abstraction logic programming” which he wrote while studying at the University of Manchaster.

Robert described assumptions and results of abductive reasoning in logic programming and paradigms of Answer Set Programming in search problems.

Thanks to Robert we were also able to grasp the basics of logic programming using such tools as gringo and clasp.

Our next meeting will be held on 3rd April. The main topic for our next meeting will be Google Algorithm for Alpha Go. Feel free to join us!