自动推理实践方面研讨会(PAAR)
2024年第9届PAAR:法国南希
克里斯托弗·布朗 , 丹妮拉·考夫曼 , 科劳迪亚·纳隆 , 亚历山大·斯汀 , 马丁·苏达 :
2024年,第九届自动推理实践方面研讨会(PAAR)和第九届可满足性检查和符号计算研讨会(SC-Square)的联合会议记录,与第十二届自动推理国际联合会议(IJCAR 2024)合办,法国南希,2024年7月2日。 CEUR研讨会论文集 3717, CEUR-WS.org公司 2024 [目录]
第8届PAAR 2022:以色列海法
波利斯·寇涅夫 , 克劳迪娅·肖恩 , 亚历山大·斯汀 :
与第十一届国际自动推理联合会议(FLoC/IJCAR 2022)合办的自动推理实践方面研讨会会议记录,以色列海法,2022年8月11日至12日。 CEUR研讨会论文集 3201, CEUR-WS.org公司 2022 [目录]
2020年第7届PAAR:法国巴黎(在线)
帕斯卡·方丹 , 康斯坦丁柯罗文 , 伊利亚斯·科齐里亚斯 , 菲利普·吕默 , 索菲·图雷特 :
2020年,第七届自动推理实用方面研讨会(PAAR)和第五届可满足性检查和符号计算研讨会(SC-Square)的联合会议记录,与第十届国际自动推理联合会议(2020年IJCAR)合办,法国巴黎,2020年6月-7月(虚拟)。 CEUR研讨会论文集 2752, CEUR-WS.org公司 2020 [目录]
2018年第6届PAAR:英国牛津
波利斯·寇涅夫 , 约瑟夫·乌尔班 , 菲利普·吕默 :
2018年7月19日,英国牛津,与2018年联邦逻辑会议(FLoC 2018)合办的第六届自动推理实践方面研讨会论文集。 CEUR研讨会论文集 2162, CEUR-WS.org公司 2018 [目录]
2016年第5届PAAR:葡萄牙科英布拉
帕斯卡·方丹 , 斯蒂芬·舒尔茨 , 约瑟夫·乌尔班 :
2016年7月2日,葡萄牙科英布拉,与国际自动推理联合会议(IJCAR 2016)合办的第五届自动推理实践方面研讨会会议记录。 CEUR研讨会论文集 1635, CEUR-WS.org公司 2016 [目录]
2014年第四届PAAR:奥地利维也纳
斯蒂芬·舒尔茨 , 莱昂纳多·德·莫拉 , 波利斯·寇涅夫 :
第四届自动推理实践研讨会, IJCAR的PAAR 2014年,奥地利维也纳,2014年。 计算中的EPiC系列 31, Easy椅子 2015 [目录]
2012年第三届PAAR:英国曼彻斯特
帕斯卡·方丹 , 雷娜特·施密特 , 斯蒂芬·舒尔茨 :
2012年6月30日至7月1日,英国曼彻斯特,PAAR-2012,第三次自动推理实践研讨会。 计算中的EPiC系列 21, Easy椅子 2013 [目录]
2010年第二届PAAR:英国爱丁堡
雷娜特·施密特 , 斯蒂芬·舒尔茨 , 波利斯·寇涅夫 :
2010年7月14日,英国苏格兰爱丁堡,PAAR-2010,第二届自动推理实践方面研讨会论文集。 计算中的EPiC系列 9, Easy椅子 2012 [目录]
2008年第1届PAAR:澳大利亚悉尼
波利斯·寇涅夫 , 雷纳特·A·施密特 , 斯蒂芬·舒尔茨 :
2008年8月10日至11日,澳大利亚悉尼,第一届自动推理实践方面国际研讨会论文集。 CEUR研讨会论文集 373, CEUR-WS.org公司 2008 [目录]