↓ Skip to main content

Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings

Overview of attention for book
Cover of 'Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 From Hilbert’s Program to a Logic Toolbox
  3. Altmetric Badge
    Chapter 2 On the Notion of Vacuous Truth
  4. Altmetric Badge
    Chapter 3 Whatever Happened to Deductive Question Answering?
  5. Altmetric Badge
    Chapter 4 Decidable Fragments of Many-Sorted Logic
  6. Altmetric Badge
    Chapter 5 One-Pass Tableaux for Computation Tree Logic
  7. Altmetric Badge
    Chapter 6 Logic for Programming, Artificial Intelligence, and Reasoning
  8. Altmetric Badge
    Chapter 7 Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic
  9. Altmetric Badge
    Chapter 8 Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
  10. Altmetric Badge
    Chapter 9 Least and Greatest Fixed Points in Linear Logic
  11. Altmetric Badge
    Chapter 10 The Semantics of Consistency and Trust in Peer Data Exchange Systems
  12. Altmetric Badge
    Chapter 11 Completeness and Decidability in Sequence Logic
  13. Altmetric Badge
    Chapter 12 HORPO with Computability Closure: A Reconstruction
  14. Altmetric Badge
    Chapter 13 Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs
  15. Altmetric Badge
    Chapter 14 Matching in Hybrid Terminologies
  16. Altmetric Badge
    Chapter 15 Verifying Cryptographic Protocols with Subterms Constraints
  17. Altmetric Badge
    Chapter 16 Deciding Knowledge in Security Protocols for Monoidal Equational Theories
  18. Altmetric Badge
    Chapter 17 Mechanized Verification of CPS Transformations
  19. Altmetric Badge
    Chapter 18 Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
  20. Altmetric Badge
    Chapter 19 Protocol Verification Via Rigid/Flexible Resolution
  21. Altmetric Badge
    Chapter 20 Preferential Description Logics
  22. Altmetric Badge
    Chapter 21 On Two Extensions of Abstract Categorial Grammars
  23. Altmetric Badge
    Chapter 22 Why Would You Trust B ?
  24. Altmetric Badge
    Chapter 23 How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
  25. Altmetric Badge
    Chapter 24 On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards
  26. Altmetric Badge
    Chapter 25 Data Complexity in the $\mathcal{EL}$ Family of Description Logics
  27. Altmetric Badge
    Chapter 26 An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
  28. Altmetric Badge
    Chapter 27 Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
  29. Altmetric Badge
    Chapter 28 Integrating Inductive Definitions in SAT
  30. Altmetric Badge
    Chapter 29 The Separation Theorem for Differential Interaction Nets
  31. Altmetric Badge
    Chapter 30 Complexity of Planning in Action Formalisms Based on Description Logics
  32. Altmetric Badge
    Chapter 31 Faster Phylogenetic Inference with MXG
  33. Altmetric Badge
    Chapter 32 Enriched μ –Calculus Pushdown Module Checking
  34. Altmetric Badge
    Chapter 33 Approved Models for Normal Logic Programs
  35. Altmetric Badge
    Chapter 34 Permutative Additives and Exponentials
  36. Altmetric Badge
    Chapter 35 Algorithms for Propositional Model Counting
  37. Altmetric Badge
    Chapter 36 Completeness for Flat Modal Fixpoint Logics
  38. Altmetric Badge
    Chapter 37 $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
  39. Altmetric Badge
    Chapter 38 The Complexity of Temporal Logic with Until and Since over Ordinals
  40. Altmetric Badge
    Chapter 39 ATP Cross-Verification of the Mizar MPTP Challenge Problems
Attention for Chapter 10: The Semantics of Consistency and Trust in Peer Data Exchange Systems
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
4 Mendeley