Picture for Mark Law

Mark Law

Efficient lifting of symmetry breaking constraints for complex combinatorial problems

May 14, 2022
Alice Tarzariol, Martin Gebser, Mark Law, Konstantin Schekotihin

Figure 1 for Efficient lifting of symmetry breaking constraints for complex combinatorial problems

Figure 2 for Efficient lifting of symmetry breaking constraints for complex combinatorial problems

Figure 3 for Efficient lifting of symmetry breaking constraints for complex combinatorial problems

Figure 4 for Efficient lifting of symmetry breaking constraints for complex combinatorial problems

* Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages

Access Paper or Ask Questions

FF-NSL: Feed-Forward Neural-Symbolic Learner

Jul 02, 2021
Daniel Cunnington, Mark Law, Alessandra Russo, Jorge Lobo

Figure 1 for FF-NSL: Feed-Forward Neural-Symbolic Learner

Figure 2 for FF-NSL: Feed-Forward Neural-Symbolic Learner

Figure 3 for FF-NSL: Feed-Forward Neural-Symbolic Learner

Figure 4 for FF-NSL: Feed-Forward Neural-Symbolic Learner

* Pre-print, work in progress

Access Paper or Ask Questions

Conflict-driven Inductive Logic Programming

Dec 31, 2020
Mark Law

Figure 1 for Conflict-driven Inductive Logic Programming

Figure 2 for Conflict-driven Inductive Logic Programming

Figure 3 for Conflict-driven Inductive Logic Programming

Figure 4 for Conflict-driven Inductive Logic Programming

* Submitted to the Theory and Practice of Logic Programming (TPLP) -- under review

Access Paper or Ask Questions

The ILASP system for Inductive Learning of Answer Set Programs

May 02, 2020
Mark Law, Alessandra Russo, Krysia Broda

Figure 1 for The ILASP system for Inductive Learning of Answer Set Programs

Figure 2 for The ILASP system for Inductive Learning of Answer Set Programs

Figure 3 for The ILASP system for Inductive Learning of Answer Set Programs

Figure 4 for The ILASP system for Inductive Learning of Answer Set Programs

* Submitted to the ALP newsletter

Access Paper or Ask Questions

Induction of Subgoal Automata for Reinforcement Learning

Nov 29, 2019
Daniel Furelos-Blanco, Mark Law, Alessandra Russo, Krysia Broda, Anders Jonsson

Figure 1 for Induction of Subgoal Automata for Reinforcement Learning

Figure 2 for Induction of Subgoal Automata for Reinforcement Learning

Figure 3 for Induction of Subgoal Automata for Reinforcement Learning

Figure 4 for Induction of Subgoal Automata for Reinforcement Learning

* Preprint accepted for publication to the 34th AAAI Conference on Artificial Intelligence (AAAI-20)

Access Paper or Ask Questions