conftrace_

Felix Lindner

2 papers · 2019–2021 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (14) 🚀 Conference Pioneer

Conferences

AAAI (2)

Top co-authors

Martin Mose Bentzen (1) Bernhard Nebel (1) Michael Fisher (1) Robert Mattmüller (1) Louise A. Dennis (1)

Keywords

automated planning (1) ethical judgment (1) computational complexity (1) formal verification (1) model checking (1) autonomous system (1) classical planning (1) action planning (1) context-aware system (1) ethical reasoning (1) machine ethics (1) action plan (1) plan evaluation (1)

Papers

Verifiable Machine Ethics in Changing Contexts AAAI 2021 Moral Permissibility of Action Plans AAAI 2019