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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

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

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions