Theoretical Computer Science and General Issues

Logic for Programming, Artificial Intelligence, and Reasoning

18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Editors: Bjørner, Nikolaj, Voronkov, Andrei (Eds.)

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research
see more benefits

Buy this book

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

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

Table of contents (34 chapters)

  • Automatic Inference of Resource Consumption Bounds

    Albert, Elvira (et al.)

    Pages 1-11

  • Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems

    Middeldorp, Aart

    Pages 12-12

  • Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning

    Motik, Boris

    Pages 13-14

  • Enfragmo: A System for Modelling and Solving Search Problems with Logic

    Aavani, Amir (et al.)

    Pages 15-22

  • The Permutative λ-Calculus

    Accattoli, Beniamino (et al.)

    Pages 23-36

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-28717-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-28716-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic for Programming, Artificial Intelligence, and Reasoning
Book Subtitle
18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Editors
  • Nikolaj Bjørner
  • Andrei Voronkov
Series Title
Theoretical Computer Science and General Issues
Series Volume
7180
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-28717-6
DOI
10.1007/978-3-642-28717-6
Softcover ISBN
978-3-642-28716-9
Edition Number
1
Number of Pages
XI, 446
Topics