@comment{{This file has been generated by bib2bib 1.95}}

@comment{{Command line: bib2bib -c 'year=2005 and not annote:"skip_html" and not annote:"unpublished"' -ob peter-2005.bib -oc peter-2005.cite peter.bib}}

@inproceedings{Baumgartner:Tinelli:ModelEvolutionCalculusEquality:CADE:2005, author = {Peter Baumgartner and Cesare Tinelli}, title = {The Model Evolution Calculus with Equality}, crossref = {CADE:05}, era = {A}, pages = {392-408}, url = {BaumgartnerTinelli-CADE-20.pdf}, abstract = {In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in the Model Evolution calculus (ME), a first-order version of the propositional DPLL procedure. The new calculus, MEE, is a proper extension of the ME calculus without equality. Like ME it maintains an explicit ``candidate model'', which is searched for by DPLL-style splitting. For equational reasoning MEE uses an adapted version of the ordered paramodulation inference rule, where equations used for paramodulation are drawn (only) from the candidate model. The calculus also features a generic, semantically justified simplification rule which covers many simplification techniques known from superposition-style theorem proving. Our main result is the correctness of the MEE calculus in the presence of very general redundancy elimination criteria.} }

@inproceedings{Furbach:etal:OptimizingXPathDL:INAP:2005, author = {Ulrich Furbach and Margret Gross-Hardt and Thomas Kleemann and Peter Baumgartner}, title = {{O}ptimizing the {E}valuation of {XPath} {U}sing {D}escription {L}ogics}, booktitle = {Applications of Declarative Programming and Knowledge Management (INAP/WLP 2004)}, optcrossref = {}, optkey = {}, optpages = {}, year = {2005}, editor = {Dietmar Seipel and Michael Hanus and Ulrich Geske and Oskar Bartenstein}, volume = {3392}, optnumber = {}, era = {C}, series = {Lecture Notes in Artificial Intelligence}, optaddress = {}, month = {March}, optorganization = {}, opturl = {}, publisher = {Springer Verlag, Berlin, Heidelberg, New-York} }

@article{Baumgartner:etal:AR-KR-Management:KI:2005, author = {Peter Baumgartner and Ulrich Furbach and Adnan H. Yahya}, title = {Automated Reasoning, Knowledge Representation and Management}, journal = {KI}, year = {2005}, optkey = {}, volume = {1}, optnumber = {}, pages = {5-11}, optmonth = {}, optnote = {} }

@proceedings{CADE:05, booktitle = {CADE-20 -- The 20th International Conference on Automated Deduction}, editor = {Robert Nieuwenhuis}, year = {2005}, volume = {3632}, series = {Lecture Notes in Artificial Intelligence}, publisher = {Springer}, title = {Automated Deduction -- CADE-20} }

@proceedings{Ahrendt:etal:DisprovingAndPDPAR:ENTCS:05, title = {{S}elected {P}apers from the {W}orkshops on {D}isproving and the {S}econd {I}nternational {W}orkshop on {P}ragmatics of {D}ecision {P}rocedures ({PDPAR} 2004)}, booktitle = {{S}elected {P}apers from the {W}orkshops on {D}isproving and the {S}econd {I}nternational {W}orkshop on {P}ragmatics of {D}ecision {P}rocedures ({PDPAR} 2004)}, editor = {Wolfgang Ahrendt and Peter Baumgartner and Hans de Nivelle and Silvio Ranise and Cesare Tinelli}, year = {2005}, volume = {125}, number = {3}, pages = {1-164}, series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier}, url = {http://www.sciencedirect.com/science?_ob=IssueURL&_tockey=%23TOC%2313109%232005%23998749996%23601031%23FLP%23display%23Volume_125,_Issue_3,_Pages_1-164_(18_July_2005)%2BMSelected_Papers_from_the_Workshops_on_Disproving_and_the_Second_International_Workshop_on_Pragmatics_of_Decision_Procedures_(PDPAR_2004)%2BM2004%2BMEdited_by_W._Ahrendt,_P._Baumgartner,_H._de_Nivelle,_S._Ranise_and_C._Tinelli%23tagged%23Volume%23first%3D125%23Issue%23first%3D3%23date%23(18_July_2005)%23specissname%23Selected_Papers_from_the_Workshops_on_Disproving_and_the_Second_International_Workshop_on_Pragmatics_of_Decision_Procedures_(PDPAR_2004)%23specissdate%232004%23specisseditor%23Edited_by_W._Ahrendt,_P._Baumgartner,_H._de_Nivelle,_S._Ranise_and_C._Tinelli%23&_auth=y&view=c&_acct=C000004638&_version=1&_urlVersion=0&_userid=43521&md5=9f61c21be3c35831ab97d6d162981c53} }