默认搜索操作

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

问别人

汉斯·于尔根·奥尔巴赫

>主页 >珀森斯

人员信息

附属： 德国慕尼黑路德维希·马克西米利安大学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2012
[c46]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ic3k/Ohlbach12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ic3k/Ohlbach12
汉斯·于尔根·奥尔巴赫:
Java2OWL：一个同步Java和OWL的系统。 KEOD公司 2012:15-24

2000 – 2009

请参阅常见问题解答

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

2008
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecsa/HanselOS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecsa/HanselOS08
克里斯蒂安·海塞尔,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,埃德加·菲利普·斯托菲尔:
L-DSMS-本地数据流管理系统。 ECSA公司 2008:298-305
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gis/StoffelSO08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gis/StoffelSO08
埃德加·菲利普·斯托菲尔,科尔比尼安·斯科德,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
将层次图应用于行人室内导航。地理信息系统 2008:54
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icds/BryLORW08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icds/BryLORW08
弗朗索瓦·布里,伯恩哈德·洛伦茨,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,马丁·罗德,马克·温伯格:
设施控制标记语言FCML。 ICDS系统 2008:117-122
[电子9]
- 看法
- 出口记录
  dblp键：
  - conf/gi/2008-1
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gi/2008-1
海因茨·格德·海格林,阿克塞尔·莱曼,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,克里斯蒂安·谢德勒:
38.Jahrestagung der Gesellschaft für Informatik，Beherrschbare Systeme-dank Informatik 2008，Informatik 2008，德国慕尼黑，2008年9月8日至13日，波段1。 LNI公司P-133，GI公司 2008，国际标准图书编号978-3-88579-227-7 [目录]
[电子8]
- 看法
- 出口记录
  dblp键：
  - conf/gi/2008-2
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gi/2008-2
海因茨·格德·海格林,阿克塞尔·莱曼,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,克里斯蒂安·谢德勒:
38.Jahrestagung der Gesellschaft für Informatik，Beherrschbare Systeme-dank Informatik 2008年信息技术，德国慕尼黑，2008年9月8日至13日，第2级。 LNI公司P-134中，GI公司 2008，国际标准图书编号978-3-88579-228-4 [目录]
2007
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/er/StoffelLO07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/er/StoffelLO07网址
埃德加·菲利普·斯托菲尔,伯恩哈德·洛伦茨,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
面向行人室内导航的语义空间模型。 ER研讨会 2007:328-337
[公元41年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/setp/HanselLO07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/setp/HanselLO07
克里斯蒂安·海塞尔,伯恩哈德·洛伦茨,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
本地数据流管理系统。 SETP公司 2007:81-88
2006
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aswc/IpfelkoferLO06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aswc/IpfelkoferLO06
弗兰克·伊费尔科弗,伯恩哈德·洛伦茨,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
使用SVG实现地图的本体驱动可视化-技术方面。 ASWC公司 2006:329-335
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iv/IpfelkoferLO06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iv/IpfelkoferLO06
弗兰克·伊费尔科弗,伯恩哈德·洛伦茨,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
基于SVG的本体驱动地图可视化——语义编程示例。四、 2006:424-429
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ki/Ohlbach06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ki/Ohlbach06网址
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
GeTS——一种用于地理时间概念的规范语言。基 2006:214-228
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppswr/Ohlbach06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppswr/Ohlbach06网址
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
FuTI-Library的模糊时间间隔系统描述。 PPSWR公司 2006:257-261
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/w2gis/LorenzOS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/w2gis/LorenzOS06
伯恩哈德·洛伦茨,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,埃德加·菲利普·斯托菲尔:
用于表示室内环境的混合空间模型。 W2GIS系统 2006:102-112
[电子7]
- 看法
- 出口记录
  dblp键：
  - conf/dagstuhl/2005P5371
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/2005P55371
弗朗索瓦·布里,弗朗索瓦·法格斯,马西莫·马尔奇奥里,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
语义Web推理的原理与实践，11.-16。2005年9月。达格斯图尔研讨会记录05371,德国达格斯图尔宫国际展览中心（IBFI） 2006 [目录]
2005
[公元35年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/Ohlbach05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Ohlbach05
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
通过标记分区建模周期性时间概念-PartLib库。我们将向他们展示！(2) 2005:453-498
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/Ohlbach05a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Ohlbach05a
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
时间概念的计算处理：CTTN系统。时间和事件的注释、提取和推理 2005:72-87
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppswr/Ohlbach05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppswr/Ohlbach05网址
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
时间概念的计算处理：CTTN系统。 PPSWR公司 2005:133-144
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppswr/BryLOR05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppswr/BryLOR05
弗朗索瓦·布里,伯恩哈德·洛伦茨,汉斯·于尔根·奥尔巴赫,迈克·罗斯纳:
语义Web的地理空间世界模型。 PPSWR公司 2005:145-159
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Ohlbach05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Ohlbach05
汉斯·于尔根·奥尔巴赫:
语义Web环境下的自动推理。 TABLEAUX公司 2005:14-14
[i2]
- 看法
  - 电子版@dagstuhl.de（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/BryFMO05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/BryFMO05
弗朗索瓦·布里,弗朗索瓦·法格斯,马西莫·马尔奇奥里,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
05371文摘集-语义Web推理的原理和实践。语义Web推理的原理与实践 2005
[i1]
- 看法
  - 电子版@dagstuhl.de（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/Ohlbach05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Ohlbach05
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
时间概念的计算处理——CTTN系统。时间和事件的注释、提取和推理 2005
2004
[公元30年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ewimt/BergerBLOPSS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ewimt/BergerBLOPSSS04
萨查·伯杰,弗朗索瓦·布里,伯恩哈德·洛伦茨,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,保拉·拉维尼亚·帕特兰扬,塞巴斯蒂安·沙弗特,Uta Schwertel公司,斯蒂芬妮·斯普兰格:
网上推理：语言原型和视角。 EWIMT公司 2004
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppswr/Ohlbach04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppswr/Ohlbach04网址
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
具有时间分割和模糊时间间隔的日历计算。 PPSWR公司 2004:118-133
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/时间/Ohlbach04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/time/Ohlbach04网址
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
模糊时间间隔之间的关系。时间 2004:44-51
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/time/Ohlbach04a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/time/Ohlbach04a
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
标记分区在周期时间概念建模中的作用。时间 2004:60-63
[e6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppswr/2004
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppswr/2004
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,塞巴斯蒂安·沙弗特:
语义网络推理原理与实践，第二届国际研讨会，PPSWR 2004，法国圣马洛，2004年9月6日至10日，会议记录。计算机科学课堂讲稿3208,施普林格 2004，国际标准图书编号3-540-22961-2 [目录]
2003
[公元26年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/krdb/Ohlbach03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/krdb/Ohlbach03网址
汉斯·于尔根·奥尔巴赫:
语义Web应用程序的时态推理。 KRDB公司 2003
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppswr/BryLOS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppswr/BryLOS03
弗朗索瓦·布里,伯恩哈德·洛伦茨,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,斯蒂芬妮·斯普朗格:
论网络上的时间和位置推理。 PPSWR公司 2003:69-83
2001
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/el/RV01/OhlbachNRG01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/el/RV01/OhlbachNRG01
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,安德烈亚斯·农纳加特,马尔滕·德·里杰克,Dov M.Gabbay公司:
在经典逻辑中编码二值非经典逻辑。自动推理手册 2001:1403-1486
2000
[电子5]
- 看法
- 出口记录
  dblp键：
  - conf/arw/2000
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arw/2000
汉斯·于尔根·奥尔巴赫,乌尔里希·恩德里斯,奥迪纳多·罗德里格斯,斯特凡·施洛巴赫:
2000年7月20日至21日，英国伦敦国王学院，第七届自动推理研讨会论文集，弥合理论与实践之间的差距。 CEUR研讨会记录32,CEUR-WS.org公司 2000 [目录]

1990 – 1999

请参阅常见问题解答

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

1999
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ai/OhlbachK99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ai/OhlbachK99
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,贾娜·科勒:
模态逻辑、描述逻辑和算术推理。 Artif公司。智力。 109(1-2):1-31(1999)
[公元24年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/Ohlbach99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/Ohlbach99
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
集合描述语言和关于集合数值特征的推理。描述逻辑 1999
1998
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jancl/OhlbachG98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jancl/OhlbachG98
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,Dov M.Gabbay公司:
日历逻辑。 J.应用。非类别。逻辑 8(4):291-323(1998)
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Ohlbach98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Ohlbach98
汉斯·于尔根·奥尔巴赫:
消除自我解决条款。 J.汽车。原因。 20(三):317-336(1998)
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jolli/Ohlbach98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jolli/Ohlbach98
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
一阶逻辑的扩展，Maria Manzano。 J.日志。语言信息。 7(三):389-391(1998)
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Ohlbach98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Ohlbach98
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
在解析框架中结合希尔伯特风格和语义推理。学员 1998:205-219
1997
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/OhlbachS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/OhlbachS97
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,雷娜特·施密特:
模态逻辑的功能翻译和二阶框架特性。 J.日志。计算。 7(5):581-603(1997)
[公元22年]
- 看法
  - 电子版@kr.org（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/OhlbachK97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/OhlbachK97
汉斯·于尔根·奥尔巴赫,贾娜·科勒:
角色层次结构和数字限制。描述逻辑 1997
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dood/Ohlbach97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dood/Ohlbach97网址
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
演绎系统的高效数据结构。 DOOD公司 1997:1-2
[电子4]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecsqaru/1997年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecsqaru/1997
Dov M.Gabbay公司,鲁道夫·克鲁斯,安德烈亚斯·农纳加特,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
定性和定量实用推理，第一届定性和定量实用推理国际联席会议ECSQARU-APR'97，德国Bad Honnef，1997年6月9日至12日，会议记录。计算机科学课堂讲稿1244,施普林格 1997，国际标准图书编号3-540-63095-3 [目录]
1996
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/igpl/Ohlbach96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/Ohlbach96
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
逻辑发展和研究的计算机支持。日志。J.IGPL公司 4(1):109-127(1996)
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Ohlbach96号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Ohlbach96
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
SCAN-消除谓词量词。学员 1996:161-165
[电子3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fapr/1996
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fapr/1996
Dov M.Gabbay公司,汉斯·于尔根·奥尔巴赫:
实践推理，形式和应用实践推理国际会议，1996年6月3日至7日，德国波恩，FAPR’96，会议记录。计算机科学课堂讲稿1085,施普林格 1996，国际标准图书编号3-540-61313-7 [目录]
1995
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/GabbayOQ95a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/GabbayOQ95a
Dov M.Gabbay公司,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,鲁伊·J·G·B·德·奎罗斯:
编辑。日志。J.IGPL公司三(1):4-6(1995)
[j12]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/GabbayOQ95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/GabbayOQ95
Dov M.Gabbay公司,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,鲁伊·J·G·B·德·奎罗斯:
公告变成了一份杂志。日志。J.IGPL公司三(5):682(1995)
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jancl/BaaderO95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jancl/BaaderO95
弗兰兹·巴德,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
一种多维术语知识表示语言。 J.应用。非班级。逻辑 5(2):153-197(1995)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/OhlbachW95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/OhlbachW95
汉斯·于尔根·奥尔巴赫,克里斯托夫·魏登巴赫:
关于Skolem函数假设的注记。 J.汽车。原因。 15(2):267-275(1995)
1994
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 1994年会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictl/1994
Dov M.Gabbay公司,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
时间逻辑，第一届国际会议，1994年国际刑事法庭，德国波恩，1994年7月11日至14日，会议记录。计算机科学课堂讲稿827,施普林格 1994，国际标准图书编号3-540-58241-X号 [目录]
1993
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/Ohlbach93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/Ohlbach93
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
非经典逻辑翻译方法综述。日志。J.IGPL公司 1(1):69-89(1993)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/OhlbachS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/OhlbachS93
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,雷娜特·施密特:
社论：生成真实猜测的可能性。 J.日志。计算。三(4):341-343(1993)
[第19条]
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/Ohlbach93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/Ohlbach93
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
一种多维术语知识表示语言。国际JCAI 1993:690-695
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Ohlbach93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Ohlbach93
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
多模态逻辑到谓词逻辑的优化翻译。 LPAR公司 1993:253-264
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 1992年会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ki/1992
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
GWAI-92：《人工智能进展》，第16届德国人工智能会议，德国波恩，1992年8月31日至9月3日，会议记录。计算机科学课堂讲稿671,施普林格 1993，国际标准图书编号3-540-56667-8 [目录]
1992
[j7]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/ki/Ohlbach92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ki/Ohlbach92
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
逻辑工程-Konstruktion von Logiken。昆士利希情报。 6(三):34-38(1992)
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alpuk/GabbayO92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alpuk/GabbayO92
Dov M.Gabbay公司,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
从希尔伯特演算到它的模型理论语义学。阿尔普克 1992:218-252
[第16条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/kr/GabbayO92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/GabbayO92
Dov M.Gabbay公司,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
二阶谓词逻辑中的量词消除。韩国 1992:425-435
1991
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ai/EisingerOP91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ai/EisingerOP91
诺伯特·艾辛格,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,阿克塞尔·普拉克林:
基于分辨率的系统的约简规则。 Artif公司。智力。 50(2):141-181(1991)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Ohlbach91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Ohlbach91
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
模态逻辑的基于语义的翻译方法。 J.日志。计算。 1(5):691-746(1991)
[第15条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/OhlbachS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/OhlbachS91
汉斯·于尔根·奥尔巴赫,约格·希克曼:
Markgraf Karl拒绝程序。计算逻辑——纪念艾伦·罗宾逊的论文 1991:41-112
[第14条]
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/OhlbachH91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/OhlbachH91
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,安德烈亚斯·赫齐格:
参数化模态算子的参数结构。国际JCAI 1991:512-517
1990
[c13]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aimsa/Ohlbach90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aimsa/Ohlbach90
汉斯·于尔根·奥尔巴赫:
将递归双字子句编译为统一算法。 AIMSA公司 1990:13-22
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/OhlbachH90会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/OhlbachH90
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,安德烈亚斯·赫齐格:
逻辑编译技术教程。学员 1990:683
[第11条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ecai/Ohlbach90型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecai/Ohlbach90
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
术语的抽象树索引。 ECAI公司 1990:479-484
[第10条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ecai/WidenbachO90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecai/WidenbachO90网址
克里斯托夫·魏登巴赫,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
具有动态排序结构和部分函数的解析微积分。 ECAI公司 1990:688-693

1980 – 1989

请参阅常见问题解答

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

1989
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Ohlbach89公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Ohlbach89网址
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
一阶多模态逻辑证明理论发展的新途径。 CSL公司 1989:271-308
[c8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ki/Ohlbach89
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ki/Ohlbach89网址
汉斯·于尔根·奥尔巴赫:
上下文逻辑-简介。全球加权平均指数 1989:27-36
1988
【b1】
- 看法
  - 没有参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - books/daglib/0070129图书
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/daglib/0070129
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
模态逻辑的分解微积分。德国凯泽斯劳滕理工大学，1988，第1-115页
【j4】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/ki/OhlbachS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ki/OhlbachS88
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,曼弗雷德·施密特·沙乌:
Bericht zur第九届自动扣除会议。昆士利希情报。 2(4):18-19(1988)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Ohlbach88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Ohlbach88网址
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
模态逻辑的分解微积分。学员 1988:500-516
1987
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Ohlbach87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Ohlbach87
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
抽象子句图中的链接继承。 J.汽车。原因。三(1):1-34(1987)
1986
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EisingerO86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EisingerO86
诺伯特·艾辛格,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
Markgraf Karl退款程序（MKRP）。学员 1986:681-682
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ki/Ohlbach86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ki/Ohlbach86网址
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
语义子句图过程——第一次概述。全球加权平均指数 1986:218-229
1985
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/OhlbachS85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/OhlbachS85
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,曼弗雷德·施密特·沙乌:
狮子和独角兽。 J.汽车。原因。 1(三):327-332(1985)
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Ohlbach85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Ohlbach85
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
谓词逻辑黑客技巧。 J.汽车。原因。 1(4):435-440(1985)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ki/Ohlbach85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ki/Ohlbach85网址
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
抽象子句图中的理论统一。全球加权平均指数 1985:77-100
1984
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/OhlbachW84会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/OhlbachW84
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）,格雷厄姆·赖特森:
用自动定理证明器解决关联逻辑问题。学员 1984:496-508
1983
【c2】
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/AntoniouO83
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/AntoniouO83
格里戈里斯·安东尼奥,汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
终止人。国际JCAI 1983:916-919
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ki/Ohlbach83
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ki/Ohlbach83
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
Ein regelbasiertes Klauselgraph-Beweisverfahren。全球加权平均指数 1983:216-224

合著者索引

请参阅常见问题解答

管理网站设置

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