المؤلفون: Mendez, Julian Alfredo, 1973, Kampik, Timotheus, 1989, Aler Tubella, Andrea, 1990, Dignum, Virginia, Professor

المصدر: 14th Scandinavian Conference on Artificial Intelligence, SCAI 2024 Linköping Electronic Conference Proceedings. :112-120

مصطلحات موضوعية: Responsible artificial intelligence, Ethics in artificial intelligence, Formal representation of fairness, Computer Science, datalogi, etik, Ethics

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-232255
https://doi.org/10.3384/ecp208013
https://umu.diva-portal.org/smash/get/diva2:1916584/FULLTEXT01.pdf

المؤلفون: Mendez, Julian Alfredo

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2310.01961

المؤلفون: Tubella, Andrea Aler, Mollo, Dimitri Coelho, Lindström, Adam Dahlgren, Devinney, Hannah, Dignum, Virginia, Ericson, Petter, Jonsson, Anna, Kampik, Timotheus, Lenaerts, Tom, Mendez, Julian Alfredo, Nieves, Juan Carlos

مصطلحات موضوعية: Computer Science - Computers and Society, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2304.11217

المؤلفون: Aler Tubella, Andrea, 1990, Coelho Mollo, Dimitri, Dahlgren, Adam, Devinney, Hannah, 1995, Dignum, Virginia, Professor, Ericson, Petter, 1986, Jonsson, Anna, 1992, Kampik, Timotheus, 1989, Lenaerts, Tom, Mendez, Julian Alfredo, Nieves, Juan Carlos, 1976

المصدر: FAccT '23. :1014-1025

مصطلحات موضوعية: Algorithmic fairness, socio-technical processes, social impact of AI, responsible AI, datalogi, Computer Science

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-209705
https://doi.org/10.1145/3593013.3594059
https://umu.diva-portal.org/smash/get/diva2:1766810/FULLTEXT01.pdf

المؤلفون: Mendez, Julian Alfredo, 1973

المساهمون: Dignum, Virginia, Professor, Aler Tubella, Andrea, Associate professor, 1990, Kampik, Timotheus, Adjunct associate professor, 1989, Klügl, Franziska, Professor

المصدر: Report / UMINF.

مصطلحات موضوعية: Algorithmic fairness, Ethics in artificial intelligence, Formal representation of fairness, Formal verification, Functional languages, Human-centered programming languages, Responsible artificial intelligence, Computer Science, datalogi, Computer Systems, datorteknik, etik, Ethics

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-232384
https://webapps.cs.umu.se/uminf/reports/2024/012/part1.pdf
https://umu.diva-portal.org/smash/get/diva2:1916851/FULLTEXT01.pdf

المؤلفون: Mendez, Julian Alfredo, 1973, Kampik, Timotheus, 1989

مصطلحات موضوعية: Engineering Multi-Agent Systems, Formal Verification, Proof Automation, Computer Science, datalogi, Computer Systems, datorteknik, Mathematical Logic, matematisk logik

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-232383
https://umu.diva-portal.org/smash/get/diva2:1916794/FULLTEXT01.pdf

المؤلفون: Aler Tubella, Andrea, 1990, Barsotti, Flavia, Koçer, Rüya Gökhan, Mendez, Julian Alfredo

المصدر: Ethics and Information Technology. 24(1)

مصطلحات موضوعية: AI Ethics, Bias mitigation, Fairness, Responsible AI

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-193063
https://doi.org/10.1007/s10676-022-09636-z
https://umu.diva-portal.org/smash/get/diva2:1646221/FULLTEXT01.pdf

المؤلفون: Mendez, Julian Alfredo, 1973

مصطلحات موضوعية: Responsible artificial intelligence, Functional languages, Object-oriented languages, Human-centered programming languages, datalogi, Computer Science

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-232076
https://doi.org/10.48550/arXiv.2310.01961