编辑配置文件(在新选项卡中打开) 汉斯·于尔根,奥尔巴赫 合著者距离 作者ID: 奥巴赫·汉斯·尤尔根 发布日期: 汉斯·于尔根,奥尔巴赫;霍尔巴赫,H.J。;汉斯·尤根·奥巴赫;汉斯·奥巴赫(Hans J.Ohlbach)。 更多。。。较少的 外部链接: 管理程序 已编制索引的文档: 34出版物自1983年以来,包括1本书 6作为编辑的贡献 审查活动: 32评论 合著者: 19位合著者具有22联合出版物 640位合作作者 全部的 前5名合著者 18 单作者的 8 Dov M.加巴伊。 三 安德烈亚斯·农纳加特 三 雷娜特·施密特(Renate A.Schmidt)。 2 诺伯特·艾辛格 2 拉尔夫·约翰逊。 2 贾纳·科勒 2 约翰·伍兹 1 弗兰兹·巴德 1 克里斯·布林克 1 马尔滕·德·里杰克 1 安德烈亚斯·赫齐格 1 乌尔里希·赫斯塔特 1 鲁道夫·克鲁斯 1 阿克塞尔·普雷克林 1 乌韦·雷尔 1 曼弗雷德·施密特·沙乌 1 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 1 克里斯托夫·韦登巴赫 1 格雷厄姆·怀特森 全部的 前5名系列 5 自动推理杂志 4 计算机科学课堂讲稿 三 逻辑与计算杂志 2 人工智能 2 应用非经典逻辑杂志 1 计算机与数学及其应用 1 IGPL公告 1 IGPL期刊 1 逻辑趋势——Studia Logica图书馆 1 逻辑与实践推理研究 字段 29 数学逻辑和基础(03-XX) 28 计算机科学(68至XX) 6 总体主题;集合(00-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 29出版物有被引用175中的次148文件 引用人▼ 年份▼ 模态逻辑的分解演算。 Zbl 0647.03010号 汉斯·于尔根,奥尔巴赫 27 1988 模态逻辑的基于语义的翻译方法。 Zbl 0746.03010号 霍尔巴赫,H.J。 27 1991 时间逻辑。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。 Zbl 0875.03007号 22 1994 在经典逻辑中对二值非经典逻辑进行编码。 Zbl 0992.03019号 汉斯·于尔根,奥尔巴赫;安德烈亚斯·农纳加特;马尔滕,德里伊克;Dov M.加巴伊。 13 2001 模态逻辑的功能翻译和二阶框架性质。 Zbl 0976.03019号 汉斯·于尔根,奥尔巴赫;雷娜特·施密特(Renate A.Schmidt)。 13 1997 非经典逻辑翻译方法综述。 Zbl 0795.03019号 汉斯·于尔根,奥尔巴赫 12 1993 一种多维术语知识表示语言。 Zbl 0845.68098号 弗兰兹·巴德;汉斯·于尔根,奥尔巴赫 8 1995 定性和定量的实践推理。1997年6月9日至12日,在德国巴德洪内夫举行的ECSQARU-FAPR’97第一届定性和定量实践推理国际联席会议。诉讼程序。 Zbl 0954.00501号 5 1997 关于Skolem函数假设的注记。 Zbl 0879.03006号 汉斯·于尔根,奥尔巴赫;克里斯托夫·韦登巴赫 4 1995 消除谓词量词。 Zbl 0951.03028号 安德烈亚斯·农纳加特;汉斯·于尔根,奥尔巴赫;斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 4 1999 走向自动化的二元性。 兹伯利0816.03004 布林克,C。;D.M.加巴伊。;霍尔巴赫,H.J。 4 1995 问题角:狮子和独角兽。 Zbl 0616.68077号 霍尔巴赫,H.J。;施密特·肖斯,M。 4 1985 SCAN–谓词量词的消除。 Zbl 1412.68249号 汉斯·于尔根,奥尔巴赫 4 1996 计算机支持逻辑的开发和研究。 Zbl 0859.68094号 汉斯·于尔根,奥尔巴赫 三 1996 将分级模式转换为谓词逻辑。 Zbl 0874.03021号 霍尔巴赫,H.J。;施密特,R。;美国Hustadt。 三 1996 日历逻辑。 Zbl 0930.03017号 汉斯·于尔根,奥尔巴赫;Dov Gabbay公司 2 1998 语义子句图过程——第一个概述。 Zbl 0609.68062号 汉斯·于尔根,奥尔巴赫 2 1986 抽象子句图中的链接继承。 Zbl 0635.68107号 汉斯·于尔根,奥尔巴赫 2 1987 在Klauselgraph Beweisverfahren的正则表达式中。 Zbl 0539.68086号 汉斯·于尔根,奥尔巴赫 2 1983 将希尔伯特风格和语义推理结合在一个解决框架中。 Zbl 0928.03011号 汉斯·于尔根,奥尔巴赫 2 1998 论证和推理逻辑手册。转向实用。 Zbl 1010.03001号 2 2002 逻辑和实践转向。 Zbl 1038.03516号 约翰·伍兹;拉尔夫·约翰逊。;Dov M.加巴伊。;汉斯·于尔根,奥尔巴赫 2 2002 基于分辨率的系统的简化规则。 Zbl 0764.68151号 诺伯特·艾辛格;汉斯·于尔根,奥尔巴赫;阿克塞尔·普雷克林 2 1991 参数化模态运算符的参数结构。 Zbl 0742.68057号 汉斯·于尔根,奥尔巴赫;安德烈亚斯·赫齐格 1 1991 发展一阶多模态逻辑证明理论的新途径。 Zbl 0925.03106号 汉斯·于尔根,奥尔巴赫 1 1990 用自动定理证明器解决关联逻辑中的问题。 Zbl 0547.03013号 汉斯·尤根·奥巴赫;格雷厄姆·怀特森 1 1984 优化多模态逻辑到谓词逻辑的转换。 Zbl 0793.68138号 汉斯·于尔根,奥尔巴赫 1 1993 模态逻辑、描述逻辑和算术推理。 Zbl 0916.68148号 汉斯·于尔根,奥尔巴赫;贾纳·科勒 1 1999 问题角:谓词逻辑黑客技巧。 Zbl 0616.68078号 汉斯·于尔根,奥尔巴赫 1 1985 论证和推理逻辑手册。转向实用。 Zbl 1010.03001号 2 2002 逻辑和实践转向。 Zbl 1038.03516号 约翰·伍兹;拉尔夫·约翰逊。;Dov M.加巴伊。;汉斯·于尔根,奥尔巴赫 2 2002 在经典逻辑中对二值非经典逻辑进行编码。 Zbl 0992.03019号 汉斯·于尔根,奥尔巴赫;安德烈亚斯·农纳加特;马尔滕·德·里杰克;Dov M.加巴伊。 13 2001 消除谓词量词。 Zbl 0951.03028号 安德里亚斯·农能加特;汉斯·于尔根,奥尔巴赫;斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 4 1999 模态逻辑、描述逻辑和算术推理。 Zbl 0916.68148号 汉斯·于尔根,奥尔巴赫;贾纳·科勒 1 1999 日历逻辑。 Zbl 0930.03017号 汉斯·于尔根,奥尔巴赫;Dov Gabbay公司 2 1998 将希尔伯特风格和语义推理结合在一个解决框架中。 Zbl 0928.03011号 汉斯·于尔根,奥尔巴赫 2 1998 模态逻辑的功能翻译和二阶框架性质。 Zbl 0976.03019号 汉斯·于尔根,奥尔巴赫;雷娜特·施密特(Renate A.Schmidt)。 13 1997 定性和定量的实践推理。1997年6月9日至12日,在德国巴德洪内夫举行的ECSQARU-FAPR’97第一届定性和定量实践推理国际联席会议。诉讼程序。 Zbl 0954.00501号 5 1997 SCAN–消除谓词量词。 Zbl 1412.68249号 汉斯·于尔根,奥尔巴赫 4 1996 计算机支持逻辑的开发和研究。 Zbl 0859.68094号 汉斯·于尔根,奥尔巴赫 三 1996 将分级模式转换为谓词逻辑。 Zbl 0874.03021号 奥尔巴赫,H.J。;施密特,R。;美国Hustadt。 三 1996 一种多维术语知识表示语言。 Zbl 0845.68098号 弗兰兹·巴德;汉斯·于尔根,奥尔巴赫 8 1995 关于Skolem函数假设的注记。 Zbl 0879.03006号 汉斯·于尔根,奥尔巴赫;克里斯托夫·韦登巴赫 4 1995 实现二元性自动化。 Zbl 0816.03004号 布林克,C。;D.M.加巴伊。;霍尔巴赫,H.J。 4 1995 时间逻辑。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。 Zbl 0875.03007号 22 1994 非经典逻辑翻译方法综述。 Zbl 0795.03019号 汉斯·于尔根,奥尔巴赫 12 1993 优化多模态逻辑到谓词逻辑的转换。 Zbl 0793.68138号 汉斯·于尔根,奥尔巴赫 1 1993 模态逻辑的基于语义的翻译方法。 Zbl 0746.03010号 霍尔巴赫,H.J。 27 1991 基于分辨率的系统的简化规则。 兹比尔0764.68151 诺伯特·艾辛格;汉斯·于尔根,奥尔巴赫;阿克塞尔·普雷克林 2 1991 参数化模态运算符的参数结构。 Zbl 0742.68057号 汉斯·于尔根,奥尔巴赫;安德烈亚斯·赫齐格 1 1991 一阶多模逻辑证明理论发展的新途径。 Zbl 0925.03106号 汉斯·于尔根,奥尔巴赫 1 1990 模态逻辑的分解演算。 Zbl 0647.03010号 汉斯·于尔根,奥尔巴赫 27 1988 抽象子句图中的链接继承。 Zbl 0635.68107号 汉斯·于尔根,奥尔巴赫 2 1987 语义子句图过程——第一个概述。 Zbl 0609.68062号 汉斯·于尔根,奥尔巴赫 2 1986 问题角:狮子和独角兽。 Zbl 0616.68077号 霍尔巴赫,H.J。;施密特·肖斯,M。 4 1985 问题角:谓词逻辑黑客技巧。 Zbl 0616.68078号 汉斯·于尔根,奥尔巴赫 1 1985 用自动定理证明器解决关联逻辑中的问题。 Zbl 0547.03013号 汉斯·尤根·奥巴赫;格雷厄姆·怀特森 1 1984 Ein regelbasiertes Klauselgraph-Beweisverfahren。 Zbl 0539.68086号 汉斯·于尔根,奥尔巴赫 2 1983 所有引用的出版物 前5名被引用出版物 全部的 前5名被214位作者引用 8 扎哈里亚舍夫,迈克尔·维克托罗维奇 7 Dov M.加巴伊。 6 雷娜特·施密特(Renate A.Schmidt)。 5 Stéphane P.德姆里。 5 乌尔里希·赫斯塔特 5 安吉洛·蒙塔纳里 5 汉斯·于尔根,奥尔巴赫 5 弗兰克·沃尔特 4 亚历山德罗·阿塔尔 4 克莱尔·狄克逊 4 克里斯托夫·克里茨 4 阿吉·库鲁茨 4 法比奥·帕帕奇尼 4 大卫·J·派姆。 4 林肯·A·沃伦。 4 克里斯托夫·韦登巴赫 三 卡洛斯·阿雷塞斯 三 克里斯托夫·埃瓦尔德·本兹穆勒 三 威廉·康雷迪 三 马尔滕·德·里杰克 三 罗马人孔查科夫 三 Cláudia Nalon 三 亚历山德拉·帕尔米吉亚诺 三 艾克·里特 三 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 三 弗拉迪斯拉夫·里日科夫 2 贾斯敏·克里斯蒂安·布兰切特 2 比尔科特,汉斯·尤根 2 蝉蜕、阿加塔 2 玛尔塔·恰尔迪亚·梅耶 2 汉斯·德·尼维尔 2 弗朗索瓦斯·德巴特 2 埃格利,乌韦 2 帕特里斯·恩贾尔伯特 2 大卫·加伯里亚 2 瓦伦丁·F·戈兰科。 2 丹尼尔·戈林 2 圭多州长 2 阿格内斯·库鲁茨 2 马德琳·莱斯科特 2 卡斯滕·卢茨 2 法比奥·马萨奇 2 伊斯坦·内梅蒂 2 阮琳安 2 弗里德里克·皮孔 2 托马斯·拉特 2 斯蒂芬·施密特 2 Sofronie Stokkermans,维奥利卡 2 斯彭迪,劳拉 2 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 2 van Benthem,Johan F.A.K。 2 范德托雷,Leendert W.N。 2 佩塔·武克米罗维奇 2 安娜·扎曼斯基 1 巴拉特·阿德苏尔 1 马可·艾略 1 J.Stuart艾特肯 1 精木赤山 1 马里奥·阿尔维亚诺 1 哈伊纳尔·安德雷卡 1 安德鲁斯,彼得·B·。 1 阿尔贝托·阿托西 1 弗兰兹·巴德 1 乔治·巴里扬尼斯 1 巴萨基斯、索蒂利斯 1 彼得·鲍姆加特纳 1 乔纳斯·拜耳 1 保拉·贝纳西 1 贝内维特斯,马里奥·R·F·。 1 马修·毕晓普 1 尼古拉·S·比约纳。 1 圭多·波埃拉 1 亚历山大·博洛托夫 1 克里斯·布林克 1 克里斯托夫·布尔佐斯卡 1 安东尼·科恩(Anthony G.Cohn)。 1 乔瓦娜·达戈斯蒂诺 1 弗朗索瓦·德尔莫特 1 罗伯特·德莫洛姆 1 蒂埃里·登 1 Deters,摩根 1 沃尔克·迪克特 1 弗朗西斯科·多尼尼。 1 迪迪埃·杜布瓦 1 伊沃·杜恩施 1 诺伯特·艾辛格 1 乔斯琳·法杜尔 1 Fermüller,Christian G。 1 托马斯·菲尔科恩 1 迈克尔·费希尔 1 帕斯卡·方丹 1 藤田宏 1 乌尔里希·富巴赫 1 伯恩德·盖德 1 保罗·加斯丁 1 阿尔贝托·加托 1 康斯坦蒂诺斯·乔治亚托斯 1 西尔维奥·吉拉尔迪 1 恩里科·金西格里亚 1 福斯托·金奇利亚 …还有114位作者 全部的 前5名29篇连载文章中引用 15 应用非经典逻辑杂志 12 理论计算机科学 11 自动推理杂志 8 人工智能 5 哲学逻辑杂志 5 纯逻辑与应用逻辑年鉴 5 符号计算杂志 4 符号逻辑杂志 4 Studia Logica公司 4 国际近似推理杂志 4 数学与人工智能年鉴 4 ACM计算逻辑事务 4 应用逻辑杂志 三 合成 2 计算机与数学及其应用 2 西伯利亚数学杂志 2 信息与计算 2 逻辑、语言与信息杂志 2 计算机科学中的逻辑方法 1 信息处理信件 1 模糊集与系统 1 订单 1 新一代计算 1 算法 1 国际计算机科学基础杂志 1 逻辑与逻辑哲学 1 逻辑程序设计理论与实践 1 符号逻辑述评 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 116 数学逻辑和基础(03-XX) 93 计算机科学(68至XX) 4 阶、格、有序代数结构(06-XX) 1 历史和传记(01-XX) 1 一般代数系统(08-XX) 1 几何图形(51至XX) 1 一般拓扑结构(54至XX) 按年份列出的引文