Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9450)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: LPAR 2015.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (43 papers)
Other volumes
-
Logic for Programming, Artificial Intelligence, and Reasoning
Keywords
- automated reasoning
- computational logic
- decision procedure
- embedded dependency
- modal logic
- answer set programming
- applications of logic
- axiomatization
- boolean logic
- dependence logic
- equality generating dependency
- focused proof systems
- geometric formulas
- graded temporal logic
- inclusion dependency
- preemption
- program synthesis
- second-order logic
- static analysis
- theorem proving
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.
Editors and Affiliations
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: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-48899-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2015
Softcover ISBN: 978-3-662-48898-0Published: 03 December 2015
eBook ISBN: 978-3-662-48899-7Published: 01 December 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 640
Number of Illustrations: 142 illustrations in colour
Topics: Software Engineering, Artificial Intelligence, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Techniques, Programming Languages, Compilers, Interpreters