Skip to main content
  • Conference proceedings
  • © 2012

Logic for Programming, Artificial Intelligence, and Reasoning

18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

  • Up-to-date results

  • Fast-track conference proceedings

  • State-of-the-art research

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

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 2012.

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-28717-6
  • 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 99.00
Price excludes VAT (USA)

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

Table of contents (34 papers)

  1. Front Matter

  2. Automatic Inference of Resource Consumption Bounds

    • Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
    Pages 1-11
  3. Enfragmo: A System for Modelling and Solving Search Problems with Logic

    • Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David Mitchell
    Pages 15-22
  4. The Permutative λ-Calculus

    • Beniamino Accattoli, Delia Kesner
    Pages 23-36
  5. Automated and Human Proofs in General Mathematics: An Initial Comparison

    • Jesse Alama, Daniel Kühlwein, Josef Urban
    Pages 37-45
  6. Lazy Abstraction with Interpolants for Arrays

    • Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
    Pages 46-61
  7. Backward Trace Slicing for Conditional Rewrite Theories

    • María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
    Pages 62-76
  8. Forgetting for Defeasible Logic

    • Grigoris Antoniou, Thomas Eiter, Kewen Wang
    Pages 77-91
  9. Querying Proofs

    • David Aspinall, Ewen Denney, Christoph Lüth
    Pages 92-106
  10. Dual-Priced Modal Transition Systems with Time Durations

    • Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael H. Møller, Jiří Srba
    Pages 122-137
  11. Finding Finite Herbrand Models

    • Stefan Borgwardt, Barbara Morawska
    Pages 138-152
  12. Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic

    • Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen et al.
    Pages 168-182
  13. Duality between Merging Operators and Social Contraction Operators

    • José Luis Chacón, Ramón Pino Pérez
    Pages 183-196
  14. Automatic Generation of Invariants for Circular Derivations in SUP(LA)

    • Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach
    Pages 197-211
  15. Moral Reasoning under Uncertainty

    • The Anh Han, Ari Saptawijaya, Luís Moniz Pereira
    Pages 212-227
  16. Towards Algorithmic Cut-Introduction

    • Stefan Hetzl, Alexander Leitsch, Daniel Weller
    Pages 228-242

Other Volumes

  1. Logic for Programming, Artificial Intelligence, and Reasoning

    18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

About this book

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74  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

  • artificial intelligence
  • constraint programming
  • description logics
  • resource analysis of programs
  • software verification

Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Nikolaj Bjørner

  • School of computer Science, University of Manchester, Manchester, UK

    Andrei Voronkov

Bibliographic Information

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-28717-6
  • 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 99.00
Price excludes VAT (USA)