@Proceedings{ basin.ea:automated:2004, abstract = {This book constitutes the refereed proceedings of the Second International Joint Conference on Automated Reasoning, IJCAR 2004, held in Cork, Ireland, in July 2004. IJCAR 2004 comprises CADE, CALCULEMUS, , FroCoS, FTP, and TABLEAUX. The 26 revised full research papers and 6 revised system demonstrations presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 86 submissions. The papers are organized in topical sections on rewriting, saturation-based theorem proving, combination techniques, verification and systems, reasoning with finite structure, tableaux and non-classical logics, applications and systems, computer mathematics, interactive theorem proving, combinatorial reasoning, and higher-order reasoning.Written for:For researchers and professionalsKeywords: automated deduction first-order logic logical inference mechanized reasoning nonclassical logics nonmonotonic reasoning proof theory tableaux methods}, address = {Cork, Ireland}, copyright = {© Springer-Verlag}, copyrighturl = {http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-156-72-32094526-0,00.html} , editor = {David Basin and Micha{\"e}l Rusinowitch}, language = {USenglish}, month = {Jul}, note = {Volume 3097}, cover = {2004/ijcar.jpg}, publisher = {Springer-Verlag}, title = {Automated Reasoning: Second International Joint Conference (IJCAR 2004)}, year = 2004, user = {bgeiser} }