Search Publications

Show all

2021

Yazdanpanah, Vahid; Dastani, Mehdi

Formal methods for responsibility reasoning in multi-agent systems Inproceedings

In: Third International Workshop on Formal Methods in Artificial Intelligence (FMAI 2021) (15/04/21 - 16/04/21), 2021.

Links | BibTeX | Tags: Artificial Intelligence, Collaboration, Formal Methods, Multi-Agent Systems

Naiseh, Mohammad; Cemiloglu, Deniz; Thani, Dena Al; Jiang, Nan; Ali, Raian

Explainable Recommendations and Calibrated Trust: Two Systematic User Errors Journal Article

In: Computer, vol. 54, no. 10, pp. 28-37, 2021.

Links | BibTeX | Tags: Artificial Intelligence, Calibration, Collaboration, Decision making, Decision support systems, Systematics