Skip to main content
SpringerLink
Log in
Book cover

Logic for Programming, Artificial Intelligence, and Reasoning

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Martin Davis

    1. New York University, New York, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ansgar Fehnker

    1. University of the South Pacific, Suva, Fiji

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Annabelle McIver

    1. Macquarie University, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Andrei Voronkov

    1. The University of Manchester, Manchester, United Kingdom

    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 9450)

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

Included in the following conference series:

Conference proceedings info: LPAR 2015.

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 EPUB and 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 (43 papers)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  2. Skolemization for Substructural Logics

    • Petr Cintula, Denisa Diaconescu, George Metcalfe
    Pages 1-15

  3. Reasoning About Embedded Dependencies Using Inclusion Dependencies

    • Miika Hannula
    Pages 16-30

  4. Cobra: A Tool for Solving General Deductive Games

    • Miroslav Klimoš, Antonín Kučera
    Pages 31-47

  5. On Anti-subsumptive Knowledge Enforcement

    • Éric Grégoire, Jean-Marie Lagniez
    Pages 48-62

  6. Value Sensitivity and Observable Abstract Values for Information Flow Control

    • Luciano Bello, Daniel Hedin, Andrei Sabelfeld
    Pages 63-78

  7. SAT-Based Minimization of Deterministic \(\omega \)-Automata

    • Souheib Baarir, Alexandre Duret-Lutz
    Pages 79-87

  8. FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover

    • Cezary Kaliszyk, Josef Urban
    Pages 88-96

  9. Decidability, Introduction Rules and Automata

    • Gilles Dowek, Ying Jiang
    Pages 97-111

  10. Analyzing Internet Routing Security Using Model Checking

    • Adi Sosnovich, Orna Grumberg, Gabi Nakibly
    Pages 112-129

  11. Boolean Formulas for the Static Identification of Injection Attacks in Java

    • Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto
    Pages 130-145

  12. An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials

    • Kaustuv Chaudhuri, Giselle Reis
    Pages 146-161

  13. Controller Synthesis for MDPs and Frequency LTL\(_{\setminus \mathbf{G}\mathbf U}\)

    • Vojtěch Forejt, Jan Krčál, Jan Křetínský
    Pages 162-177

  14. Automated Benchmarking of Incremental SAT and QBF Solvers

    • Uwe Egly, Florian Lonsing, Johannes Oetsch
    Pages 178-186

  15. A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic

    • Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo
    Pages 187-202

  16. Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs

    • Patrick Baillot, Gilles Barthe, Ugo Dal Lago
    Pages 203-218

  17. TIP: Tools for Inductive Provers

    • Dan Rosén, Nicholas Smallbone
    Pages 219-232

  18. Verification of Concurrent Programs Using Trace Abstraction Refinement

    • Franck Cassez, Frowin Ziegler
    Pages 233-248

  19. Synchronized Recursive Timed Automata

    • Yuya Uezato, Yasuhiko Minamide
    Pages 249-265

  20. Focused Labeled Proof Systems for Modal Logic

    • Dale Miller, Marco Volpe
    Pages 266-280
Back to top

Other volumes

  1. Logic for Programming, Artificial Intelligence, and Reasoning

Keywords

About this book

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.

Editors and Affiliations

  • New York University, New York, USA

    Martin Davis

  • University of the South Pacific, Suva, Fiji

    Ansgar Fehnker

  • Macquarie University, Sydney, Australia

    Annabelle McIver

  • The University of Manchester, Manchester, United Kingdom

    Andrei Voronkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation