Logic for Programming, Artificial Intelligence, and Reasoning

19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

  • Ken McMillan
  • Aart Middeldorp
  • Andrei Voronkov
Conference proceedings LPAR 2013

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

Table of contents

  1. Front Matter
  2. Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
    Pages 1-17
  3. Elvira Albert, Samir Genaim, Enrique Martin-Martin
    Pages 18-34
  4. Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
    Pages 35-52
  5. David Aspinall, Ewen Denney, Christoph Lüth
    Pages 53-70
  6. Pablo Barceló, Gaelle Fontaine, Anthony Widjaja Lin
    Pages 71-85
  7. Peter Baumgartner, Joshua Bax
    Pages 86-95
  8. Anton Belov, António Morgado, Joao Marques-Silva
    Pages 96-111
  9. Christoph Benzmüller, Thomas Raths
    Pages 127-136
  10. Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger
    Pages 137-146
  11. Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
    Pages 147-163
  12. František Blahoudek, Mojmír Křetínský, Jan Strejček
    Pages 164-172
  13. Régis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard Kragl
    Pages 173-181
  14. Mélanie Boudard, Olivier Hermant
    Pages 182-197
  15. Filipe Casal, João Rasga
    Pages 198-212
  16. Krishnendu Chatterjee, Vojtěch Forejt, Dominik Wojtczak
    Pages 228-242
  17. Luís Cruz-Filipe, Rita Henriques, Isabel Nunes
    Pages 243-257
  18. David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant
    Pages 274-290
  19. Tim French, John McCabe-Dansted, Mark Reynolds
    Pages 309-323
  20. Gudmund Grov, Aleks Kissinger, Yuhui Lin
    Pages 324-339
  21. Tom Gundersen, Willem Heijltjes, Michel Parigot
    Pages 340-354
  22. David Harel, Amir Kantor, Guy Katz
    Pages 355-372
  23. Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
    Pages 389-406
  24. Marijn J. H. Heule, Armin Biere
    Pages 423-438
  25. Alexey Ignatiev, Antonio Morgado, Jordi Planes, Joao Marques-Silva
    Pages 439-456
  26. Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
    Pages 457-472
  27. Mikoláš Janota, Radu Grigore, Joao Marques-Silva
    Pages 473-489
  28. Chuan Jiang, Ting Zhang
    Pages 490-502
  29. Cezary Kaliszyk, Josef Urban
    Pages 503-517
  30. Szymon Klarman, Thomas Meyer
    Pages 536-551
  31. Patrick Koopmann, Renate A. Schmidt
    Pages 552-567
  32. Tero Laitinen, Tommi Junttila, Ilkka Niemelä
    Pages 568-583
  33. Petr Cintula, George Metcalfe
    Pages 584-600
  34. Fabio Mogavero, Aniello Murano, Loredana Sorrentino
    Pages 601-618
  35. Sebastian A. Mödersheim, Thomas Groß, Luca Viganò
    Pages 619-635
  36. Riku Nortje, Katarina Britz, Thomas Meyer
    Pages 636-652
  37. Annabelle McIver, Tahiry Rabehaja, Georg Struth
    Pages 653-667
  38. Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
    Pages 668-682
  39. Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
    Pages 683-693
  40. Ari Saptawijaya, Luís Moniz Pereira
    Pages 694-709
  41. Gabriel Scherer, Jan Hoffmann
    Pages 710-726
  42. Maximilian Schlund, Michał Terepeta, Michael Luttenberger
    Pages 727-734
  43. Stephan Schulz
    Pages 735-743

About these proceedings


This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 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.


answer set programming knowledge reasoning logic programming modal logic theorem proving

Editors and affiliations

  • Ken McMillan
    • 1
  • Aart Middeldorp
    • 2
  • Andrei Voronkov
    • 3
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.University of InnsbruckAustria
  3. 3.University of ManchesterUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-45220-8
  • Online ISBN 978-3-642-45221-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment