Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

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

  • Martin Davis
  • Ansgar Fehnker
  • Annabelle McIver
  • Andrei Voronkov
Conference proceedings

DOI: 10.1007/978-3-662-48899-7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9450)

Table of contents

  1. Front Matter
    Pages I-XV
  2. Petr Cintula, Denisa Diaconescu, George Metcalfe
    Pages 1-15
  3. Miroslav Klimoš, Antonín Kučera
    Pages 31-47
  4. Éric Grégoire, Jean-Marie Lagniez
    Pages 48-62
  5. Luciano Bello, Daniel Hedin, Andrei Sabelfeld
    Pages 63-78
  6. Souheib Baarir, Alexandre Duret-Lutz
    Pages 79-87
  7. Cezary Kaliszyk, Josef Urban
    Pages 88-96
  8. Gilles Dowek, Ying Jiang
    Pages 97-111
  9. Adi Sosnovich, Orna Grumberg, Gabi Nakibly
    Pages 112-129
  10. Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto
    Pages 130-145
  11. Vojtěch Forejt, Jan Krčál, Jan Křetínský
    Pages 162-177
  12. Uwe Egly, Florian Lonsing, Johannes Oetsch
    Pages 178-186
  13. Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo
    Pages 187-202
  14. Dan Rosén, Nicholas Smallbone
    Pages 219-232
  15. Yuya Uezato, Yasuhiko Minamide
    Pages 249-265
  16. Dale Miller, Marco Volpe
    Pages 266-280

About these proceedings

Introduction

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.

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

Editors and affiliations

  • Martin Davis
    • 1
  • Ansgar Fehnker
    • 2
  • Annabelle McIver
    • 3
  • Andrei Voronkov
    • 4
  1. 1.New York UniversityNew YorkUSA
  2. 2.University of the South PacificSuvaFiji
  3. 3.Macquarie UniversitySydneyAustralia
  4. 4.The University of ManchesterManchesterUnited Kingdom

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-48898-0
  • Online ISBN 978-3-662-48899-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349