Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)
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 :
Philosophie & éthique
Auteur, co-auteur :
Fuenmayor, David
BENZMÜLLER, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Automated Reasoning with Complex Ethical Theories--A Case Study Towards Responsible AI
Date de publication/diffusion :
2019
Nom de la manifestation :
16th International Congress on Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019)
Lieu de la manifestation :
Prague, République Tchèque
Date de la manifestation :
from 05-08-2019 to 10-08-2019
Manifestation à portée :
International
Titre de l'ouvrage principal :
16th International Congress on Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019) --- Bridging across Academic Cultures, Book of Abstracts