SAFA 2022年
2022年第四届形式论证系统和算法国际研讨会

目录

• 前言
  摘要：有9提交给本次研讨会进行同行审查。全部9本卷的论文已被接受。

受邀演讲

• 模型计数及其与符号定量人工智能的关系，以及对实际求解的一瞥 1-4
  约翰内斯·费希特

技术论文

• 奇偶：在动态论证框架中处理N引理 5-18
  高桥和子
• 一个完善的处理误解的对话系统 19-32
  安德烈亚斯·西迪斯,克里斯托弗·汉普森,桑杰·莫吉尔,伊丽莎白·布莱克
• 强可容许性，一种可追踪的算法方法 33-44
  马丁·卡米纳达,Sri Harikrishnan先生
• 计算高阶抽象论证框架的标号 45-58
  西尔维·多特,Marie-Christine Lagasquie-Schiex女士
• 基于假设的论证的灵活争议衍生策略 59-72
  马丁·迪勒,莎拉·爱丽丝·加格尔,彼得·戈尔奇卡
• 基于排名的语义的可实现性 73-85
  肯尼斯·斯基巴,马蒂亚斯·蒂姆,蒂兹·林斯特拉,杰西·海因尼克,加布里埃尔·克恩·伊斯伯纳
• 利用反向链接和部分参数提高ASPIC+中的推理效率 86-97
  郝武,布鲁诺·云,尼尔·奥伦
• 集体攻击论证框架的删除后门 98-110
  沃尔夫冈·德沃亚克,马蒂亚斯·科尼格,斯特凡·沃尔特兰
• 基于标签的抽象论证回溯求解器 111-123
  卢卡斯·金德,马蒂亚斯·蒂姆,巴特·维尔海伊