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

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

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 https://doi.org/10.1007/978-3-642-45221-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-45220-8
  • Online ISBN 978-3-642-45221-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment