Springer celebrates 175 years of publishing excellence! Join us >>

Theoretical Computer Science and General Issues

Logic for Programming, Artificial Intelligence, and Reasoning

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Editors: Davis, M., Fehnker, A., McIver, A., Voronkov, A. (Eds.)

Buy this book

eBook $89.00
price for Mexico (gross)
  • ISBN 978-3-662-48899-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for Mexico
  • ISBN 978-3-662-48898-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.

The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 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 (43 chapters)

  • Skolemization for Substructural Logics

    Cintula, Petr (et al.)

    Pages 1-15

  • Reasoning About Embedded Dependencies Using Inclusion Dependencies

    Hannula, Miika

    Pages 16-30

  • Cobra: A Tool for Solving General Deductive Games

    Klimoš, Miroslav (et al.)

    Pages 31-47

  • On Anti-subsumptive Knowledge Enforcement

    Grégoire, Éric (et al.)

    Pages 48-62

  • Value Sensitivity and Observable Abstract Values for Information Flow Control

    Bello, Luciano (et al.)

    Pages 63-78

Buy this book

eBook $89.00
price for Mexico (gross)
  • ISBN 978-3-662-48899-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for Mexico
  • ISBN 978-3-662-48898-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
Logic for Programming, Artificial Intelligence, and Reasoning
Book Subtitle
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Editors
  • Martin Davis
  • Ansgar Fehnker
  • Annabelle McIver
  • Andrei Voronkov
Series Title
Theoretical Computer Science and General Issues
Series Volume
9450
Copyright
2015
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-48899-7
DOI
10.1007/978-3-662-48899-7
Softcover ISBN
978-3-662-48898-0
Edition Number
1
Number of Pages
XV, 640
Number of Illustrations and Tables
142 illustrations in colour
Topics