Skip to main content
SpringerLink
Log in

Logic for Programming, Artificial Intelligence, and Reasoning

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Nikolaj Bjørner

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrei Voronkov

    1. School of computer Science, University of Manchester, Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: LPAR 2012.

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 (34 papers)

  1. Front Matter

    Download chapter PDF

  2. Automatic Inference of Resource Consumption Bounds

    • Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
    Pages 1-11

  3. Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems

    • Aart Middeldorp
    Pages 12-12

  4. Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning

    • Boris Motik
    Pages 13-14

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

  6. The Permutative λ-Calculus

    • Beniamino Accattoli, Delia Kesner
    Pages 23-36

  7. Automated and Human Proofs in General Mathematics: An Initial Comparison

    • Jesse Alama, Daniel Kühlwein, Josef Urban
    Pages 37-45

  8. Lazy Abstraction with Interpolants for Arrays

    • Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
    Pages 46-61

  9. Backward Trace Slicing for Conditional Rewrite Theories

    • María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
    Pages 62-76

  10. Forgetting for Defeasible Logic

    • Grigoris Antoniou, Thomas Eiter, Kewen Wang
    Pages 77-91

  11. Querying Proofs

    • David Aspinall, Ewen Denney, Christoph Lüth
    Pages 92-106

  12. Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints

    • Franz Baader, Alexander Okhotin
    Pages 107-121

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

  14. Finding Finite Herbrand Models

    • Stefan Borgwardt, Barbara Morawska
    Pages 138-152

  15. Smart Testing of Functional Programs in Isabelle

    • Lukas Bulwahn
    Pages 153-167

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

  17. Duality between Merging Operators and Social Contraction Operators

    • José Luis Chacón, Ramón Pino Pérez
    Pages 183-196

  18. Automatic Generation of Invariants for Circular Derivations in SUP(LA)

    • Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach
    Pages 197-211

  19. Moral Reasoning under Uncertainty

    • The Anh Han, Ari Saptawijaya, Luís Moniz Pereira
    Pages 212-227

  20. Towards Algorithmic Cut-Introduction

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

Other volumes

  1. Logic for Programming, Artificial Intelligence, and Reasoning

Keywords

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.

Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Nikolaj Bjørner

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

    Andrei Voronkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation