↓ Skip to main content
What is this page? Embed badge

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings

Overview of attention for book
Cover of 'Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Higher-Order Termination: From Kruskal to Computability
  3. Altmetric Badge
    Chapter 2 Deciding Satisfiability of Positive Second Order Joinability Formulae
  4. Altmetric Badge
    Chapter 3 SAT Solving for Argument Filterings
  5. Altmetric Badge
    Chapter 4 Inductive Decidability Using Implicit Induction
  6. Altmetric Badge
    Chapter 5 Matching Modulo Superdevelopments Application to Second-Order Matching
  7. Altmetric Badge
    Chapter 6 Derivational Complexity of Knuth-Bendix Orders Revisited
  8. Altmetric Badge
    Chapter 7 A Characterization of Alternating Log Time by First Order Functional Programs
  9. Altmetric Badge
    Chapter 8 Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems
  10. Altmetric Badge
    Chapter 9 On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus
  11. Altmetric Badge
    Chapter 10 Modular Cut-Elimination: Finding Proofs or Counterexamples
  12. Altmetric Badge
    Chapter 11 An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf
  13. Altmetric Badge
    Chapter 12 A Semantic Completeness Proof for TaMeD
  14. Altmetric Badge
    Chapter 13 Saturation Up to Redundancy for Tableau and Sequent Calculi
  15. Altmetric Badge
    Chapter 14 Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints
  16. Altmetric Badge
    Chapter 15 Combining Supervaluation and Degree Based Reasoning Under Vagueness
  17. Altmetric Badge
    Chapter 16 A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
  18. Altmetric Badge
    Chapter 17 A Local System for Intuitionistic Logic
  19. Altmetric Badge
    Chapter 18 CIC $\widehat{~}$ : Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions
  20. Altmetric Badge
    Chapter 19 Reducing Nondeterminism in the Calculus of Structures
  21. Altmetric Badge
    Chapter 20 A Relaxed Approach to Integrity and Inconsistency in Databases
  22. Altmetric Badge
    Chapter 21 On Locally Checkable Properties
  23. Altmetric Badge
    Chapter 22 Deciding Key Cycles for Security Protocols
  24. Altmetric Badge
    Chapter 23 Automating Verification of Loops by Parallelization
  25. Altmetric Badge
    Chapter 24 On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems
  26. Altmetric Badge
    Chapter 25 Verification Condition Generation Via Theorem Proving
  27. Altmetric Badge
    Chapter 26 An Incremental Approach to Abstraction-Carrying Code
  28. Altmetric Badge
    Chapter 27 Context-Sensitive Multivariant Assertion Checking in Modular Programs
  29. Altmetric Badge
    Chapter 28 Representation of Partial Knowledge and Query Answering in Locally Complete Databases
  30. Altmetric Badge
    Chapter 29 Sequential, Parallel, and Quantified Updates of First-Order Structures
  31. Altmetric Badge
    Chapter 30 Representing Defaults and Negative Information Without Negation-as-Failure
  32. Altmetric Badge
    Chapter 31 Constructing Camin-Sokal Phylogenies Via Answer Set Programming
  33. Altmetric Badge
    Chapter 32 Automata for Positive Core XPath Queries on Compressed Documents
  34. Altmetric Badge
    Chapter 33 Boolean Rings for Intersection-Based Satisfiability
  35. Altmetric Badge
    Chapter 34 Logic for Programming, Artificial Intelligence, and Reasoning
  36. Altmetric Badge
    Chapter 35 Splitting on Demand in SAT Modulo Theories
  37. Altmetric Badge
    Chapter 36 Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis
  38. Altmetric Badge
    Chapter 37 Automatic Combinability of Rewriting-Based Satisfiability Procedures
  39. Altmetric Badge
    Chapter 38 To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in $\mathit{SMT}(\mathcal{EUF} \cup \mathcal{T})$
  40. Altmetric Badge
    Chapter 39 Lemma Learning in the Model Evolution Calculus
Overall attention for this book and its chapters
Altmetric Badge
Summary
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.
Title
Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
Published by
Springer, January 2006
DOI 10.1007/11916277
ISBNs
978-3-54-048281-9, 978-3-54-048282-6
Authors

Hermann, Miki, Voronkov, A

Editors

Hermann, Miki, Voronkov, Andrei

View on publisher site

This page is provided by Altmetric.