This page includes technical reports produced by members of the group. Some of these reports are are supplementary materials to papers published by people in the group.
- Automated inference of rules with exception from past legal cases using ASP (LPNMR 2015). LPNMR2015_supplementary material with full detailed proofs. By Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, and Alessandra Russo.