Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2013

Logic for Programming, Artificial Intelligence, and Reasoning

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

Editors:

  1. Ken McMillan

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Aart Middeldorp

    1. University of Innsbruck, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andrei Voronkov

    1. University of Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): LPAR: Logic for Programming, Artificial Intelligence, and Reasoning

Conference proceedings info: LPAR 2013.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (52 papers)

  1. Front Matter

    PDF

  2. An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics

    • Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
    Pages 1-17

  3. May-Happen-in-Parallel Analysis for Priority-Based Scheduling

    • Elvira Albert, Samir Genaim, Enrique Martin-Martin
    Pages 18-34

  4. The Complexity of Clausal Fragments of LTL

    • Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
    Pages 35-52

  5. A Semantic Basis for Proof Queries and Transformations

    • David Aspinall, Ewen Denney, Christoph Lüth
    Pages 53-70

  6. Expressive Path Queries on Graphs with Data

    • Pablo Barceló, Gaelle Fontaine, Anthony Widjaja Lin
    Pages 71-85

  7. Proving Infinite Satisfiability

    • Peter Baumgartner, Joshua Bax
    Pages 86-95

  8. SAT-Based Preprocessing for MaxSAT

    • Anton Belov, António Morgado, Joao Marques-Silva
    Pages 96-111

  10. HOL Based First-Order Modal Logic Provers

    • Christoph Benzmüller, Thomas Raths
    Pages 127-136

  11. Resourceful Reachability as HORN-LA

    • Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger
    Pages 137-146

  12. A Seligman-Style Tableau System

    • Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
    Pages 147-163

  13. Comparison of LTL to Deterministic Rabin Automata Translators

    • František Blahoudek, Mojmír Křetínský, Jan Strejček
    Pages 164-172

  14. Tree Interpolation in Vampire

    • Régis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard Kragl
    Pages 173-181

  15. Polarizing Double-Negation Translations

    • Mélanie Boudard, Olivier Hermant
    Pages 182-197

  16. Revisiting the Equivalence of Shininess and Politeness

    • Filipe Casal, João Rasga
    Pages 198-212

  18. Multi-objective Discounted Reward Verification in Graphs and MDPs

    • Krishnendu Chatterjee, Vojtěch Forejt, Dominik Wojtczak
    Pages 228-242

  19. Description Logics, Rules and Multi-context Systems

    • Luís Cruz-Filipe, Rita Henriques, Isabel Nunes
    Pages 243-257
Back to top

Other Volumes

  1. Logic for Programming, Artificial Intelligence, and Reasoning

Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Ken McMillan

  • University of Innsbruck, Austria

    Aart Middeldorp

  • University of Manchester, UK

    Andrei Voronkov

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation