Lecture Notes in Artificial Intelligence

Automated Reasoning

Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Editors: Basin, David, Rusinowitch, Michael (Eds.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-25984-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-22345-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR in Siena,Italyin2001,whichbroughttogetherdi?erentresearchcommunitieswo- ing in automated reasoning. The current IJCAR is the fusion of the following conferences: CADE: The International Conference on Automated Deduction, CALCULEMUS: Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, FroCoS: Workshop on Frontiers of Combining Systems, FTP: The International Workshop on First-Order Theorem Proving, and TABLEAUX: The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. There were 74 research papers submitted to IJCAR as well as 12 system descriptions. After extensive reviewing, 26 research papers and 6 system - scriptions were accepted for presentation at the conference and publication in this volume. In addition, this volume also contains papers from the three invited speakers and a description of the CADE ATP system competition. We would like to acknowledge the enormous amount of work put in by the members of the program committee, the various organizing and steering c- mittees, the IJCAR o?cials, the invited speakers, and the additional referees named on the following pages. We would also like to thank Achim Brucker and Barbara Geiser for their help in producing this volume.

Table of contents (36 chapters)

  • Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools

    Meseguer, José (et al.)

    Pages 1-44

  • A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting

    Löchner, Bernd

    Pages 45-59

  • Efficient Checking of Term Ordering Constraints

    Riazanov, Alexandre (et al.)

    Pages 60-74

  • Improved Modular Termination Proofs Using Dependency Pairs

    Thiemann, René (et al.)

    Pages 75-90

  • Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure

    Godoy, Guillem (et al.)

    Pages 91-106

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-25984-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-22345-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Reasoning
Book Subtitle
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Editors
  • David Basin
  • Michael Rusinowitch
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
3097
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-25984-8
DOI
10.1007/b98691
Softcover ISBN
978-3-540-22345-0
Edition Number
1
Number of Pages
XII, 491
Topics