Skip to main content
  • Conference proceedings
  • © 2015

Logic for Programming, Artificial Intelligence, and Reasoning

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

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)

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

Conference proceedings info: LPAR 2015.

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-48899-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (43 papers)

  1. Front Matter

    Pages I-XV
  2. Skolemization for Substructural Logics

    • Petr Cintula, Denisa Diaconescu, George Metcalfe
    Pages 1-15
  3. Cobra: A Tool for Solving General Deductive Games

    • Miroslav Klimoš, Antonín Kučera
    Pages 31-47
  4. On Anti-subsumptive Knowledge Enforcement

    • Éric Grégoire, Jean-Marie Lagniez
    Pages 48-62
  5. Value Sensitivity and Observable Abstract Values for Information Flow Control

    • Luciano Bello, Daniel Hedin, Andrei Sabelfeld
    Pages 63-78
  6. SAT-Based Minimization of Deterministic \(\omega \) -Automata

    • Souheib Baarir, Alexandre Duret-Lutz
    Pages 79-87
  7. FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover

    • Cezary Kaliszyk, Josef Urban
    Pages 88-96
  8. Decidability, Introduction Rules and Automata

    • Gilles Dowek, Ying Jiang
    Pages 97-111
  9. Analyzing Internet Routing Security Using Model Checking

    • Adi Sosnovich, Orna Grumberg, Gabi Nakibly
    Pages 112-129
  10. 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
  11. 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
  12. Automated Benchmarking of Incremental SAT and QBF Solvers

    • Uwe Egly, Florian Lonsing, Johannes Oetsch
    Pages 178-186
  13. A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic

    • Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo
    Pages 187-202
  14. TIP: Tools for Inductive Provers

    • Dan Rosén, Nicholas Smallbone
    Pages 219-232
  15. Synchronized Recursive Timed Automata

    • Yuya Uezato, Yasuhiko Minamide
    Pages 249-265
  16. Focused Labeled Proof Systems for Modal Logic

    • Dale Miller, Marco Volpe
    Pages 266-280

Other Volumes

  1. Logic for Programming, Artificial Intelligence, and Reasoning

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

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.

Keywords

  • automated reasoning
  • computational logic
  • decision procedure
  • embedded dependency
  • modal logic
  • answer set programming
  • applications of logic
  • axiomatization
  • boolean logic
  • dependence logic
  • equality generating dependency
  • focused proof systems
  • geometric formulas
  • graded temporal logic
  • inclusion dependency
  • preemption
  • program synthesis
  • second-order logic
  • static analysis
  • theorem proving

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

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-48899-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.99
Price excludes VAT (USA)