彼得·鲍姆加特纳;比约恩·佩尔泽;塞萨尔·蒂内利 平等模式演变——修订并实施。 (英语) Zbl 1258.03020号 J.塞姆。计算。 47,第9期,1011-1045(2012). 审核人:奈尔·扎莫夫(喀山) MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人,J.Symb。计算。47,第9号,1011--1045(2012;Zbl 1258.03020) 全文: 内政部
彼得·鲍姆加特纳;塞萨尔·蒂内利 具有等模内置理论的模型演化。 (英语) Zbl 1341.68180号 Björner,Nikolaj(编辑)等人,《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22437-9/pbk;978-3-442-22438-6/电子书)。计算机科学课程讲稿6803。人工智能课堂讲稿,85-100(2011)。MSC公司:68吨15 03B20型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}和\textit{C.Tinelli},莱克特。注释计算。科学。6803,85--100(2011;Zbl 1341.68180) 全文: 内政部
彼得·鲍姆加特纳;富克斯,亚历山大;汉斯·德·尼维尔;塞萨尔·蒂内利 通过简化为无函数子句逻辑计算有限模型。 (英语) Zbl 1171.68040号 J.应用。日志。 7,第1期,58-74(2009).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人,J.Appl。日志。7,第1号,58--74(2009;Zbl 1171.68040) 全文: 内政部
彼得·鲍姆加特纳;塞萨尔·蒂内利 模型演化演算作为一阶DPLL方法。 (英语) Zbl 1182.03034号 Artif公司。智力。 172,编号4-5,591-632(2008).MSC公司:03B35型 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}和\textit{C.Tinelli},人工制品。智力。172,编号4--5591-632(2008年;兹bl 1182.03034) 全文: 内政部
彼得·鲍姆加特纳;富克斯,亚历山大;塞萨尔·蒂内利 \(mathcal{ME})(LIA)–具有线性整数算术约束的模型演化。 (英语) Zbl 1182.03033号 Cervesato,Iliano(编辑)等人,《编程逻辑、人工智能和推理》。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-89438-4/pbk)。计算机科学课堂讲稿5330。人工智能课堂讲稿,258-273(2008)。MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人,Lect。注释计算。科学。5330,258--273(2008;Zbl 1182.03033) 全文: 内政部
彼得·鲍姆加特纳;富克斯,亚历山大;塞萨尔·蒂内利 模型演化演算中的引理学习。 (英语) Zbl 1165.03308号 Hermann,Miki(编辑)等人,《编程逻辑、人工智能和推理》。2006年11月13日至17日在柬埔寨金边举行的第13届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-48281-9/pbk)。计算机科学课堂讲稿4246。人工智能课堂讲稿,572-586(2006)。MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人,Lect。注释计算。科学。4246572--586(2006年;Zbl 1165.03308) 全文: 内政部
沃尔夫冈·阿伦特(编辑);鲍姆加特纳,P。(编辑);de Nivelle,H。(编辑);Ranise,S。(编辑);蒂内利,C。(编辑) 2004年在爱尔兰科克举行的关于反驳的研讨会和第二次关于决策程序语用学的国际研讨会(2004年PDPAR)的论文选集。 (英语) Zbl 1271.68015号 理论计算机科学电子笔记125,第3条。阿姆斯特丹:爱思唯尔。164页。,仅电子版(2005)。MSC公司:68-06 68吨15 68T20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahrendt}(ed.)等人,《反驳研讨会和第二届决策程序语用学国际研讨会论文选集》(PDPAR 2004),爱尔兰科克,2004年。阿姆斯特丹:Elsevier(2005;Zbl 1271.68015) 全文: 链接
彼得·鲍姆加特纳;塞萨尔·蒂内利 具有等式的模型演化演算。 (英语) Zbl 1135.03325号 Nieuwenhuis,Robert(编辑),自动扣除-CADE-20。第20届自动扣减国际会议,爱沙尼亚塔林,2005年7月22日至27日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28005-7/pbk)。计算机科学课堂讲稿3632。人工智能课堂讲稿,392-408(2005)。MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}和\textit{C.Tinelli},Lect。注释计算。科学。3632392--408(2005年;Zbl 1135.03325) 全文: 内政部
彼得·鲍姆加特纳;塞萨尔·蒂内利 模型进化演算。 (英语) Zbl 1278.68249号 Franz Baader(编辑),《自动扣除——CADE-19》。2003年7月28日至8月2日在美国佛罗里达州迈阿密海滩举行的第19届自动扣减国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40559-3/pbk)。莱克特。注释计算。科学。2741, 350-364 (2003).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}和\textit{C.Tinelli},莱克特。注释计算。科学。2741350-364(2003年;Zbl 1278.68249) 全文: 内政部