Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
复制标题
自动推理 - 第七届国际联合会议，IJCAR 2014，作为维也纳逻辑之夏的一部分举行，VSL 2014，奥地利维也纳，2014 年 7 月 19-22 日
DOI：
10.1007/978-3-319-08587-6
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
M. Lange
中科院分区：
文献类型：
--
作者：
R. Ehlers;M. Lange
本卷包含2014年7月19日至22日在维也纳举行的IJCAR'14：第七届自动推理国际联合会议（IJCAR）上提交的论文。今年的会议是自动推理领域三大主要活动的合并-CADE（国际自动演绎会议），FroCoS（国际组合系统前沿研讨会）和TABLEAUX（国际自动推理与分析表及相关方法会议）。IJCAR是关于自动推理所有主题的首要国际联合会议，包括基础，实现和应用。以前的IJCAR会议分别于2001年在锡耶纳（意大利）、2004年在科克（爱尔兰）、2006年在西雅图（美国）、2008年在悉尼（澳大利亚）、2010年在爱丁堡（英国）和2012年在曼彻斯特（英国）举行。IJCAR 2014是联邦逻辑会议（FLoC）的一部分，FLoC本身也是维也纳夏季逻辑（VSL）的一部分，24个研讨会隶属于IJCAR。维也纳逻辑之夏是由库尔特·哥德尔学会于2014年7月9日至24日在维也纳科技大学举办的一项独特活动。IJCAR'14邀请作者提交完整的论文（15页）和系统描述（7页）。共收到83份论文（63份常规论文和20份系统描述），其中37份被接受（26份常规论文和11份系统描述）。每一份提交的论文都被分配给至少三名项目委员会成员，他们在116名外部裁判的帮助下仔细审查了论文。我们要感谢项目委员会成员及其所有评审员在评估提交材料方面所做的工作和努力。很高兴与他们所有人一起工作。EasyChair会议管理系统在处理将我们的计划和程序放在一起的各个方面方面提供了很大的帮助。IJCAR 2014邀请了Rajeev Goré（澳大利亚国立大学）和Ken McMillan（微软研究院）的演讲。此外，IJCAR与其他FLoC会议一起，邀请了Véronique Cortier（国家科学研究中心）和Orna Kupferman（希伯来大学）的两次全体会议。这些会议记录包括三篇论文和一份受邀演讲的摘要。我们要感谢受邀演讲者为2014年IJCAR的成功做出的贡献。
This volume contains the papers presented at IJCAR’14: 7th International Joint Conference on Automated Reasoning (IJCAR) held on July 19-22, 2014 in Vienna. This year’s meeting was a merging of three leading events in automated reasoning–CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). IJCAR is the premier international joint conference on all topics in automated reasoning, including foundations, implementations, and applications. Previous IJCAR conferences were held at Siena (Italy) in 2001, Cork (Ireland) in 2004, Seattle (USA) in 2006, Sydney (Australia) in 2008, Edinburgh (UK) in 2010 and Manchester (UK) in 2012. IJCAR 2014 is part of Federated Logic Conference (FLoC) that is itself part of Vienna Summer in Logic (VSL) and 24 workshops are affiliated with IJCAR. The Vienna Summer of Logic is a unique event organized by the Kurt Gödel Society at Vienna University of Technology from July 9 to 24, 2014. The call for papers for IJCAR’14 invited authors to submit full papers (of 15 pages) and system descriptions (of 7 pages). There were 83 submissions (63 regular papers and 20 system descriptions) of which 37 were accepted (26 regular papers and 11 system descriptions). Each submission was assigned to at least three Program Committee members, who carefully reviewed the papers, with the help of 116 external referees. We wish to thank the Program Committee members and all their reviewers for their works and efforts in evaluating the submissions. It was a pleasure to work with all of them. The EasyChair conference management system was a great help in dealing with all aspects of putting our program and the proceedings together.IJCAR 2014 had invited talks by Rajeev Goré (The Australian National University) and Ken McMillan (Microsoft Research). In addition, IJCAR together with other FLoC conferences, had two invited plenary talks by Véronique Cortier (Centre National de la Recherche Scientifique) and by Orna Kupferman (Hebrew University). These proceedings contain three papers and an abstract of these invited talks. We want to thank the invited speakers for contributing to the success of the IJCAR 2014.
登录
查看更多内容
使用 AProVE 自动终止证明
DOI：
--
发表时间：
2004
期刊：
International Conference on Rewriting Techniques and Applications
影响因子：
--
作者：
J. Giesl;René Thiemann;Peter Schneider;Stephan Falke
通讯作者：
Stephan Falke
使用 CiME3 进行自动认证校样
DOI：
--
发表时间：
2011
期刊：
International Conference on Rewriting Techniques and Applications
影响因子：
--
作者：
Évelyne Contejean;Pierre Courtieu;Julien Forest;O. Pons;X. Urbain
通讯作者：
X. Urbain
论定量可达博弈中的（子博弈完美）安全均衡
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Thomas Brihaye;V. Bruyère;Julie De Pril;H. Gimbert
通讯作者：
H. Gimbert
SAT 求解多项式解释的终止分析
DOI：
--
发表时间：
2007
期刊：
International Conference on Theory and Applications of Satisfiability Testing
影响因子：
--
作者：
Carsten Fuhs;J. Giesl;A. Middeldorp;Peter Schneider;René Thiemann;Harald Zankl
通讯作者：
Harald Zankl
并发程序作为游戏策略
DOI：
--
发表时间：
1992
期刊：
影响因子：
--
作者：
A. Nerode;A. Yakhnis;V. Yakhnis
通讯作者：
V. Yakhnis