安德烈亚·德·多梅尼科;阿里·法贾米;克里希纳·马诺卡尔;亚历山德拉·帕尔米吉亚诺;马蒂亚·帕内蒂埃;王晓龙 从属代数作为输入/输出逻辑的语义环境。 （英语） Zbl 1521.03032号 Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 326-343 (2022). 审核人：David Makinson（伦敦） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit｛A.De Domenico｝等人，Lect。注释计算。科学。13468，326--343（2022；Zbl 1521.03032） 全文： 内政部 arXiv公司 链接
比约恩·莱尔曼 通过序列从输入/输出逻辑到条件逻辑-带证明程序。 （英语） Zbl 07532514号 Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 147-164 (2021).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \文本{B.Lellmann}，Lect。注释计算。科学。12842、147--164（2021；Zbl 07532514） 全文： 内政部
克里斯托夫·本兹穆勒;家长，Xavier;范德托雷、伦德特 为伦理和法律推理设计规范理论：LogiKEy公司框架、方法和工具支持。 （英语） Zbl 1493.68286号 Artif公司。智力。 287，文章ID 103348，28 p.（2020）.MSC公司：68T01型 03A05号 03B16号 03立方厘米35 03B45号 68T27型 68立方英尺 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller}等人，Artif。智力。287，文章ID 103348，28 p.（2020；Zbl 1493.68286） 全文： 内政部 arXiv公司