鲍姆加特内 0001
人员信息
附属： 数据61，CSIRO 附属： NICTA，堪培拉研究实验室 附属： 澳大利亚国立大学 隶属关系（以前）： MPI Saarbrücken，德国 隶属关系（以前）： 德国科布伦茨兰道大学
其他同名人员
SPARQL查询 
优化列表
2020年–今天
2024 
[第61条] 拉克兰·麦金尼斯 , 鲍姆加特内 :
自动定理证明程序有助于改进大型语言模型推理。 LPAR公司 2024 : 51-69 【i15】 拉克兰·麦金尼斯 , 鲍姆加特内 :
Steamroller问题：使用自动定理证明器策略评估LLM推理能力。 CoRR公司 abs/2407.20244 ( 2024 ) [第14条] 拉克兰·麦金尼斯 , 鲍姆加特内 :
自动定理证明程序有助于改进大型语言模型推理。 CoRR公司 abs/2408.03492 ( 2024 ) 2023 [公元60年] 鲍姆加特内 , 埃琳娜·塔尔塔利亚 :
使用Fusmate的自底向上分层概率逻辑编程。 ICLP公司 2023 : 87-100 [i13] 鲍姆加特内 , 埃琳娜·塔塔格里亚 :
概率逻辑编程系统Fusmate中的自底向上接地。 CoRR公司 abs/2305.18924 ( 2023 ) 2022 [i12] 鲍姆加特内 , 丹尼尔·史密斯 , 马斯胡德·拉纳 , 丽娜·卡浦尔 , 埃琳娜·塔塔格里亚 , 安德烈亚斯·舒特 , 阿什法库尔·拉赫曼 , 约翰·泰勒 
, 西蒙·邓斯塔尔 :
运动分析：从人工智能的角度看当前状态、在制造业中的应用和未来前景。 CoRR公司 abs/2210.01344 ( 2022 ) 2021 [公元59年] 鲍姆加特内 :
Fusmate逻辑编程系统。 CADE公司 2021 : 589-601 [公元58年] 鲍姆加特内 :
通过逻辑编程结合事件演算和描述逻辑推理。 FroCoS公司 2021 : 98-117 [公元57年] 鲍姆加特内 , 亚历山大·克鲁普霍尔茨 :
盒装牛肉供应链中的异常检测。 ICCMS公司 2021 : 1-7 [i11] 鲍姆加特内 :
保险丝逻辑编程系统（系统描述）。 CoRR公司 abs/2103.01395 ( 2021 ) [i10] 鲍姆加特内 :
通过逻辑编程结合事件演算和描述逻辑推理。 CoRR公司 abs/2109.04803 ( 2021 ) 2020 [公元25年] 鲍姆加特内 , 雷娜特·施密特 :
自底向上模型生成方法的阻塞和其他增强功能。 J.汽车。 原因。 64 ( 2 ) : 197-251 ( 2020 ) [公元56年] 鲍姆加特内 :
可能的模型计算和修正——一种实用的方法。 国际JCAR（1） 2020 : 337-355
2010 – 2019
2019 [公元55年] 鲍姆加特内 , 乌韦·沃尔德曼 :
重新审视层次叠加。 描述逻辑、理论组合和所有这些 2019 : 15-56 [第九章] 鲍姆加特内 , 乌韦·沃尔德曼 :
重新审视层次叠加。 CoRR公司 abs/1904.03776 ( 2019 ) 2018 [公元54年] 鲍姆加特内 , 西尔维·蒂埃鲍克斯 , 菲利佩·特雷维赞 :
具有多目标概率LTL约束的启发式搜索规划。 韩国 2018 : 415-424 2017 [公元53年] 鲍姆加特内 , 西尔维·蒂埃鲍克斯 , 菲利佩·特雷维赞 :
具有PCTL*约束的MDP政策综合表。 TABLEAUX公司 2017 : 175-192 [i8] 鲍姆加特内 , 西尔维·蒂埃鲍克斯 , 菲利佩·特雷维赞 :
具有PCTL*约束的MDP政策综合表。 CoRR公司 abs/1706.10102 ( 2017 ) 2016 [公元24年] 鲍姆加特内 , 沃尔夫冈·比贝尔 , 理查德·沃尔丁格 :
纪念马克·Stickel。 J.汽车。 原因。 56 ( 2 ) : 95-98 ( 2016 ) [i7] 鲍姆加特内 , 雷娜特·施密特 :
自底向上模型生成方法的阻塞和其他增强功能。 CoRR公司 abs/1611.09014 ( 2016 ) 2015 [第52条] 鲍姆加特内 :
SMTtoTPTP-定理证明格式的转换器。 CADE公司 2015 : 285-294 [第51条] 鲍姆加特内 , 约书亚·巴克斯 , 乌韦·沃尔德曼 :
Beagle-一个层次叠加定理证明程序。 CADE公司 2015 : 367-377 2014 [公元23年] 鲍姆加特内 :
基于模型进化的定理证明。 IEEE智能。 系统。 29 ( 1 ) : 4-10 ( 2014 ) [公元50年] 鲍姆加特内 , 约书亚·巴克斯 , 乌韦·沃尔德曼 :
层次定理证明中的有限量化。 国际JCAR 2014 : 152-167 2013 [公元49年] 鲍姆加特内 , 乌韦·沃尔德曼 :
弱抽象的层次叠加。 CADE公司 2013 : 39-57 [公元48年] 鲍姆加特内 , 约书亚·巴克斯 :
无穷可满足性的证明。 LPAR公司 2013 : 86-95 [公元47年] 安德雷斯·鲍尔 , 鲍姆加特内 , 马丁·迪勒 , 迈克尔·诺里什 :
数据中心过程验证表。 TABLEAUX公司 2013 : 28-43 [第1页] 鲍姆加特内 :
自动化Inferenz。 Handbuch der Künstlichen Intelligenz公司 2013 : 129-170 2012 [公元22年] 尼克·巴恩斯 , 鲍姆加特内 , 蒂贝里奥·卡埃塔诺 , 休·F·杜兰·怀特 , 格温·克莱因 , 佩内洛普·桑德森 , 阿布杜勒·萨塔尔 , 彼得·斯塔基 , 西尔维·蒂埃鲍克斯 , 帕斯卡·范·亨特利克 , 托比·沃尔什 :
AI@NICTA。 人工智能杂志。 33 ( 三 ) : 115- ( 2012 ) [公元21年] 鲍姆加特内 , 比约恩·佩尔泽 , 塞萨尔·蒂内利 :
平等模式演变-修订并实施。 J.塞姆。 计算。 47 ( 9 ) : 1011-1045 ( 2012 ) [公元46年] 杰夫·萨特克利夫 , 斯蒂芬·舒尔茨 , 科恩·克莱森 , 鲍姆加特内 :
TPTP类型的带算术的一阶表单。 LPAR公司 2012 : 406-419 [i6] 鲍姆加特内 , 叶夫根尼·托尔斯滕森 :
基于实例的方法——简要概述。 CoRR公司 abs/1202.6148 ( 2012 ) [i5] 安德烈亚斯·克劳斯·鲍尔 , 鲍姆加特内 , 迈克尔·诺里什 :
使用以数据为中心的业务流程进行推理。 CoRR公司 abs/1207.2461 ( 2012 ) 2011 [公元20年] 鲍姆加特内 , 乌韦·沃尔德曼 :
叠加和模型演化组合微积分。 J.汽车。 原因。 47 ( 2 ) : 191-227 ( 2011 ) [公元45年] 鲍姆加特内 , 塞萨尔·蒂内利 :
模型演化与等模内建理论。 CADE公司 2011 : 85-100 2010 [公元19年] 亚历山德罗·阿曼多 , 鲍姆加特内 , 吉尔斯·道克 :
前言。 J.汽车。 原因。 45 ( 2 ) : 89 ( 2010 ) [公元18年] 鲍姆加特内 , 叶夫根尼·托尔斯滕森 :
基于实例的方法-简要概述。 昆士利希情报。 24 ( 1 ) : 35-42 ( 2010 ) [公元17年] 鲍姆加特内 , 乌尔里希·富巴赫 , 比约恩·佩尔泽 :
等式超表演算及其在有限模型计算中的应用。 J.日志。 计算。 20 ( 1 ) : 77-109 ( 2010 )
2000 – 2009
2009 [公元16年] 鲍姆加特内 , 亚历山大·富克斯 , 汉斯·德尼维尔 , 塞萨尔·蒂内利 :
通过简化为无函数子句逻辑计算有限模型。 J.应用。 日志。 7 ( 1 ) : 58-74 ( 2009 ) [公元44年] 鲍姆加特内 , 乌韦·沃尔德曼 :
叠加和模型演化相结合。 CADE公司 2009 : 17-34 [公元43年] 鲍姆加特内 , 约翰·斯莱尼 :
约束建模：一阶自动推理的挑战。 文件传输协议 2009 [公元42年] 弗兰兹·巴德 , 安德雷斯·鲍尔 , 鲍姆加特内 , 安妮·克雷根 , 阿尔弗雷多·加巴登 , 克里斯蒂安·吉 , 李兆光 , 大卫·拉贾拉特南 , 罗尔夫·施维特 :
一种新的态势感知系统架构。 TABLEAUX公司 2009 : 77-92 2008 [j15] 鲍姆加特内 , 塞萨尔·蒂内利 :
模型演化演算作为一阶DPLL方法。 Artif公司。 因特尔。 172 ( 4-5 ) : 591-632 ( 2008 ) [公元41年] 鲍姆加特内 , 亚历山大·富克斯 , 塞萨尔·蒂内利 :
（LIA）-具有线性整数算术约束的模型演化。 LPAR公司 2008 : 258-273 [电子4] 亚历山德罗·阿曼多 , 鲍姆加特内 , 吉尔斯·道克 :
自动推理，第四届国际联合会议，2008年8月12日至15日，澳大利亚悉尼，IJCAR 2008，会议记录。 计算机科学课堂讲稿 5195, 施普林格 2008 ，国际标准图书编号 978-3-540-71069-1 [目录] 2007 [公元40年] 鲍姆加特内 :
基于实例方法的逻辑工程。 CADE公司 2007 : 404-409 [公元39年] 鲍姆加特内 , 乌尔里希·富巴赫 , 比约恩·佩尔泽 :
等式超表格。 CADE公司 2007 : 492-507 2006 [公元14年] 鲍姆加特内 , 亚历山大·富克斯 , 塞萨尔·蒂内利 :
实现模型进化演算。 国际艺术杂志。 智力。 工具 15 ( 1 ) : 21-52 ( 2006 ) [公元38年] 鲍姆加特内 , 雷娜特·施密特 :
自底向上模型生成方法的阻塞和其他增强功能。 国际JCAR 2006 : 125-139 [公元37年] 鲍姆加特内 , 亚历山大·富克斯 , 塞萨尔·蒂内利 :
模型进化演算中的引理学习。 LPAR公司 2006 : 572-586 [公元36年] 鲍姆加特内 , 费边·苏查内克 :
一阶本体的自动推理支持。 PPSWR公司 2006 : 18-32 [电子3] 弗兰兹·巴德 , 鲍姆加特内 , 罗伯特·尼文胡斯 , 安德烈·沃伦科夫 :
扣除和应用，23.-28。 2005年10月。 达格斯图尔研讨会记录 05431, 德国达格斯图尔宫国际展览中心（IBFI） 2006 [目录] 2005 [j13] 鲍姆加特内 , 乌尔里希·富巴赫 , 阿德南·H·叶海亚 :
自动推理、知识表示和管理。 昆士利希情报。 19 ( 1 ) : 5- ( 2005 ) [公元35年] 鲍姆加特内 , 乌尔里希·富巴赫 :
活生生的书籍，自动扣除和其他奇怪的事情。 机械化数学推理 2005 : 249-267 [公元34年] 鲍姆加特内 , 塞萨尔·蒂内利 :
模型演化演算与等式。 CADE公司 2005 : 392-408 [电子2] 沃尔夫冈·阿伦特 , 鲍姆加特内 , 汉斯·德尼维尔 , 西尔维奥·兰伊斯 , 塞萨尔·蒂内利 :
2004年D@IJCAR“置换研讨会”和第二届决策程序语用学国际研讨会的论文选集， IJCAR的PDPAR 2004年，爱尔兰科克，2004年7月。 理论计算机科学电子笔记 125(3), 爱思维尔 2005 [目录] [i4] 弗兰兹·巴德 , 鲍姆加特内 , 罗伯特·尼文胡斯 , 安德烈·沃伦科夫 :
05431执行摘要-扣除和应用。 扣除和应用 2005 [i3] 弗兰兹·巴德 , 鲍姆加特内 , 罗伯特·尼文胡斯 , 安德烈·沃伦科夫 :
05431摘要集-演绎与应用。 扣除和应用 2005 2004 [公元12年] 鲍姆加特内 , 乌尔里希·富巴赫 , 玛格丽特·格罗-哈德 , 亚历克斯·辛纳 :
生活书籍-演绎，切片，互动。 J.汽车。 原因。 32 ( 三 ) : 259-286 ( 2004 ) [公元11年] 鲍姆加特内 , 芭芭拉·格拉博夫斯基 , 沃尔特·奥维尔 , 艾丽卡·梅利斯 :
In2Math-交互式数学与信息rundausbildung。 软件技术——趋势 24 ( 1 ) ( 2004 ) [公元33年] 鲍姆加特内 , 阿尔乔沙·伯查特 :
FrameNet上推理的逻辑编程基础结构。 犹太教徒 2004 : 591-603 [公元32年] 鲍姆加特内 , 乌尔里希·富巴赫 , 玛格丽特大街（Margret Groß-Hardt） , 托马斯·克莱曼 :
基于模型的数据库模式推理演绎。 KI公司 2004 : 168-182 [公元31年] 鲍姆加特内 , 乌尔里希·富巴赫 , 玛格丽特·格罗-哈德 , 托马斯·克莱曼 :
使用描述逻辑优化XPath求值。 INAP/WLP公司 2004 : 1-15 [公元30年] 沃尔夫冈·阿伦特 , 鲍姆加特内 , 汉斯·德尼维尔 , 西尔维奥·兰伊斯 , 塞萨尔·蒂内利 :
前言。 D类/ IJCAR的PDPAR 2004 : 1-2 2003 [公元10年] 鲍姆加特内 , 乌尔里希·富巴赫 :
个性化文档管理的自动扣除技术。 安。数学。 Artif公司。 因特尔。 38 ( 1-3 ) : 211-228 ( 2003 ) [公元9年] 鲍姆加特内 , 张汉涛 :
一阶定理证明前言。 J.塞姆。 计算。 36 ( 1-2 ) : 1-3 ( 2003 ) [公元29年] 鲍姆加特内 , 乌尔里希·富巴赫 , 玛格丽特·格罗-哈德 , 亚历克斯·辛纳 :
“活书”：“教育”、“切片”、“互动”。 CADE公司 2003 : 284-288 [公元28年] 鲍姆加特内 , 塞萨尔·蒂内利 :
模型进化微积分。 CADE公司 2003 : 350-364 [公元27年] 鲍姆加特内 , 乌尔里希·富巴赫 , 玛格丽特·格罗-哈德 :
生活书籍。 Wirtschaftsinformatik（1） 2003 : 693-706 2000 [j8] Chandrabose Aravindan公司 , 鲍姆加特内 :
数据库视图删除的定理证明技术。 J.塞姆。 计算。 29 ( 2 ) : 119-147 ( 2000 ) [公元26年] 鲍姆加特内 , 诺伯特·艾辛格 , 乌尔里希·富巴赫 :
汇流连接微积分。 智能与计算逻辑 2000 : 3-26 [公元25年] 鲍姆加特内 :
FDPLL——一级Davis-Putnam-Longeman-Loveland程序。 CADE公司 2000 : 200-219 [公元24年] 鲍姆加特内 , 克里斯蒂安·弗缪勒（Christian G.Fermüller） , 尼古拉斯·佩尔蒂埃 , 张汉涛 :
研讨会：模型计算-原理、算法、应用。 CADE公司 2000 : 513 [c23] 鲍姆加特内 , 法比奥·马萨奇 :
（X）OR的驯服。 计算逻辑 2000 : 508-522
1990 – 1999
1999 [公元22年] 鲍姆加特内 , 诺伯特·艾辛格 , 乌尔里希·富巴赫 :
汇流连接微积分。 CADE公司 1999 : 329-343 1998 【b1】 鲍姆加特内 :
连接演算中的理论推理。 计算机科学课堂讲稿 1527, 施普林格 1998 ，国际标准图书编号 3-540-65509-3 [j7] 鲍姆加特内 , 英戈·达恩 , 尤尔根·迪克斯 , 乌尔里希·富巴赫 , 迈克尔·库恩 , 弗里德·斯托尔岑伯格 , 伯恩德·托马斯 :
自动扣除：一种技术观点。 昆士利希情报。 12 ( 4 ) : 7-14 ( 1998 ) 【c21】 鲍姆加特内 :
Hyper Tableau-下一代。 TABLEAUX公司 1998 : 60-76 [公元20年] 鲍姆加特内 , 多萝西娅·施费尔 :
简化模型消除及其在软件验证中的应用。 系统规范、开发和验证的工具支持 1998 : 18-32 1997 [j6] 鲍姆加特内 , 乌尔里希·富巴赫 , 弗里德·斯托尔岑堡 :
使用模型消除计算答案。 Artif公司。 因特尔。 90 ( 1-2 ) : 135-176 ( 1997 ) [j5] 鲍姆加特内 , 斯特凡·布吕宁 :
模型消去的析取正精化及其在包含删除中的应用。 J.汽车。 原因。 19 ( 2 ) : 205-262 ( 1997 ) [第19条] 鲍姆加特内 , 乌尔里希·富巴赫 :
选言逻辑程序设计的微积分。 ICLP公司 1997 : 409 [第18条] 鲍姆加特内 , 彼得·弗里奇 , 乌尔里希·富巴赫 , Wolfgang Nejdl公司 :
诊断应用的语义引导定理证明。 国际JCAI（1） 1997 : 460-465 [第17条] Chandrabose Aravindan公司 , 鲍姆加特内 :
一种合理有效的数据库视图删除算法。 仪表着陆点 1997 : 165-179 [第16条] 鲍姆加特内 , 乌尔里希·富巴赫 :
选言逻辑程序设计的微积分。 仪表着陆点 1997 : 229-243 [第15条] 鲍姆加特内 , 彼得·弗里奇 , 乌尔里希·富巴赫 , Wolfgang Nejdl公司 :
诊断应用表。 TABLEAUX公司 1997 : 76-90 1996 【j4】 鲍姆加特内 :
霍恩理论的线性和单位结果反驳。 J.汽车。 原因。 16 ( 三 ) : 241-319 ( 1996 ) [j3] 鲍姆加特内 , 尤尔根·迪克斯 , 乌尔里希·富巴赫 , 多萝西娅·施费尔 , 弗里德·斯托尔岑伯格 :
演绎与逻辑程序。 昆士利希情报。 10 ( 2 ) : 34-39 ( 1996 ) [第14条] 鲍姆加特内 , 乌尔里希·富巴赫 :
超表与虚拟逻辑编程。 DDLP公司 1996 : 29-43 [第13条] Chandrabose Aravindan公司 , 鲍姆加特内 , 尤尔根·迪克斯 , 乌尔里希·富巴赫 , Gerd Neugebauer公司 , 伊尔卡·尼梅尔 , 多萝西娅·施费尔 , 弗里德·斯托尔岑伯格 :
关于定理证明与逻辑程序设计范式的融合（海报摘要）。 JICSLP公司 1996 : 546 [第12条] 鲍姆加特内 , 乌尔里希·富巴赫 , 伊尔卡·尼梅尔 :
超表格辅助。 犹太教徒 1996 : 1-17 1995 [第11条] 鲍姆加特内 , 乌尔里希·富巴赫 , 弗里德·斯托尔岑伯格 :
模型消除、逻辑编程和计算答案。 国际JCAI 1995 : 335-341 [c10] 鲍姆加特内 , 弗里德·斯托尔岑伯格 :
约束模型消除和PTTP-Implementation。 TABLEAUX公司 1995 : 201-216 [电子1] 鲍姆加特内 , 雷内·哈内尔 , 约阿希姆·波塞加 :
《用解析表及相关方法证明定理》，第四届国际研讨会，Tableaux’95，SchloßRheinfels，St.Goar，Germany，1995年5月7日至10日，Proceedings。 计算机科学课堂讲稿 918, 施普林格 1995 ，国际标准图书编号 3-540-59338-1 [目录] 1994 [注2] 鲍姆加特内 , 乌尔里希·富巴赫 :
无矛盾的模型消除及其在PTTP中的应用。 J.汽车。 原因。 13 ( 三 ) : 339-359 ( 1994 ) 【c9】 鲍姆加特内 , 乌尔里希·富巴赫 :
无矛盾的模型消除。 CADE公司 1994 : 87-101 【c8】 鲍姆加特内 , 乌尔里希·富巴赫 :
蛋白质：具有理论扩展接口的探针。 CADE公司 1994 : 769-773 【c7】 鲍姆加特内 :
理论模型消除和无矛盾变量的改进。 ECAI公司 1994 : 90-94 1993 [j1] 鲍姆加特内 , 乌尔里希·富巴赫 :
整合作为比较微积分的框架。 J.塞姆。 计算。 16 ( 5 ) : 445-477 ( 1993 ) 1992 【c6】 鲍姆加特内 :
内置理论的模型消除演算。 全球加权平均指数 1992 : 30-42 【c5】 鲍姆加特内 :
秩序理论解析微积分。 LPAR公司 1992 : 119-130 【c4】 鲍姆加特内 :
具有内建理论的模型消除演算（扩展抽象）。 TABLEAUX公司 1992 : 7-10 【c3】 鲍姆加特内 , 乌尔里希·富巴赫 :
整合作为比较微积分的框架。 TABLEAUX公司 1992 : 11-14 1991 【c2】 鲍姆加特内 :
等式分解的完整性证明技术。 全球加权平均指数 1991 : 12-22 1990 【c1】 鲍姆加特内 :
结合Horn子句逻辑和重写规则。 AIMSA公司 1990 : 189-198 [i2] 鲍姆加特内 :
将Horn子句逻辑与重写规则相结合。 慕尼黑TU Forschungsberichte FKI 131 90型 : 1-14 ( 1990 ) [i1] 鲍姆加特内 , 齐格弗里德·梅根多夫 , 宗炎秋 :
从可重用性的角度来看软件规范方法。 慕尼黑TU Forschungsberichte FKI 133 90公司 : 1-74 ( 1990 )
合著者索引
