Lecture Notes in Artificial Intelligence

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Editors: Baader, Franz (Ed.)

Buy this book

eBook £63.99
price for United Kingdom (gross)
  • ISBN 978-3-540-45085-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover £81.00
price for United Kingdom (gross)
  • ISBN 978-3-540-40559-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July–2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: – 4 contributions by invited speakers: one full paper and three short abstracts; – 29 accepted technical papers; – 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated theor- proving system competition (CASC-19) organized by Geo? Sutcli?e and Chr- tian Suttner. Despite many competing smaller conferences and workshops covering di?- entaspectsofautomateddeduction,CADEisstillthemajorforumfordiscussing new results on all aspects of automated deduction as well as presenting new s- tems and improvements of established systems. In contrast to the previous year, when CADE was one of the conferences participating in the Third Federated Logic Conference (FLoC 2002), and next year, when CADE will be part of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), CADE-19 was organized as a stand-alone event.

Table of contents (41 chapters)

  • SAT-Based Counterexample Guided Abstraction Refinement in Model Checking

    Clarke, Edmund M.

    Pages 1-1

  • Equational Abstractions

    Meseguer, José (et al.)

    Pages 2-16

  • Deciding Inductive Validity of Equations

    Giesl, Jürgen (et al.)

    Pages 17-31

  • Automating the Dependency Pair Method

    Hirokawa, Nao (et al.)

    Pages 32-46

  • An AC-Compatible Knuth-Bendix Order

    Korovin, Konstantin (et al.)

    Pages 47-59

Buy this book

eBook £63.99
price for United Kingdom (gross)
  • ISBN 978-3-540-45085-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover £81.00
price for United Kingdom (gross)
  • ISBN 978-3-540-40559-7
  • 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 Deduction - CADE-19
Book Subtitle
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Editors
  • Franz Baader
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
2741
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45085-6
DOI
10.1007/b11829
Softcover ISBN
978-3-540-40559-7
Edition Number
1
Number of Pages
XII, 512
Topics