This research topic concerns the analysis of fundamental notions involved in everyday problems of normative reasoning, including ethical rules, moral values, deterministic vs. non-deterministic systems and theories of action. Moreover, it concerns the development of logical and computational tools for assisted reasoning in the normative domain, based on a formal representation of those notions.