提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/dss/MalandriMMS24AU-马兰德里，洛伦佐AU-梅尔科里奥·法比奥澳大利亚-马里奥Mezzanzanica澳大利亚-塞维索，安德里亚TI-通过符号推理进行模型对比解释。JO-拒绝。支持系统。VL-176SP-114040PY-2024/01年/DO-2016年10月10日/J.DSS.2023.114040UR-（欧元）https://doi.org/10.1016/j.dss.2023.114040急诊室-