停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

乌尔里希·赫斯塔特

>主页 >珀森斯

人员信息

附属： 英国利物浦大学
隶属关系（前）： 马克斯·普朗克信息学研究所，德国萨尔布吕肯

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[第52条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Nalon水电站23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NalonHPD23
科劳迪亚·纳隆,乌尔里希·赫斯塔特,法比奥·帕帕奇尼,克莱尔·狄克逊:
买一送14：评估模态逻辑的局部约简。 CADE公司 2023:382-400
2022
[公元23年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/罐子/木瓜NHD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/PapacchiniNHD22
法比奥·帕帕奇尼,科劳迪亚·纳隆,乌尔里希·赫斯塔特,克莱尔·狄克逊:
局部是最好的：模态逻辑K的有效约简。 J.汽车。原因。 66(4):639-666(2022)
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/罐子/木瓜NHD22a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/PapacchiniNHD22a
法比奥·帕帕奇尼,科劳迪亚·纳隆,乌尔里希·赫斯塔特,克莱尔·狄克逊:
修正为：局部是最好的：模态逻辑K的有效约简。 J.汽车。原因。 66(4):1099(2022)
[第51条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Nalon水电站22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NalonHPD22
克劳迪娅·纳隆,乌尔里希·赫斯塔特,法比奥·帕帕奇尼,克莱尔·狄克逊:
模态立方体的局部约简。国际JCAR 2022:486-505
2021
[公元50年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PapachiniNHD21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PapacchiniNHD21
法比奥·帕帕奇尼,科劳迪亚·纳隆,乌尔里希·赫斯塔特,克莱尔·狄克逊:
基本模态逻辑的有效局部约简。 CADE公司 2021:76-92
2020
[公元21年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/GainerLDHF20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/GainerLDHF20
保罗·盖纳,斯文·林克尔,克莱尔·狄克逊,乌尔里希·赫斯塔特,迈克尔·菲希尔:
分布式同步的多尺度验证。形式方法系统。设计。 55(三):171-221(2020)
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/NalonHD20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/NalonHD20
科劳迪亚·纳隆,乌尔里希·赫斯塔特,克莱尔·狄克逊:
平方英尺K_n个：架构、改进、策略和实验。 J.汽车。原因。 64(三):461-484(2020)
[公元19年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/HustadtOD20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/HustadtOD20
乌尔里希·赫斯塔特,安娜·奥扎基,克莱尔·狄克逊:
自然域上点态度量时序逻辑的平移定理证明。 J.汽车。原因。 64(8):1553-1610(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/NalonDH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/NalonDH19
科劳迪亚·纳隆,克莱尔·狄克逊,乌尔里希·赫斯塔特:
模态分辨率：验证、分层和优化。 ACM事务处理。计算。日志。 20(4):23:1-23:38(2019)
2018
[公元49年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/HustatND18会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HustadtND18
乌尔里希·赫斯塔特,科劳迪亚·纳隆,克莱尔·狄克逊:
时态逻辑分离范式的预处理技术评估。 FLoC的PAAR 2018:34-48
[公元48年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/GainerLDH018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/GainerLDH018
保罗·盖纳,斯文·林克尔,克莱尔·狄克逊,乌尔里希·赫斯塔特,迈克尔·菲希尔:
同步的功率：脉冲耦合振荡器网络功耗的形式化分析。 ICFEM公司 2018:160-176
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1809-10655
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-10655
保罗·盖纳,斯文·林克尔,克莱尔·狄克逊,乌尔里希·赫斯塔特,迈克尔·菲希尔:
分布式同步的多尺度验证。 CoRR公司 abs/1809.10655(2018)
2017
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HustadtOD17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HustadtOD17
乌尔里希·赫斯塔特,安娜·奥扎基,克莱尔·狄克逊:
自然上度量时间逻辑的定理证明。 CADE公司 2017:326-343
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/GainerDDFHSW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/GainerDDFHSW17
保罗·盖纳,克莱尔·狄克逊,滕哈恩,迈克尔·菲希尔,乌尔里希·赫斯塔特,乔·桑德斯,马特·韦伯斯特:
CRutoN：自动验证机器人助手的行为。 FMICS-AVoCS 2017:119-133
[公元45年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcai/NalonHD17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/NalonHD17
科劳迪亚·纳隆,乌尔里希·赫斯塔特,克莱尔·迪克森:
KSP：基于分辨率的多模态K检验仪，简略报告。国际JCAI 2017:4919-4923
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/GainerLDHF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/GainerLDHF17
保罗·盖纳,斯文·林克尔,克莱尔·狄克逊,乌尔里希·赫斯塔特,迈克尔·菲希尔:
使用定量模型检查研究参数对离散同步协议的影响。 QEST公司 2017:224-239
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-04385
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-04385
保罗·盖纳,斯文·林克尔,克莱尔·狄克逊,乌尔里希·赫斯塔特,迈克尔·菲希尔:
同步功率：脉冲耦合振荡器网络功耗的形式化分析。 CoRR公司 abs/1709.04385(2017)
2016
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NalonHD16会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NalonHD16
科劳迪亚·纳隆,乌尔里希·赫斯塔特,克莱尔·狄克逊:
：基于分辨率的多模K校准仪。国际JCAR 2016:406-415
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/taros/GainerDH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/taros/GainerDH16
保罗·盖纳,克莱尔·狄克逊,乌尔里希·赫斯塔特:
基于蚂蚁的无位置群集的概率模型检验。塔罗斯 2016:127-138
2015
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/HustadtGDNZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/HustadtGDNZ15
乌尔里希·赫斯塔特,保罗·盖纳,克莱尔·狄克逊,克劳迪娅·纳隆,张澜（Lan Zhang）:
联盟逻辑的有序解决方案。 TABLEAUX公司 2015:169-184
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/NalonHD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/NalonHD15
科劳迪亚·纳隆,乌尔里希·赫斯塔特,克莱尔·狄克逊:
K的模态层分解演算。表格 2015:185-200
2014
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/NalonZDH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/NalonZDH14
科劳迪亚·纳隆,张澜（Lan Zhang）,克莱尔·迪克森,乌尔里希·赫斯塔特:
联盟逻辑的基于解析的演算。 J.日志。计算。 24(4):883-917(2014)
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/ZhangHD14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/ShangHD14
张澜（Lan Zhang）,乌尔里希·赫斯塔特,克莱尔·狄克逊:
分支时间时序逻辑CTL的分解演算。 ACM事务处理。计算。日志。 15(1):10:1-10:38(2014)
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/NalonZDH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/NalonZDH14（网址：https://dblp.org/rec/journals/corr/NalonZDH14）
科劳迪亚·纳隆,张澜（Lan Zhang）,克莱尔·狄克逊,乌尔里希·赫斯塔特:
联盟逻辑的解决方案证明。 SR公司 2014:65-73
2013
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/SchmidtH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/SchmidtH13
雷娜特·施密特,乌尔里希·赫斯塔特:
模态逻辑的一阶解析方法。编程逻辑 2013:345-391
2010
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aicom/LudwigH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aicom/LudwigH10
米歇尔·路德维希,乌尔里希·赫斯塔特:
实现公平的一元时序逻辑证明程序。 AI通讯。 23(2-3):69-96(2010)
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aicom/张HD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aicom/ShangHD10
张澜（Lan Zhang）,乌尔里希·赫斯塔特,克莱尔·狄克逊:
CTL-RP：一个计算树逻辑解析证明程序。 AI通讯。 23(2-3):111-136(2010)
[公元37年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HustadtS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HustadtS10
乌尔里希·赫斯塔特,雷娜特·施密特:
命题动态逻辑求解器的比较。 IJCAR的PAAR 2010:63-73

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/amai/RaniseH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/amai/RaniseH09
西尔维奥·兰伊斯,乌尔里希·赫斯塔特:
前言。安。数学。Artif公司。智力。 55(1-2):1-2(2009)
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/张HD09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ShangHD09
张澜（Lan Zhang）,乌尔里希·赫斯塔特,克莱尔·狄克逊:
CTL的精细分辨率微积分。 CADE公司 2009:245-260
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LudwigH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LudwigH09
米歇尔·路德维希,乌尔里希·赫斯塔特:
一元时间推理中的公平推导。 CADE公司 2009:261-276
[公元34年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ftp/路德维希H09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ftp/LudwigH09
米歇尔·路德维希,乌尔里希·赫斯塔特:
一元时间推理中的冗余消除。文件传输协议 2009
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/time/LudwigH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/time/LudwigH09
米歇尔·路德维希,乌尔里希·赫斯塔特:
PLTL基于分辨率的模型构建。时间 2009:73-80
2008
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/HustadtMS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/HustadtMS08
Ullrich Hustadt公司,鲍里斯·莫提克,乌尔里克·萨特勒:
在解析框架中确定表达性描述逻辑。 Inf.计算。 206(5):579-601(2008)
2007
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/HustadtMS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/HustadtMS07
乌尔里希·赫斯塔特,鲍里斯·莫提克,乌尔里克·萨特勒:
通过分离数据日志简化描述逻辑中的推理。 J.汽车。原因。 39(三):351-384(2007)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/SchmidtH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/SchmidtH07
雷娜特·施密特,乌尔里希·赫斯塔特:
模态逻辑的公理化翻译原则。 ACM事务处理。计算。日志。 8(4):19(2007)
[第3页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/el/07/霍克斯HSS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/el/07/HorrocksHSS07
伊恩·霍洛克斯,乌尔里希·赫斯塔特,乌尔里克·萨特勒,雷娜特·施密特:
计算模态逻辑。模态逻辑手册 2007:181-245
2006
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/HustadtTTWZ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/HustadtTTWZ06
乌尔里希·赫斯塔特,德米特里·蒂什科夫斯基,弗兰克·沃尔特,迈克尔·扎克哈里亚舍夫:
关于度量和拓扑的自动推理。杰莉亚 2006:490-493
2005
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/KonevDDFH05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/KonevDDFH05
波利斯·寇涅夫,安纳托利·德吉亚列夫,克莱尔·狄克逊,迈克尔·菲希尔,Ullrich Hustadt公司:
机械化一阶时间分辨率。 Inf.计算。 199(1-2):55-86(2005)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Fernandez-GagoHDFK05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Fernandez-GagoHDFK05
卡门·费尔南德斯·加戈,乌尔里希·赫斯塔特,克莱尔·迪克森,迈克尔·菲希尔,波利斯·寇涅夫:
实践中的一阶时间验证。 J.汽车。原因。 34(三):295-321(2005)
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HustatKS05会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HustadtKS05
乌尔里希·赫斯塔特,波利斯·寇涅夫,雷纳特·A·施密特:
通过时间分辨率确定单子片段。 CADE公司 2005:204-218
[公元30年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/HustadtM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/HustadtM05
乌尔里希·赫斯塔特,鲍里斯·莫提克:
描述逻辑和析取数据日志-到目前为止的故事。描述逻辑 2005
[公元29年]
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/HustadtMS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/HustadtMS05
乌尔里希·赫斯塔特,鲍里斯·莫提克,乌尔里克·萨特勒:
非常表达描述逻辑中推理的数据复杂性。国际JCAI 2005:466-471
2004
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sLogica/SchmidtTH04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/Logica/SchmidtTH04
雷娜特·施密特,德米特里·蒂什科夫斯基,乌尔里希·赫斯塔特:
Agent动态逻辑中知识、行动和承诺之间的交互。 Stud Logica公司 78(三):381-415(2004)
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HustadtKRV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HustadtKRV04
乌尔里希·赫斯塔特,波利斯·寇涅夫,亚历山大·里扎诺夫,安德烈·沃伦科夫:
TeMP：一个时间单字验证程序。国际JCAR 2004:326-330
[公元27年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ecai/HustadtMS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecai/HustadtMS04
乌尔里希·赫斯塔特,鲍里斯·莫提克,乌尔里克·萨特勒:
解析框架下具体领域的描述逻辑推理。 ECAI公司 2004:353-357
[公元26年]
- 看法
  - 电子版@aaai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/kr/HustadtMS04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/HustadtMS04
乌尔里希·赫斯塔特,鲍里斯·莫提克,乌尔里克·萨特勒:
将SHIQ描述逻辑简化为析取数据日志程序。韩国 2004:152-162
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HustadtMS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HustadtMS04
乌尔里希·赫斯塔特,鲍里斯·莫提克,乌尔里克·萨特勒:
基于解析的微积分决策过程的分解规则。 LPAR公司 2004:21-35
2003
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/GeorgievaHS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/GeorgievaHS03
莉莉亚·乔治亚娃,乌尔里希·赫斯塔特,雷娜特·施密特:
保护公式的超分辨率。 J.塞姆。计算。 36(1-2):163-192(2003)
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/RelMiCS/GorankoHSV03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/RelMiCS/GorankoHSV03
瓦伦丁·戈兰科,乌尔里希·赫斯塔特,雷娜特·施密特,迪米特·瓦卡列洛夫:
所有Sahlqvist公式的SCAN均已完成。 RelMiCS公司 2003:149-162
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/RelMiCS/SchmidtOH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/RelMiCS/SchmidtOH03网站
雷娜特·施密特,埃瓦·奥洛夫斯卡,乌尔里希·赫斯塔特:
皮尔士代数的两个证明系统。 RelMiCS公司 2003:238-251
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HustadtK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HustadtK03
乌尔里希·赫斯塔特,波利斯·寇涅夫:
TRP++2.0：时间分辨率校准器。 CADE公司 2003:274-278
[c21]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SchmidtH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SchmidtH03
雷纳特·A·施密特,乌尔里希·赫斯塔特:
将公理纳入模态公式的一阶翻译的原则。 CADE公司 2003:412-426
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/time/KonevDDFH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/time/KonevDDFH03
波利斯·寇涅夫,安纳托利·德吉亚列夫,克莱尔·狄克逊,迈克尔·菲希尔,Ullrich Hustadt公司:
朝向实现一阶时间分辨率：扩展域案例。时间 2003:72-82
[第2页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/RelMiCS/SchmidtH03配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/RelMiCS/SchmidtH03
雷娜特·施密特,乌尔里希·赫斯塔特:
扩展模态逻辑的机械化推理和模型生成。关系结构作为知识工具的理论与应用 2003:38-67
2002
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/航空/BennettDFHFHR02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/air/BennettDFHFHR02
布兰登·贝内特,克莱尔·狄克逊,迈克尔·菲希尔,乌尔里希·赫斯塔特,恩里科·弗兰科尼,伊恩·霍罗克斯,马尔滕·德·里杰克:
模态逻辑的组合。 Artif公司。智力。版次。 17(1):1-20(2002)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/HustadtS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/HustadtS02
乌尔里希·赫斯塔特,雷娜特·施密特:
使用分辨率测试模态可满足性和构建模型。 J.汽车。原因。 28(2):205-232(2002)
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GeorgievaHS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GeorgievaHS02
莉莉亚·乔治亚娃,乌尔里希·赫斯塔特,雷娜特·施密特:
一个新的可由超分辨率决定的子句类。 CADE公司 2002:260-274
[第18条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/GeorgievaHS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/GeorgievaHS02
莉莉亚·乔治亚娃,乌尔里希·赫斯塔特,雷娜特·施密特:
关于可判定片段、非经典逻辑和描述逻辑之间的关系。描述逻辑 2002
[第17条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/kr/HustadtS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/HustadtS02
Ullrich Hustadt公司,雷娜特·施密特:
时间逻辑决策程序的科学标杆管理。韩国 2002:533-546
2001
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jolli/Hustadt01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jolli/Hustadt01
乌尔里希·赫斯塔特:
时间逻辑：数学基础和计算方面，第2卷，Dov M.Gabbay、Mark A.Reynolds和Marcelo Finger。 J.日志。语言信息。 10(三):406-410(2001)
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/GeorgievaHS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/GeorgievaHS01
莉莉亚·乔治亚娃,乌尔里希·赫斯塔特,雷娜特·施密特:
Guarded公式的计算空间效率和最小模型生成。 LPAR公司 2001:85-99
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/time/HustadtDSFMH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/time/HustadtDSFMH01
乌尔里希·赫斯塔特,克莱尔·迪克森,雷娜特·施密特,迈克尔·菲希尔,约翰·朱尔斯·查·梅耶,威比·范德霍克:
在KARO框架中推理代理。时间 2001:206-213
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/el/RV01/FurmullerLHT01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/el/RV01/FurmullerLHT01
克里斯蒂安·弗缪勒（Christian G.Fermüller）,亚历山大·莱奇,乌尔里希·赫斯塔特,塔内尔·塔米特:
决议决策程序。自动推理手册 2001:1791-1849
2000
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/HustadtNS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/HustadtNS00
Ullrich Hustadt公司,汉斯·德尼维尔,雷娜特·施密特:
模态逻辑的基于分辨率的方法。日志。J.IGPL公司 8(三):265-292(2000)
[第14条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/arw/GeorgievaHS00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arw/GeorgievaHS00网址
莉莉亚·乔治亚娃,乌尔里希·赫斯塔特,雷娜特·施密特:
保护公式的超分辨率。 ARW公司 2000
[第13条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/arw/Hustadt00文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arw/Hustadt00
乌尔里希·赫斯塔特:
模态逻辑与时序逻辑相结合的实用证明方法。 ARW公司 2000
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SchmidtH00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SchmidtH00
雷娜特·施密特,乌尔里希·赫斯塔特:
凹槽逻辑的解析决策过程。 CADE公司 2000:433-448
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/faabs/HustadtDSFMH00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/faabs/HustadtDSFMH00
乌尔里希·赫斯塔特,克莱尔·狄克逊,雷娜特·施密特,迈克尔·菲希尔,约翰·朱尔斯·查·梅耶,威比·范德霍克:
KARO Agent理论中的验证。联邦航空防务局 2000:33-47
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/HustadtDSF00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/HustadtDSF00
乌尔里希·赫斯塔特,克莱尔·狄克逊,雷纳特·A·施密特,迈克尔·菲希尔:
模态与时间组合逻辑中的范式与证明。 FroCoS公司 2000:73-87
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/HustadtS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/HustadtS00
乌尔里希·赫斯塔特,雷娜特·施密特:
MSPASS：通过翻译和一阶分辨率进行模态推理。 TABLEAUX公司 2000:67-71

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/dnb/Hustadt99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/dnb/Hustadt99
乌尔里希·赫斯塔特:
一阶逻辑子类的基于分辨率的决策过程。德国萨尔布吕肯萨尔州大学，1999，第1-180页
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jancl/HustatS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jancl/HustadtS99
乌尔里希·赫斯塔特,雷娜特·施密特:
模态定理证明器的实证分析。 J.应用。非班级。逻辑 9(4):479-522(1999)
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HustadtS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HustadtS99
乌尔里希·赫斯塔特,雷娜特·施密特:
重温马斯洛夫的K级课程。 CADE公司 1999:172-186
[c7]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/HustatSW99文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/HustadtSW99
乌尔里希·赫斯塔特,雷娜特·施密特,克里斯托夫·魏登巴赫:
MSPASS：使用SPASS进行沉没测试。描述逻辑 1999
【c6】
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/HustadtS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/HustadtS99
乌尔里希·赫斯塔特,雷纳特·A·施密特:
描述逻辑的分解与表证明系统的关系。国际JCAI 1999:110-117
1998
【c5】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aiml/GanzingerHMS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiml/GanzingerHMS98
哈拉尔德·甘津格,Ullrich Hustadt公司,克里斯托弗·迈耶,雷娜特·施密特:
K4延期的基于决议的决策程序。模态逻辑的进展 1998:225-246
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ftp/HustadtS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ftp/HustadtS98
乌尔里希·赫斯塔特,雷纳特·A·施密特:
解决框架中描述逻辑的可决定性问题。 FTP（LNCS选择） 1998:191-205
[c3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/HustadtS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/HustadtS98
乌尔里希·赫斯塔特,雷娜特·施密特:
模态表中的简化和回跳。 TABLEAUX公司 1998:187-201
1997
[c2]
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/HustadtS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/HustadtS97
乌尔里希·赫斯塔特,雷娜特·施密特:
模态逻辑决策过程评价。国际JCAI（1） 1997:202-209
1994
【c1】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/krdb/Hustadt94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/krdb/Hustadt94
乌尔里希·赫斯塔特:
我们在知识表示中需要封闭世界假设吗？ KRDB公司 1994

合著者索引

请参阅常见问题解答

服务

管理网站设置

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