默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2014年第7届国际JCAR：奥地利维也纳

>主页 >会议和研讨会 >国际JCAR

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/2014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2014
斯特凡·德姆里,迪帕克·卡普尔,克里斯托夫·魏登巴赫:
自动推理——2014年7月19日至22日在奥地利维也纳举行的第七届国际联合会议，IJCAR 2014，作为维也纳逻辑夏季的一部分。诉讼程序。计算机科学课堂讲稿8562,施普林格 2014，国际标准图书编号978-3-319-08586-9

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AvniKT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AvniKT14
盖伊·阿夫尼,奥尔娜·库普夫曼,塔米·塔米尔:
从可达性到成本分担游戏中的时间规范。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Cortier14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Cortier14
Véronique Cortier公司:
电子投票：逻辑如何帮助。 16-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Gore14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Gore14
拉杰夫·戈尔:
匡威Fixpoint Logics的与或表：LTL、CTL、PDL和CPDL。 26-45

HOL公司

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Blanchette公司0T14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Blanchette0T14
贾斯敏·克里斯蒂安·布兰切特,安德烈·波佩斯库,德米特里·特拉泰尔:
统一经典逻辑完整性-一颗创造的明珠。 46-60
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Lindblad14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Lindblad14
弗雷德里克·林布拉德:
高阶逻辑的聚焦序贯演算。 61-75

SAT和QBF

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LahavZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LahavZ14
奥里·拉哈夫,尤尼·佐哈尔:
基于SAT的分析纯序贯演算决策程序。 76-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HeuleSB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HeuleSB14
Marijn鞋跟,马蒂娜·塞德尔,阿明·比尔:
QBF预处理的统一证明系统。 91-106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AnsoteguiBGL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AnsoteguiBGL14网址
卡洛斯·安索特吉,玛丽亚·路易莎·博内,杰苏斯·吉尔德斯·克鲁,乔迪·利维:
SAT公式的分形维数。 107-121

表面贴装技术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ChocronFR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ChocronFR14
保拉·丹妮拉·乔克罗,帕斯卡·方丹,克里斯托夫·林盖森:
可满足性过程的温和非直接组合。 122-136

等式推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EchenimPT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EchenimPT14
Mnacho Echenim公司,尼古拉斯·佩尔蒂埃,索菲·图雷特:
在等式逻辑中生成素蕴涵的重写策略。 137-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaumgartnerBW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaumgartnerBW14
鲍姆加特内,约书亚·巴克斯,乌韦·沃尔德曼:
层次定理证明中的有限量化。 152-167
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BerdineB14号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BerdineB14网址
乔什·伯丁,尼古拉·比约纳:
通过基于SMT的分区优化计算所有隐含的等式。 168-183
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GieslBEFFOPSSST14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GieslBEFFOPSSST14
吉尔根·吉斯尔,马克·布罗克施密特,费边·埃姆斯,弗洛里安·弗洛恩,卡斯滕·福斯,卡斯滕·奥托,马丁·普吕克,彼得·施奈德-坎普,托马斯·斯特罗德,斯蒂芬妮·斯威德斯基,雷内·蒂曼:
用AProVE自动证明程序终止。 184-191

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HorbachS14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HorbachS14网站
马提亚斯·霍巴赫,Viorica Sofronie-Stokkerman公司:
局部性转移：从约束公理化到可达性谓词。 192-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/StroderGBFFHS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/StroderGBFFHS14
托马斯·斯特罗德,吉尔根·吉斯尔,马克·布罗克施密特,弗洛里安·弗洛恩,卡斯滕·福斯,杰拉·亨塞尔,彼得·施奈德-坎普:
用指针算法证明程序的终止和内存安全。 208-223
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/张14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Zhang14
张文辉:
时间特性的QBF编码和基于QBF的验证。 224-239

证明理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HetzlLRTW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HetzlLRTW14
斯特凡·赫兹尔,亚历山大·莱奇,吉赛尔·里斯,贾诺斯·塔波尔扎伊,丹尼尔·韦勒:
引入等式逻辑中的量化切割。 240-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NigamRL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NigamRL14
维维克·尼甘姆,吉赛尔·里斯,莱昂纳多·利马:
Quati：一个自动证明置换引理的工具。 255-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GoreTW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GoreTW14
拉杰夫·戈尔,吉米·汤姆森,杰西·吴:
使用全局缓存的直觉命题逻辑的基于历史的定理证明器：IntHistGC系统描述。 262-268
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Otten14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Otten14
延斯·奥顿:
MleanCoP：一阶模态逻辑的连接验证程序。 269-276

模态和时间推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CerritoDG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CerritoDG14
塞雷内拉·塞里托,艾米莉·戴维,瓦伦丁·戈兰科:
基于最优表aux的交替时间时序逻辑ATL+可满足性测试决策过程。 277-291
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/JeanninP14会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/JeanninP14
Jean-Baptiste珍妮,安德烈·普拉泽:
dTL2：混合系统的嵌套时态差分时态动态逻辑。 292-306
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Lellmann14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Lellmann14
比约恩·勒曼:
公理与具有上下文限制的超序列规则：理论与应用。 307-321
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NalonMD14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NalonMD14
科劳迪亚·纳隆,乔·马科斯,克莱尔·狄克逊:
合流模态逻辑的子句分解。 322-336
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GoreOT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GoreOT14
拉杰夫·戈尔,克里·奥尔森,吉米·汤姆森:
使用BDD实现Tableau微积分：BDDTab系统描述。 337-343

SMT和SAT

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ZeljicWR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ZeljicWR14
Aleksandar Zeljic先生,克里斯托夫·温特斯泰格,菲利普·吕默:
模型构建的近似值。 344-359
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EhlersL14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/埃勒斯L14
吕迪格·埃勒斯,马丁·兰格:
在全区间时间逻辑中增量近似有限可满足性的工具。 360-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/StumpST14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/StumpST14
亚伦·斯塔姆,杰夫·萨特克利夫,塞萨尔·蒂内利:
StarExec：用于逻辑解决的跨社区基础设施。 367-373
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BoudouFP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BoudouFP14
约瑟夫·布杜,安德烈亚斯·费尔纳,Bruno Woltzenlogel古:
Skeptik：验证压缩系统。 374-380

模态逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PapacchiniS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PapacchiniS14
法比奥·帕帕奇尼,雷娜特·施密特:
命题模态逻辑的终止最小模型生成程序。 381-395
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GorinPSWW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GorinPSWW14
丹尼尔·戈林,德克·帕丁森,卢茨·施罗德,弗洛里安·维德曼,托尔斯滕·维曼:
酷-一个通用推理机用于混合逻辑（系统描述）。 396-402

复杂性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Beyersdorff公司14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BeyersdorffC14
奥拉夫·贝耶斯多夫,Leroy Chew公司:
包络和最小蕴涵定理证明的复杂性。 403-417
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BozzelliS14号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BozzelliS14
劳拉·博泽利,塞萨尔·桑切斯:
可见线性时间逻辑。 418-433

描述逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KoopmannS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KoopmannS14
帕特里克·库普曼,雷娜特·施密特:
计数与遗忘：$\mathcal{SHQ}$-本体论的统一插值。 434-448
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SteigmillerGL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SteigmillerGL14
安德烈亚斯·斯特格米勒,伯特·格利姆,托尔斯滕·利比希:
表达描述逻辑的表au算法与基于完备性的饱和过程耦合。 449-463
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MartinezFGHH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MartinezFGHH14
大卫·卡拉尔,克里斯蒂娜·费尔,Bernardo Cuenca Grau公司,帕斯卡·希茨勒,伊恩·霍洛克斯:
EL公司-认识本体论。 464-479

知识表示与推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CeylanP14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CeylanP14
伊斯梅尔·伊尔坎·塞兰,拉斐尔·佩尼亚洛萨:
贝叶斯描述逻辑${\mathcal{BEL}}$。 480-494
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BeesonW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BeesonW14
迈克尔·比森,拉里·沃斯:
塔尔斯基几何中的OTTER证明。 495-510
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/OlivettiP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/OlivettiP14
尼古拉·奥利维蒂,吉安·卢卡·波扎托:
NESCOND：条件逻辑嵌套序列演算的一种实现。 511-518
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PeaseS14号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PeaseS14
亚当·皮斯,斯蒂芬·舒尔茨:
基于Sigma KEE 3.0的大型本体知识工程。 519-525

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入才能让他们活跃起来。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。