Lecture Notes in Artificial Intelligence

Automated Reasoning

5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Editors: Giesl, Jürgen, Hähnle, Reiner (Eds.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-14203-1
  • 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-642-14202-4
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
About this book

This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the conference sponsors – EPSRC, NSF, Microsoft Research, Association for Symbolic Logic, CADE Inc. , Google, Hewlett-Packard, Intel – is gratefully acknowledged. IJCARisthepremierinternationaljointconferenceonalltopicsinautomated reasoning, including foundations, implementations, and applications. Previous IJCAR conferences were held at Siena (Italy) in 2001, Cork (Ireland) in 2004, Seattle (USA) in 2006, and Sydney (Australia) in 2008. IJCAR comprises s- eral leading conferences and workshops. In 2010, IJCAR was the fusion of the following events: –CADE: International Conference on Automated Deduction –FroCoS: International Symposium on Frontiers of Combining Systems –FTP: International Workshop on First-Order Theorem Proving – TABLEAUX: InternationalConferenceonAutomatedReasoningwith- alytic Tableaux and Related Methods There were 89 submissions (63 regular papers and 26 system descriptions) of which 40 were accepted (28 regular papers and 12 system descriptions). Each submission was assigned to at least three Program Committee members, who carefully reviewed the papers, with the help of 92 external referees. Afterwards, the submissions were discussed by the ProgramCommittee during two weeks by means of Andrei Voronkov’s EasyChair system. We want to thank Andrei very much for providing his system, which was very helpful for the management of the submissions and reviews and for the discussion of the Program Committee.

Table of contents (43 chapters)

  • Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus

    Schack-Nielsen, Anders (et al.)

    Pages 1-14

  • Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)

    Pientka, Brigitte (et al.)

    Pages 15-21

  • MCMT: A Model Checker Modulo Theories

    Ghilardi, Silvio (et al.)

    Pages 22-29

  • On Hierarchical Reasoning in Combinations of Theories

    Ihlemann, Carsten (et al.)

    Pages 30-45

  • Global Caching for Coalgebraic Description Logics

    Goré, Rajeev (et al.)

    Pages 46-60

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-14203-1
  • 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-642-14202-4
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Reasoning
Book Subtitle
5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Editors
  • Jürgen Giesl
  • Reiner Hähnle
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
6173
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-14203-1
DOI
10.1007/978-3-642-14203-1
Softcover ISBN
978-3-642-14202-4
Edition Number
1
Number of Pages
XII, 534
Number of Illustrations and Tables
85 b/w illustrations
Topics