Dennis, Louise A.

2 publications

AAAI 2021 Verifiable Machine Ethics in Changing Contexts Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher

IJCAI 2005 An Architecture for Proof Planning Systems Louise A. Dennis