Lecture Notes in Artificial Intelligence

Automated Deduction - CADE-18

18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Editors: Voronkov, Andrei (Ed.)

Buy this book

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

The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, the Gesellschaft fur ¨ Informatik, Safelogic AB, and the University of Koblenz-Landau. There were 70 submissions, including 60 regular papers and 10 system - scriptions. Each submission was reviewed by at least ?ve program committee members and an electronic program committee meeting was held via the Int- net. The committee decided to accept 27 regular papers and 9 system descr- tions. One paper switched its category after refereeing, thus the total number of system descriptions in this volume is 10. In addition to the refereed papers, this volume contains an extended abstract of the CADE invited talk by Ian Horrocks, the joint CADE/CAV invited talk by Sharad Malik, and the joint CADE-TABLEAUX invited talk by Matthias Baaz. One more invited lecture was given by Daniel Jackson.

Table of contents (2 chapters)

  • Reasoning with Expressive Description Logics: Theory and Practice

    Ian Horrocks

    Pages 1-15

  • Temporal Logic for Proof-Carrying Code

    Andrew Bernard, Peter Lee

    Pages 31-46

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-45620-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-43931-8
  • 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-18
Book Subtitle
18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
Editors
  • Andrei Voronkov
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
2392
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45620-9
DOI
10.1007/3-540-45620-1
Softcover ISBN
978-3-540-43931-8
Edition Number
1
Number of Pages
XII, 540
Topics