中文

第四届科学和技术中因果、责任与解释的形式化推理研讨会会议论文集

人工智能 2019-10-31 v1 人机交互 信息检索

摘要

第四届国际因果、责任与解释研讨会于捷克布拉格作为ETAPS 2019的一部分举行。会议议程包括5位邀请报告人与4篇常规论文,其遴选基于细致的审稿过程,并收录于本论文集中。

关键词

引用

@article{arxiv.1910.13641,
  title  = {Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology},
  author = {Georgiana Caltais and Jean Krivine},
  journal= {arXiv preprint arXiv:1910.13641},
  year   = {2019}
}