Mark Law About Me

I am a final year PhD student on a Teaching Scholarship in the Department of Computing at Imperial College London. I am a member of the SPIKE group. My main research interests are in the areas of Inductive Logic Programming and Answer Set Programming.








Research

My current research is in the area of Inductive Logic Programming; specifically my work addresses learning Answer Set Programs consisting of normal rules, choice rules, (hard) constraints, and weak constraints.

The first part of my research describing an approach to learning ASP programs consisting of normal rules, choice rules and constraints was recently published at JELIA 2014. ILASP2, now also capable of learning weak constraints was subsequently presented at ICLP 2015.



Publications

[1] Mark Law, Alessandra Russo, and Krysia Broda. Inductive learning of answer set programs. In Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pages 311-325, 2014. [  paper | pdf | proofs  ]
[2] Mark Law, Alessandra Russo, and Krysia Broda. Learning Weak Constraints in Answer Set Programming. In Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 15, 2015. [  pdf | proofs  ]
[3] Mark Law, Alessandra Russo, and Krysia Broda. Iterative Learning of Answer Set Programs from Context Dependent Examples. To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 16, 2016. [  pdf  ]

Conference Presentations

[1] Mark Law, Alessandra Russo, and Krysia Broda. Inductive learning of answer set programs. At Inductive Logic Programming - 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014. [  slides  ]
[2] Mark Law, Alessandra Russo, and Krysia Broda. Inductive learning of answer set programs. At JELIA 2014 - 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, Madeira, Portugal, September 24-26, 2014. [  slides  ]
[3] Mark Law, Alessandra Russo, and Krysia Broda. Learning Weak Constraints in Answer Set Programming. At ICLP 2015 - 31st International Conference on Logic Programming, Cork, Ireland, August 31 - September 4th, 2015. [  slides  ]
[4] Mark Law, Alessandra Russo, and Krysia Broda. Iterative Learning of Answer Set Programs from Context Dependent Examples At ILP 2016 - 26th International Conference on Inductive Logic Programming, London, UK, September 4th - September 6th, 2016. [  slides  ]
[5] Mark Law, Alessandra Russo, and Krysia Broda. Iterative Learning of Answer Set Programs from Context Dependent Examples At ICLP 2016 - 32nd International Conference on Logic Programming, New York, USA, October 16 - October 21st, 2016. [  slides  ]

Professional Activities




Teaching Logic-based Learning




I will be teaching for 2 weeks in the new Logic Based Learning course. The units that I will be teaching are:


Other materials:

Part of the coursework will be based around an agent planning problem which was first discussed in the ILASP paper. A video of an agent learning the rules of the environment whilst constructing plans to get to its goal is shown in the video. The agent's current hypothesis at any given time is shown on the right hand side of the screen.