| 2020 | JURIX | Towards Explainable, Compliant and Adaptive Human-Automation Interaction. | Barbara Gallina, Grkem Paaci, David Johnson, Steve McKeever, Andreas Hamfelt, Stefania Costantini, Pierangelo Dell'Acqua, Gloria Cerasela Crisan |
| 2019 | ICCS | "Why Did You Do That?" - Explaining Black Box Models with Inductive Synthesis. | Grkem Paaci, David Johnson, Steve McKeever, Andreas Hamfelt |
| 2013 | EJC | A Visual System for Compositional Relational Programming. | Grkem Paaci, Andreas Hamfelt |
| 2011 | ICAIL | Towards a dynamic metalogic implementation of legal argumentation. | Jenny Eriksson Lundstrm, Giacomo Aceto, Andreas Hamfelt |
| 2008 | EJC | A Common Framework for Board Games and Argumentation Games. | Jenny Eriksson Lundstrm, Jrgen Fischer Nilsson, Andreas Hamfelt |
| 2007 | ICAIL | A rule-sceptic characterization of acceptable legal arguments. | Jenny Eriksson Lundstrm, Andreas Hamfelt, Jrgen Fischer Nilsson |
| 2007 | JURIX | Legal rules and argumentation in a metalogic framework. | Jenny Eriksson Lundstrm, Jrgen Fischer Nilsson, Andreas Hamfelt |
| 2005 | ICAIL | A metalogical formalisation of legal argumentation as game trees with defeasible reasoning. | Andreas Hamfelt, Jenny Eriksson Lundstrm, Jrgen Fischer Nilsson |
| 1998 | LOPSTR | Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. | Andreas Hamfelt, Jrgen Fischer Nilsson |
| 1996 | ICLP | Declarative Logic Programming with Primitive Recursive Relations on Lists. | Andreas Hamfelt, Jrgen Fischer Nilsson |
| 1995 | ICLP | Constructing Logic Programs with Higher-Order Predicates. | Jrgen Fischer Nilsson, Andreas Hamfelt |
| 1990 | DEXA | An Intelligent Object Oriented Modelling to Legal Data Bases Combining Logic Programming and Hypertext. | Andreas Hamfelt, Jonas Barklund |