Skip to main content
SpringerLink
Log in
Book cover

Logic for Programming, Artificial Intelligence, and Reasoning

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

  • Conference proceedings
  • © 2013

Overview

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)

Included in the following conference series:

Conference proceedings info: LPAR 2013.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (52 papers)

  1. Front Matter

    Download chapter 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

  9. Dynamic and Static Symmetry Breaking in Answer Set Programming

    • Belaïd Benhamou
    Pages 112-126

  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

  17. Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic

    • Giovanni Casini, Umberto Straccia
    Pages 213-227

  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

  20. Complexity Analysis in Presence of Control Operators and Higher-Order Functions

    • Ugo Dal Lago, Giulio Pellitta
    Pages 258-273
Back to top

Other volumes

  1. Logic for Programming, Artificial Intelligence, and Reasoning

Keywords

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.

Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Ken McMillan

  • University of Innsbruck, Austria

    Aart Middeldorp

  • University of Manchester, UK

    Andrei Voronkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation