This paper supplies a computational model, via Logic Programming (LP), of counterfactual
reasoning of autonomous agents with application to morality. Counterfactuals are …

We investigate the potential of logic programming (LP) to model morality aspects studied in
philosophy and psychology. We do so by identifying three morality aspects that appear in …

This article investigates the appropriateness of LP-based reasoning to machine ethics, an
interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents …

Bridging capabilities between the two realms, to wit, the individual and collective, helps
understand the emergent ethical behavior of agents in groups, and implements them not just …

In this paper we emphasize two different aspects of abduction in Logic Programming (LP):(1)
the engineering of LP abduction systems, and (2) application of LP abduction …

We investigate the potential of logic programming (LP) to computationally model morality
aspects studied in philosophy and psychology. We do so by identifying three morality …

Abduction has been on the back burner in logic programming, as abduction can be too
difficult to implement, and costly to perform, in particular if abductive solutions are not tabled …

This chapter investigates the appropriateness of Logic Programming-based reasoning to
machine ethics, an interdisciplinary field of inquiry that emerges from the need of imbuing …

This paper summarizes our investigation on the application of LP-based reasoning to
machine ethics, a field that emerges from the need of imbuing autonomous agents with the …

Counterfactuals are conjectures about alternatives to events that did not occur in the past;
thoughts about what would have happened, had an alternative event occurred. Herein we …