汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach)
人员信息
附属: 德国慕尼黑路德维希·马克西米利安大学
SPARQL查询
优化列表
2010 – 2019
2012 [公元46年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
Java2OWL:一个同步Java和OWL的系统。 KEOD公司 2012 : 15-24
2000 – 2009
2008 [公元45年] 克里斯蒂安·海塞尔 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 埃德加·菲利普·斯托菲尔 :
L-DSMS-本地数据流管理系统。 ECSA公司 2008 : 298-305 [公元44年] 埃德加·菲利普·斯托菲尔 , 科尔比尼安·斯科德 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
将层次图应用于行人室内导航。 地理信息系统 2008 : 54 [公元43年] 弗朗索瓦·布里 , 伯恩哈德·洛伦茨 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 马丁·罗德 , 马克·温伯格 :
设施控制标记语言FCML。 ICDS系统 2008 : 117-122 [电子9] 海因茨·格德·海格林 , 阿克塞尔·莱曼 , 汉斯·尤根·奥巴赫(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, 吉 2008 ,国际标准图书编号 978-3-88579-227-7 [目录] [电子8] 海因茨·格德·海格林 , 阿克塞尔·莱曼 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 克里斯蒂安·谢德勒 :
38.Jahrestagung der Gesellschaft für Informatik,Beherrschbare Systeme-dank Informatik 2008年信息技术,德国慕尼黑,2008年9月8日至13日,第2级。 LNI公司 P-134, 吉 2008 ,国际标准图书编号 978-3-88579-228-4 [目录] 2007 [公元42年] 埃德加·菲利普·斯托菲尔 , 伯恩哈德·洛伦茨 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
面向行人室内导航的语义空间模型。 ER研讨会 2007 : 328-337 [公元41年] 克里斯蒂安·海塞尔 , 伯恩哈德·洛伦茨 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
本地数据流管理系统。 SETP公司 2007 : 81-88 2006 [公元40年] 弗兰克·伊费尔科弗 , 伯恩哈德·洛伦茨 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
本体驱动的SVG地图可视化-技术方面。 ASWC公司 2006 : 329-335 [公元39年] 弗兰克·伊费尔科弗 , 伯恩哈德·洛伦茨 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
基于SVG的本体驱动地图可视化——语义编程示例。 四 2006 : 424-429 [公元38年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
GeTS——一种用于地理时间概念的规范语言。 基 2006 : 214-228 [公元37年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
FuTI-Library的模糊时间间隔系统描述。 PPSWR公司 2006 : 257-261 [公元36年] 伯恩哈德·洛伦茨 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 埃德加·菲利普·斯托菲尔 :
用于表示室内环境的混合空间模型。 W2GIS系统 2006 : 102-112 [电子7] 弗朗索瓦·布里 , 弗朗索瓦·法赫斯 , 马西莫·马尔奇奥里 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
语义Web推理的原理与实践,11.-16。 2005年9月。 达格斯图尔研讨会记录 05371, 德国达格斯图尔宫国际展览中心(IBFI) 2006 [目录] 2005 [公元35年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
通过标记分区建模周期性时间概念-PartLib库。 我们将向他们展示! (2) 2005 : 453-498 [公元34年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
时间概念的计算处理:CTTN系统。 时间和事件的注释、提取和推理 2005 : 72-87 [公元33年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
时间概念的计算处理:CTTN系统。 PPSWR公司 2005 : 133-144 [公元32年] 弗朗索瓦·布里 , 伯恩哈德·洛伦茨 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 迈克·罗斯纳 :
语义Web的地理空间世界模型。 PPSWR公司 2005 : 145-159 [公元31年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
语义Web环境下的自动推理。 TABLEAUX公司 2005 : 14-14 [i2] 弗朗索瓦·布里 , 弗朗索瓦·法赫斯 , 马西莫·马尔奇奥里 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
05371文摘集-语义Web推理的原理和实践。 语义Web推理的原理与实践 2005 [i1] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
时间概念的计算处理——CTTN系统。 时间和事件的注释、提取和推理 2005 2004 [c30] 萨查·伯杰 , 弗朗索瓦·布里 , 伯恩哈德·洛伦茨 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 保拉·拉维尼亚·帕特兰扬 , 塞巴斯蒂安·沙弗特 , Uta Schwertel公司 , 斯蒂芬妮·斯普朗格 :
网上推理:语言原型和视角。 EWIMT公司 2004 [公元29年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
具有时间分割和模糊时间间隔的日历计算。 PPSWR公司 2004 : 118-133 [公元28年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
模糊时间间隔之间的关系。 时间 2004 : 44-51 [c27] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
标记分区在周期时间概念建模中的作用。 时间 2004 : 60-63 [电子6] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 塞巴斯蒂安·沙弗特 :
语义网络推理原理与实践,第二届国际研讨会,PPSWR 2004,法国圣马洛,2004年9月6日至10日,会议记录。 计算机科学课堂讲稿 3208, 施普林格 2004 ,国际标准图书编号 3-540-22961-2 [目录] 2003 [公元26年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
语义Web应用程序的时态推理。 KRDB公司 2003 [公元25年] 弗朗索瓦·布里 , 伯恩哈德·洛伦茨 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 斯蒂芬妮·斯普朗格 :
论网络上的时间和位置推理。 PPSWR公司 2003 : 69-83 2001 [第1页] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 安德烈亚斯·农纳加特 , 马尔滕岛 , Dov M.Gabbay公司 :
在经典逻辑中编码二值非经典逻辑。 自动推理手册 2001 : 1403-1486 2000 [电子5] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 乌尔里希·恩德里斯 , 奥迪纳尔多·罗德里格斯 , 斯特凡·施洛巴赫 :
2000年7月20日至21日,英国伦敦国王学院,第七届自动推理研讨会论文集,弥合理论与实践之间的差距。 CEUR研讨会记录 32, CEUR-WS.org公司 2000 [目录]
1990 – 1999
1999 [公元19年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 贾娜·克勒 :
模态逻辑、描述逻辑和算术推理。 Artif公司。 智力。 109 ( 1-2 ) : 1-31 ( 1999 ) [公元24年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
集合描述语言和关于集合数值特征的推理。 描述逻辑 1999 1998 [公元18年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , Dov M.Gabbay公司 :
日历逻辑。 J.应用。 非班级。 逻辑 8 ( 4 ) : 291-323 ( 1998 ) [公元17年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
消除自我解决条款。 J.汽车。 原因。 20 ( 三 ) : 317-336 ( 1998 ) [公元16年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
《一阶逻辑的扩展》,玛丽亚·曼扎诺。 J.日志。 语言信息。 7 ( 三 ) : 389-391 ( 1998 ) 【c23】 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
在解析框架中结合希尔伯特风格和语义推理。 CADE公司 1998 : 205-219 1997 [公元15年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 雷娜特·施密特 :
模态逻辑的功能翻译和二阶框架特性。 J.日志。 计算。 7 ( 5 ) : 581-603 ( 1997 ) [公元22年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 贾娜·克勒 :
角色层次结构和数字限制。 描述逻辑 1997 【c21】 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
演绎系统的高效数据结构。 DOOD公司 1997 : 1-2 [电子4] Dov M.Gabbay公司 , 鲁道夫·克鲁斯 , 安德烈亚斯·农纳加特 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
定性和定量实践推理,第一届定性和定量实用推理国际联合会议ECSQARU-FAPR’97,德国巴德洪内夫,1997年6月9日至12日,会议记录。 计算机科学课堂讲稿 1244, 施普林格 1997 ,国际标准图书编号 3-540-63095-3 [目录] 1996 [公元14年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
逻辑发展和研究的计算机支持。 日志。 J.IGPL公司 4 ( 1 ) : 109-127 ( 1996 ) [公元20年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
SCAN-消除谓词量词。 CADE公司 1996 : 161-165 [电子3] Dov M.Gabbay公司 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
实践推理,形式和应用实践推理国际会议,1996年6月3日至7日,德国波恩,FAPR’96,会议记录。 计算机科学课堂讲稿 1085, 施普林格 1996 ,国际标准图书编号 3-540-61313-7 [目录] 1995 [j13] Dov M.Gabbay公司 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 鲁伊·J·G·B·德·奎罗斯 :
编辑。 日志。 J.IGPL公司 三 ( 1 ) : 4-6 ( 1995 ) [公元12年] Dov M.Gabbay公司 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 鲁伊·J·G·B·德·奎罗斯 :
公告变成了一份杂志。 日志。 J.IGPL公司 三 ( 5 ) : 682 ( 1995 ) [公元11年] 弗兰兹·巴德 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
一种多维术语知识表示语言。 J.应用。 非班级。 逻辑 5 ( 2 ) : 153-197 ( 1995 ) [公元10年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 克里斯托夫·魏登巴赫 :
关于Skolem函数假设的注记。 J.汽车。 原因。 15 ( 2 ) : 267-275 ( 1995 ) 1994 [电子2] Dov M.Gabbay公司 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
时间逻辑,第一届国际会议,1994年国际刑事法庭,德国波恩,1994年7月11日至14日,会议记录。 计算机科学课堂讲稿 827, 施普林格 1994 ,国际标准图书编号 3-540-58241-X号 [目录] 1993 [公元9年] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
非经典逻辑翻译方法综述。 日志。 J.IGPL公司 1 ( 1 ) : 69-89 ( 1993 ) [j8] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 雷娜特·施密特 :
社论:生成真实猜测的可能性。 J.日志。 计算。 三 ( 4 ) : 341-343 ( 1993 ) [第19条] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
一种多维术语知识表示语言。 国际JCAI 1993 : 690-695 [第18条] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
多模态逻辑到谓词逻辑的优化翻译。 LPAR公司 1993 : 253-264 [电子1] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
GWAI-92:《人工智能进展》,第16届德国人工智能大会,德国波恩,1992年8月31日至9月3日,会议记录。 计算机科学课堂讲稿 671, 施普林格 1993 ,国际标准图书编号 3-540-56667-8 [目录] 1992 [j7] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
逻辑工程-Konstruktion von Logiken。 昆士利希情报。 6 ( 三 ) : 34-38 ( 1992 ) [c17] Dov M.Gabbay公司 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
从希尔伯特演算到它的模型理论语义学。 阿尔普克 1992 : 218-252 [第16条] Dov M.Gabbay公司 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
二阶谓词逻辑中的量词消除。 韩国 1992 : 425-435 1991 [j6] 诺伯特·艾辛格 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 阿克塞尔·普拉克林 :
基于分辨率的系统的缩减规则。 Artif公司。 智力。 50 ( 2 ) : 141-181 ( 1991 ) [j5] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
模态逻辑的基于语义的翻译方法。 J.日志。 计算。 1 ( 5 ) : 691-746 ( 1991 ) [第15条] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 约格·希克曼 :
Markgraf Karl拒绝程序。 计算逻辑——纪念艾伦·罗宾逊的论文 1991 : 41-112 [第14条] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 安德烈亚斯·赫齐格 :
参数化模态算子的参数结构。 国际JCAI 1991 : 512-517 1990 [第13条] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
将递归双字子句编译为统一算法。 AIMSA公司 1990 : 13-22 [第12条] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 安德烈亚斯·赫齐格 :
逻辑编译技术教程。 CADE公司 1990 : 683 [第11条] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
术语的抽象树索引。 ECAI公司 1990 : 479-484 [第10条] 克里斯托夫·魏登巴赫 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
具有动态排序结构和部分函数的解析微积分。 ECAI公司 1990 : 688-693
1980 – 1989
1989 【c9】 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
一阶多模态逻辑证明理论发展的新途径。 CSL公司 1989 : 271-308 【c8】 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
上下文逻辑——导论。 全球加权平均指数 1989 : 27-36 1988 【b1】 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
模态逻辑的分解微积分。 德国凯泽斯劳滕理工大学, 1988 ,第1-115页 [j4] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 曼弗雷德·施密特·沙乌 :
Bericht zur第九届自动扣除会议。 昆士利希情报。 2 ( 4 ) : 18-19 ( 1988 ) 【c7】 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
模态逻辑的分解微积分。 CADE公司 1988 : 500-516 1987 [j3] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
抽象子句图中的链接继承。 J.汽车。 原因。 三 ( 1 ) : 1-34 ( 1987 ) 1986 【c6】 诺伯特·艾辛格 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
Markgraf Karl退款程序(MKRP)。 CADE公司 1986 : 681-682 【c5】 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
语义子句图过程——第一次概述。 全球加权平均指数 1986 : 218-229 1985 [注2] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 曼弗雷德·施密特·沙乌 :
狮子和独角兽。 J.汽车。 原因。 1 ( 三 ) : 327-332 ( 1985 ) [j1] 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
谓词逻辑黑客技巧。 J.汽车。 原因。 1 ( 4 ) : 435-440 ( 1985 ) 【c4】 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
抽象子句图中的理论统一。 全球加权平均指数 1985 : 77-100 1984 【c3】 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 格雷厄姆·赖特森 :
用自动定理证明器解决关联逻辑问题。 CADE公司 1984 : 496-508 1983 [c2] 格里戈里斯·安东尼奥 , 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
终止人。 国际JCAI 1983 : 916-919 【c1】 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
Ein regelbasiertes Klauselgraph-Beweisverfahren。 全球加权平均指数 1983 : 216-224