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 LPAR 2015

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, 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
  17. Benjamin Aminof, Aniello Murano, Sasha Rubin
    Pages 281-296
  18. Benjamin Aminof, Sasha Rubin, Florian Zuleger
    Pages 313-328
  19. Alexander Steen, Christoph Benzmüller
    Pages 329-339
  20. Liana Hadarean, Clark Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters
    Pages 340-355
  21. Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival
    Pages 356-371
  22. Thibault Gauthier, Cezary Kaliszyk
    Pages 372-386
  23. Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub
    Pages 387-401
  24. Peter Brottveit Bock, Carsten Schürmann
    Pages 402-417
  25. Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl
    Pages 418-433
  26. Wolfgang Ahrendt , Laura Kovács, Simon Robillard
    Pages 434-443
  27. Marijn J. H. Heule, Armin Biere
    Pages 444-459
  28. Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi
    Pages 460-468
  29. Gaëtan Gilbert, Olivier Hermant
    Pages 469-482
  30. Cristina David, Daniel Kroening, Matt Lewis
    Pages 483-498
  31. Temesghen Kahsai, Jorge A. Navas, Dejan Jovanović, Martin Schäf
    Pages 499-514
  32. Iliano Cervesato, Edmund S. L. Lam
    Pages 515-531
  33. Fiona Berreby, Gauvain Bourgne, Jean-Gabriel Ganascia
    Pages 532-548
  34. Cynthia Kop, Naoki Nishida
    Pages 549-557
  35. Björn Lellmann, Elaine Pimentel
    Pages 558-574
  36. Thinh Dong, Chan Le Duc, Philippe Bonnot, Myriam Lamolle
    Pages 575-590
  37. Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari
    Pages 591-605
  38. Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina
    Pages 606-621
  39. Koen Claessen, Dan Rosén
    Pages 622-637
  40. Back Matter
    Pages 639-640

About these proceedings


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.


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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-48898-0
  • Online ISBN 978-3-662-48899-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site