Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Automated Reasoning with Complex Ethical Theories--A Case Study Towards Responsible AI
Fuenmayor, David; BENZMÜLLER, Christoph
2019 • In 16th International Congress on Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019) --- Bridging across Academic Cultures, Book of Abstracts
own; Formal Ethics; Machine Ethics; Knowledge Representation and Reasoning; Higher Order Logic Universal Reasoning
Disciplines :
Philosophy & ethics
Author, co-author :
Fuenmayor, David
BENZMÜLLER, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Automated Reasoning with Complex Ethical Theories--A Case Study Towards Responsible AI
Publication date :
2019
Event name :
16th International Congress on Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019)
Event place :
Prague, Czechia
Event date :
from 05-08-2019 to 10-08-2019
Audience :
International
Main work title :
16th International Congress on Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019) --- Bridging across Academic Cultures, Book of Abstracts