↓ Skip to main content

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings

Overview of attention for book
Cover of 'Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Independently Checkable Proofs from Decision Procedures: Issues and Progress
  3. Altmetric Badge
    Chapter 2 Zap: Automated Theorem Proving for Software Analysis
  4. Altmetric Badge
    Chapter 3 Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools
  5. Altmetric Badge
    Chapter 4 Scaling Up: Computers vs. Common Sense
  6. Altmetric Badge
    Chapter 5 A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
  7. Altmetric Badge
    Chapter 6 Disjunctive Constraint Lambda Calculi
  8. Altmetric Badge
    Chapter 7 Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees
  9. Altmetric Badge
    Chapter 8 The nomore  + + Approach to Answer Set Solving
  10. Altmetric Badge
    Chapter 9 Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages
  11. Altmetric Badge
    Chapter 10 The Four Sons of Penrose
  12. Altmetric Badge
    Chapter 11 An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures
  13. Altmetric Badge
    Chapter 12 Second-Order Principles in Specification Languages for Object-Oriented Programs
  14. Altmetric Badge
    Chapter 13 Strong Normalization of the Dual Classical Sequent Calculus
  15. Altmetric Badge
    Chapter 14 Termination of Fair Computations in Term Rewriting
  16. Altmetric Badge
    Chapter 15 On Confluence of Infinitary Combinatory Reduction Systems
  17. Altmetric Badge
    Chapter 16 Matching with Regular Constraints
  18. Altmetric Badge
    Chapter 17 Recursive Path Orderings Can Also Be Incremental
  19. Altmetric Badge
    Chapter 18 Automating Coherent Logic
  20. Altmetric Badge
    Chapter 19 The Theorema Environment for Interactive Proof Development
  21. Altmetric Badge
    Chapter 20 A First Order Extension of Stålmarck’s Method
  22. Altmetric Badge
    Chapter 21 Regular Derivations in Basic Superposition-Based Calculi
  23. Altmetric Badge
    Chapter 22 On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity
  24. Altmetric Badge
    Chapter 23 Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination
  25. Altmetric Badge
    Chapter 24 Monotone AC-Tree Automata
  26. Altmetric Badge
    Chapter 25 On the Specification of Sequent Systems
  27. Altmetric Badge
    Chapter 26 Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic
  28. Altmetric Badge
    Chapter 27 Integration of a Software Model Checker into Isabelle
  29. Altmetric Badge
    Chapter 28 Experimental Evaluation of Classical Automata Constructions
  30. Altmetric Badge
    Chapter 29 Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
  31. Altmetric Badge
    Chapter 30 Reasoning About Incompletely Defined Programs
  32. Altmetric Badge
    Chapter 31 Model Checking Abstract State Machines with Answer Set Programming
  33. Altmetric Badge
    Chapter 32 Characterizing Provability in BI ’s Pointer Logic Through Resource Graphs
  34. Altmetric Badge
    Chapter 33 A Unified Memory Model for Pointers
  35. Altmetric Badge
    Chapter 34 Treewidth in Verification: Local vs. Global
  36. Altmetric Badge
    Chapter 35 Pushdown Module Checking
  37. Altmetric Badge
    Chapter 36 Logic for Programming, Artificial Intelligence, and Reasoning
  38. Altmetric Badge
    Chapter 37 Logic for Programming, Artificial Intelligence, and Reasoning
  39. Altmetric Badge
    Chapter 38 Algebraic Intruder Deductions
  40. Altmetric Badge
    Chapter 39 Satisfiability Checking for PC(ID)
  41. Altmetric Badge
    Chapter 40 Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning
  42. Altmetric Badge
    Chapter 41 Another Complete Local Search Method for SAT
  43. Altmetric Badge
    Chapter 42 Inference from Controversial Arguments
  44. Altmetric Badge
    Chapter 43 Programming Cognitive Agents in Defeasible Logic
  45. Altmetric Badge
    Chapter 44 The Relationship Between Reasoning About Privacy and Default Logics
  46. Altmetric Badge
    Chapter 45 Comparative Similarity, Tree Automata, and Diophantine Equations
  47. Altmetric Badge
    Chapter 46 Analytic Tableaux for KLM Preferential and Cumulative Logics
  48. Altmetric Badge
    Chapter 47 Bounding Resource Consumption with Gödel-Dummett Logics
  49. Altmetric Badge
    Chapter 48 On Interpolation in Existence Logics
  50. Altmetric Badge
    Chapter 49 Incremental Integrity Checking: Limitations and Possibilities
  51. Altmetric Badge
    Chapter 50 Concepts of Automata Construction from LTL
Attention for Chapter 47: Bounding Resource Consumption with Gödel-Dummett Logics
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Bounding Resource Consumption with Gödel-Dummett Logics
Chapter number 47
Book title
Logic for Programming, Artificial Intelligence, and Reasoning
Published by
Springer, Berlin, Heidelberg, December 2005
DOI 10.1007/11591191_47
Book ISBNs
978-3-54-030553-8, 978-3-54-031650-3
Authors

Dominique Larchey-Wendling

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 100%
Readers by discipline Count As %
Computer Science 1 100%