掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
召开年:
2017
召开地:
Brasilia(BR)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Goal-Sensitive Reasoning with Disconnection Tableaux
机译:
断开表的目标敏感推理
作者:
Lee A. Barnett
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
关键词:
Theorem proving;
Instance-based methods;
Goal-sensitivity;
2.
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints
机译:
具有PCTL *约束的MDP策略综合的Tableaux
作者:
Peter Baumgartner
;
Sylvie Thiebaux
;
Felipe Trevizan
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
3.
Minimisation of ATL~* Models
机译:
最小化ATL〜*模型
作者:
Serenella Cerrito
;
Amelie David
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
关键词:
Alternating-time temporal logic;
Bisimulation;
Model minimization;
Tableaux;
4.
Non-clausal Connection Calculi for Non-classical Logics
机译:
非经典逻辑的非子句连接计算
作者:
Jens Otten
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
5.
Rule Refinement for Semantic Tableau Calculi
机译:
语义Tableau计算的规则细化
作者:
Dmitry Tishkovsky
;
Renate A. Schmidt
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
6.
Completeness for Ancestral Logic via a Computationally-Meaningful Semantics
机译:
通过计算意义语义的祖先逻辑的完整性
作者:
Liron Cohen
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
7.
A Cut-Free Cyclic Proof System for Kleene Algebra
机译:
Kleene代数的无割循环证明系统
作者:
Anupam Das
;
Damien Pous
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
8.
Integrating a Global Induction Mechanism into a Sequent Calculus
机译:
将全局归纳机制集成到后续演算中
作者:
David M. Cerna
;
Michael Lettmann
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
9.
Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent
机译:
循环证明中的可实现性:提取无限下降的订购信息
作者:
Reuben N.S. Rowe
;
James Brotherston
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
关键词:
Approximation semantics;
Cyclic proof;
Entailment;
Inductive predicates;
Infinite descent;
Realizability;
Sequent calculus;
Weighted automata;
10.
Cyclic Proofs with Ordering Constraints
机译:
具有订购约束的循环证明
作者:
Sorin Stratulat
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
11.
A Mechanizable First-Order Theory of Ordinals
机译:
序数的可机械化一阶理论
作者:
Peter H. Schmitt
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
12.
Issues in Machine-Checking the Decidability of Implicational Ticket Entailment
机译:
机器检查蕴含票证确定性的问题
作者:
Jeremy E. Dawson
;
Rajeev Gore
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
13.
Parameterized Provability in Equational Logic
机译:
方程逻辑中的参数可证明性
作者:
Mateus de Oliveira Oliveira
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
14.
Preface
机译:
前言
作者:
Claudia Nalon
;
Renate A. Schmidt
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
15.
A Vision for Automated Deduction Rooted in the Connection Method
机译:
连接方法中自动演绎的愿景
作者:
Wolfgang Bibel
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
关键词:
Automated deduction;
Automated theorem proving;
Connection method;
leanCoP;
Logic;
Learning;
16.
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
机译:
并发编程语言的局部抽象,全局具体语义
作者:
Crystal Chang Din
;
Reiner Haehnle
;
Einar Broch Johnsen
;
Ka I Pun
;
Silvia Lizeth Tapia Tarifa
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
17.
On the Decidability of Certain Semi-Lattice Based Modal Logics
机译:
关于某些基于半格的模态逻辑的可判定性
作者:
Katalin Bimbo
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
关键词:
Sequent calculi Modal logic Decidability Relevance logic Heap number Semi-lattice based logic;
18.
Cut-Admissibility as a Corollary of the Subformula Property
机译:
切入式作为子公式属性的必然结果
作者:
Ori Lahav
;
Yoni Zohar
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
19.
Proof Theory for Indexed Nested Sequents
机译:
索引嵌套序列的证明理论
作者:
Sonia Marin
;
Lutz Straßburger
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
20.
Interpreting Sequent Calculi as Client-Server Games
机译:
将后续演算解释为客户端-服务器游戏
作者:
Christian G. Fermueller
;
Timo Lang
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
关键词:
Game semantics;
Resource interpretation;
Linear logic;
21.
A Forward Unprovability Calculus for Intuitionistic Propositional Logic
机译:
直觉命题逻辑的正不可证明性演算
作者:
Camillo Fiorentini
;
Mauro Ferrari
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
22.
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity
机译:
具有均匀性和反身性的Lewis条件逻辑的超继计算
作者:
Marianna Girlando
;
Bjoern Lellmann
;
Nicola Olivetti
;
Gian Luca Pozzato
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
23.
VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning
机译:
VINTE:刘易斯反事实推理逻辑内部计算的实现
作者:
Marianna Girlando
;
Bjoern Lellmann
;
Nicola Olivetti
;
Gian Luca Pozzato
;
Quentin Vitalis
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2017年
24.
The Neighbourhood of S0.9 and S1
机译:
S0.9和S1的邻居
作者:
Roderic A. Girle
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
25.
Tableaux with Dynamic Filtration for Layered Modal Logics
机译:
Tableaux具有用于分层模态逻辑的动态过滤
作者:
Olivier Gasquet
;
Bilal Said
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
关键词:
Layered Modal Logic;
Tableau;
Dynamic Filtration;
Complexity;
Satisfaction problem;
26.
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
机译:
Cableau系统,用于密集排序的子宫间结构逻辑
作者:
Davide Bresolin
;
Valentin Goranko
;
Angelo Montanari
;
Pietro Sala
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
27.
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
机译:
KLMLean 2.0:非单调推理的KLM逻辑的定理报告
作者:
Laura Giordano
;
Valentina Gliozzi
;
Gian Luca Pozzato
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
28.
Tableaux with Dynamic Filtration for Layered Modal Logics
机译:
Tableaux具有用于分层模态逻辑的动态过滤
作者:
Olivier Gasquet
;
Bilal Said
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
关键词:
Layered Modal Logic;
Tableau;
Dynamic Filtration;
Complexity;
Satisfaction problem;
29.
Improvements to the Tableau Prover PITP
机译:
改善Tableau Prover Pitp
作者:
Alessandro Avellone
;
Guido Fiorino
;
Ugo Moscato
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
30.
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
机译:
双直觉逻辑的无缺陷序列微积分
作者:
Linda Buisman
;
Rajeev Goré
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
31.
Proof Theory for First Order ?ukasiewicz Logic
机译:
证明理论为一阶?Lukasiewicz逻辑
作者:
Matthias Baaz
;
George Metcalfe
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
32.
A Bottom-Up Approach to Clausal Tableaux
机译:
对氏菌蛋白的自下而上的方法
作者:
Nicolas Peltier
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
33.
Bounded Model Checking with Description Logic Reasoning
机译:
有界模型检查与描述逻辑推理
作者:
Shoham Ben-David
;
Richard Trefler
;
Grant Weddell
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
34.
Tree-Sequent Methods for Subintuitionistic Predicate Logics
机译:
细则谓词逻辑的树顺序方法
作者:
Ryo Ishigaki
;
Kentaro Kikuchi
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
35.
Updating Reduced Implicate Tries
机译:
更新减少暗示尝试
作者:
Neil V. Murray
;
Erik Rosenthal
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
36.
A Tableau Method for Public Announcement Logics
机译:
公共公告逻辑的Tableau方法
作者:
Philippe Balbiani
;
Hans van Ditmarsch
;
Andreas Herzig
;
Tiago de Lima
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
37.
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
机译:
双直觉逻辑的无缺陷序列微积分
作者:
Linda Buisman
;
Rajeev Gore
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
38.
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
机译:
EXPTIME TABLEAUX具有全局缓存的描述逻辑,具有传递竞争逻辑,逆角色和角色层次结构
作者:
Rajeev Goré
;
Linh Anh Nguyen
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
39.
Axiom Pinpointing in General Tableaux
机译:
Axiom在一般的表格中精确定位
作者:
Franz Baader
;
Rafael Pe?aloza
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
40.
Bounded Model Checking with Description Logic Reasoning
机译:
有界模型检查与描述逻辑推理
作者:
Shoham Ben-David
;
Richard Trefler
;
Grant Weddell
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
41.
Updating Reduced Implicate Tries
机译:
更新减少暗示尝试
作者:
Neil V. Murray
;
Erik Rosenthal
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
42.
A Tableau Method for Public Announcement Logics
机译:
公共公告逻辑的Tableau方法
作者:
Philippe Balbiani
;
Hans van Ditmarsch
;
Andreas Herzig
;
Tiago de Lima
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
43.
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
机译:
EXPTIME TABLEAUX具有全局缓存的描述逻辑,具有传递竞争逻辑,逆角色和角色层次结构
作者:
Rajeev Gore
;
Linh Anh Nguyen
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
44.
Nonmonotonic Description Logics – Requirements, Theory, and Implementations
机译:
非单调描述逻辑 - 要求,理论和实现
作者:
Piero A. Bonatti
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
45.
A Bottom-Up Approach to Clausal Tableaux
机译:
对氏菌蛋白的自下而上的方法
作者:
Nicolas Peltier
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
46.
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
机译:
基于Bilattice的逻辑和许多排序表示的搜索结石
作者:
Ekaterina Komendantskaya
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
47.
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
机译:
基于Bilattice的逻辑和许多排序表示的搜索结石
作者:
Ekaterina Komendantskaya
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
48.
Our Quest for the Holy Grail of Agent Verification
机译:
我们寻求代理验证的圣杯
作者:
John-Jules Ch. Meyer
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
49.
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
机译:
Cableau系统,用于密集排序的子宫间结构逻辑
作者:
Davide Bresolin
;
Valentin Goranko
;
Angelo Montanari
;
Pietro Sala
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
50.
Proof Theory for First Order Lukasiewicz Logic
机译:
证明理论LukasiewICZ逻辑
作者:
Matthias Baaz
;
George Metcalfe
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
51.
Tree-Sequent Methods for Subintuitionistic Predicate Logics
机译:
细则谓词逻辑的树顺序方法
作者:
Ryo Ishigaki
;
Kentaro Kikuchi
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
52.
Improvements to the Tableau Prover PITP
机译:
改善Tableau Prover Pitp
作者:
Alessandro Avellone
;
Guido Fiorino
;
Ugo Moscato
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
53.
Axiom Pinpointing in General Tableaux
机译:
Axiom在一般的表格中精确定位
作者:
Franz Baader
;
Rafael Penaloza
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
54.
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
机译:
KLMLean 2.0:非单调推理的KLM逻辑的定理报告
作者:
Laura Giordano
;
Valentina Gliozzi
;
Gian Luca Pozzato
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
55.
Our Quest for the Holy Grail of Agent Verification
机译:
我们寻求代理验证的圣杯
作者:
John-Jules Ch. Meyer
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
56.
The Neighbourhood of S0.9 and S1
机译:
S0.9和S1的邻居
作者:
Roderic A. Girle
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
关键词:
S0.9;
S1;
Model-set semantics;
Tableaux;
Interpretation;
57.
Differential Dynamic Logic for Verifying Parametric Hybrid Systems
机译:
用于验证参数混合系统的差分动态逻辑
作者:
Andre Platzer
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
关键词:
Dynamic logic;
Sequent calculus;
Verification of parametric hybrid systems;
Quantifier elimination;
58.
Proof Theory for First Order Lukasiewicz Logic
机译:
证明理论LukasiewICZ逻辑
作者:
Matthias Baaz
;
George Metcalfe
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
59.
An Abstract Framework for Satisfiability Modulo Theories
机译:
满足性模动力理论的抽象框架
作者:
Cesare Tinelli
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
60.
Differential Dynamic Logic for Verifying Parametric Hybrid Systems
机译:
用于验证参数混合系统的差分动态逻辑
作者:
André Platzer
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2007年
关键词:
dynamic logic;
sequent calculus;
verification of parametric hybrid systems;
quantifier elimination;
61.
Sound Global State Caching for ALC with Inverse Roles
机译:
具有逆角色的ALC的声音全球状态缓存
作者:
Rajeev Gore
;
Florian Widmann
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
62.
A Tableau-Based System for Spatial Reasoning about Directional Relations
机译:
基于Tableau的空间推理系统的方向关系
作者:
Davide Bresolin
;
Angelo Montanari
;
Pietro Sala
;
Guido Sciavicco
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
63.
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
机译:
终止具有全球模型和角色层次结构的分级混合逻辑的TableEaux
作者:
Mark Kaminski
;
Sigurd Schneider
;
Gert Smolka
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
64.
A Novel Architecture for Situation Awareness Systems
机译:
一种情况意识系统的新建筑
作者:
Franz Baader
;
Andreas Bauer
;
Peter Baumgartner
;
Anne Cregan
;
Alfredo Gabaldon
;
Krystian Ji
;
Kevin Lee
;
David Rajaratnam
;
Rolf Schwitter
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
65.
Prime Implicate Tries
机译:
Prime暗示尝试
作者:
Andrew Matusiewicz
;
Neil V. Murray
;
Erik Rosenthal
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
66.
A Schemata Calculus for Propositional Logic
机译:
命题逻辑的模式微积分
作者:
Vincent Aravantinos
;
Ricardo Caferra
;
Nicolas Peltier
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
67.
Terminating Tableaux for the Basic Fragment of Simple Type Theory
机译:
终止表格的简单类型理论的基本片段
作者:
Chad E. Brown
;
Gert Smolka
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
68.
Automated Synthesis of Tableau Calculi
机译:
Tableau Calculi的自动合成
作者:
Renate A. Schmidt
;
Dmitry Tishkovsky
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
69.
Presenting Constraints
机译:
提出限制
作者:
Peter Jeavons
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
70.
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference
机译:
驯服使用具有深度推理的嵌套的顺序显示时态逻辑
作者:
Rajeev Gore
;
Linda Postniece
;
Alwen Tiu
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
71.
A Tableau System for the Modal μ-Calculus
机译:
用于模态μ-微积分的Tableau系统
作者:
Natthapong Jungteerapanich
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
72.
Tableaux and Model Checking for Memory Logics
机译:
表格和模型检查内存逻辑
作者:
Carlos Areces
;
Diego Figueira
;
Daniel Gorin
;
Sergio Mera
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
73.
Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions
机译:
逻辑多项选择题设计支持系统中的绑架和后果
作者:
Marta Cialdea Mayer
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
74.
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
机译:
用标记顺序的双直觉命题逻辑证明搜索和反模型构造
作者:
Luis Pinto
;
Tarmo Uustalu
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
75.
Tableaux for Projection Computation and Knowledge Compilation
机译:
投影计算和知识汇编的表格
作者:
Christoph Wernhard
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
76.
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories
机译:
用于模型检查模型理论的目标定向不变合成
作者:
Silvio Ghilardi
;
Silvio Ranise
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
77.
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
机译:
使用固定点标记的微积分的优先线性时间的可解除性
作者:
Bianca Boretti
;
Sara Negri
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
78.
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
机译:
比较概念相似性在明显:公理化和Tableaux微积分
作者:
Regis Alenda
;
Nicola Olivetti
;
Camilla Schwind
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
79.
Modular Sequent Systems for Modal Logic
机译:
模块化逻辑逻辑系统
作者:
Kai Brunnler
;
Lutz Strassburger
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
80.
Proof Systems for a Godel Modal Logic
机译:
授权模态逻辑的证明系统
作者:
George Metcalfe
;
Nicola Olivetti
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
81.
Generic Modal Cut Elimination Applied to Conditional Logics
机译:
通用模态剪切消除适用于条件逻辑
作者:
Dirk Pattinson
;
Lutz Schroder
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
82.
Canonical Constructive Systems
机译:
规范建设系统
作者:
Arnon Avron
;
Ori Lahav
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
83.
On the Proof Theory of Regular Fixed Points
机译:
关于普通固定点的证明理论
作者:
David Baelde
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2009年
84.
On Interpolation in Decision Procedures
机译:
关于决策程序的插值
作者:
Maria Paola Bonacina
;
Moa Johansson
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
85.
Cut Elimination for Shallow Modal Logics
机译:
浅模浅模态逻辑消除
作者:
Bjorn Lellmann
;
Dirk Pattinson
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
86.
A Hypersequent System for Godel-Dummett Logic with Non-constant Domains
机译:
具有非恒定域的Godel-Dummett逻辑的高度等效系统
作者:
Alwen Tiu
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
87.
Kripke Semantics for Basic Sequent Systems
机译:
基本搜索系统的Kripke语义
作者:
Arnon Avron
;
Ori Lahav
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
88.
The Modal μ-Calculus Caught Off Guard
机译:
模态μ-微积分消除了守卫
作者:
Oliver Friedmann
;
Martin Lange
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
89.
Basic Constructive Connectives, Determinism and Matrix-Based Semantics
机译:
基于基本建设性的联系,确定主义和基于矩阵的语义
作者:
Agata Ciabattoni
;
Ori Lahav
;
Anna Zamansky
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
90.
A Tableau Calculus for a Nonmonotonic Extension of εL~⊥
机译:
εl〜⊥非单调延伸的Tableau微积分
作者:
Laura Giordano
;
Valentina Gliozzi
;
Nicola Olivetti
;
Gian Luca Pozzato
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
91.
Craig Interpolation in Displayable Logics
机译:
可显示逻辑中的Craig插值
作者:
James Brotherston
;
Rajeev Gore
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
92.
First-Order Tableaux in Applications (Extended Abstract)
机译:
应用中的一阶TableAux(扩展摘要)
作者:
Ulrich Furbach
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
93.
METTEL: A Tableau Prover with Logic-Independent Inference Engine
机译:
Mettel:带有逻辑依赖性推断引擎的Tableau箴言
作者:
Dmitry Tishkovsky
;
Renate A. Schmidt
;
Mohammad Khodadadi
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
94.
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
机译:
一种基于Tableaux的杂交配方与粘合剂的决策程序
作者:
Serenella Cerrito
;
Marta Cialdea Mayer
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
95.
MaLeCoP Machine Learning Connection Prover
机译:
MALECOP机器学习连接箴言
作者:
Josef Urban
;
Jiri Vyskocil
;
Petr Stepanek
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
96.
Schemata of SMT-Problems
机译:
SMT问题的图
作者:
Vincent Aravantinos
;
Nicolas Peltier
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
97.
Proof Theory and Algebra in Substructural Logics
机译:
校正理论与代数在副结构逻辑中
作者:
Kazushige Terui
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
98.
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders
机译:
所有,密集和离散线性订单的命题邻域逻辑最佳的Tableau系统
作者:
Davide Bresolin
;
Angelo Montanari
;
Pietro Sala
;
Guido Sciavicco
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
99.
On the Proof Complexity of Cut-Free Bounded Deep Inference
机译:
关于无缺陷界深入推理的证明复杂性
作者:
Anupam Das
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
100.
Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics
机译:
模态和混合逻辑的Pratt风格决策程序的正确性和最坏情况
作者:
Mark Kaminski
;
Thomas Schneider
;
Gert Smolka
会议名称:
《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》
|
2011年
意见反馈
回到顶部
回到首页