FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

F
formal reasoning	Elements of a Model of Trust in Technology
M
Machine Ethics	Moral Permissibility of Actions in Smart Home Systems
model checking	Moral Permissibility of Actions in Smart Home Systems
S
Smart-Home Application	Moral Permissibility of Actions in Smart Home Systems
T
technological systems	Elements of a Model of Trust in Technology
trust	Elements of a Model of Trust in Technology

Disclaimer | Powered by EasyChair Smart Program