Symbolic planning models allow decision-making agents to sequence action...
We present a set of capabilities allowing an agent planning with moral a...
We present an approach to generating natural language justifications of
...
In this paper we describe moral quasi-dilemmas (MQDs): situations simila...
Recent work has addressed using formulas in linear temporal logic (LTL) ...