Handlungssprachenbasierte tatsächliche Kausalität für Computerethik: eine solide und vollständige Implementierung in ASP