Try Computational Models of Ethical Reasoning: Challenges, Initial Steps, and Future Directions by Bruce McLaren.
It does not include formal logic like the Lokhorst paper, but it specifically discusses two programs, Truth Teller and SIROCCO that implement different methods of ethical analysis. Although neither are strictly consequentialist, both do reason on ethical situations; Truth Teller can draw comparisons and contrasts when presented with two ethical dilemmas (perhaps drawing from a master dilemma to make a decision?), and SIROCCO can determine relevant ethical issues and cases when given a single problem, thereby finding the specific ethical problem to be dealt with. Some relevant flowcharts and such are included, and the text is very interesting as a whole.