Automated Reasoning with Complex Ethical Theories--A Case Study Towards Responsible AI

Reference : Automated Reasoning with Complex Ethical Theories--A Case Study Towards Responsible AI


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Arts & humanities : Philosophy & ethics
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/41336

Title :	Automated Reasoning with Complex Ethical Theories--A Case Study Towards Responsible AI
Language :	English
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)]
Publication date :	2019
Main document title :	16th International Congress on Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019) --- Bridging across Academic Cultures, Book of Abstracts
Peer reviewed :	Yes
Audience :	International
City :	Prague
Country :	Czech Republic
Event name :	16th International Congress on Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019)
Event date :	from 05-08-2019 to 10-08-2019
Event place (city) :	Prague
Event country :	Czech Republic
Keywords :	[en] own ; Formal Ethics ; Machine Ethics ; Knowledge Representation and Reasoning ; Higher Order Logic Universal Reasoning
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/41336

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	BookOfAbstracts.pdf		Publisher postprint	2.71 MB	Request a copy

All documents in ORBi^lu are protected by a user license.