Logic for Programming, Artificial Intelligence, and Reasoning

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 CERES in Many-Valued Logics
3. Altmetric Badge
   Chapter 2 A Decomposition Rule for Decision Procedures by Resolution-Based Calculi
4. Altmetric Badge
   Chapter 3 Abstract DPLL and Abstract DPLL Modulo Theories
5. Altmetric Badge
   Chapter 4 Combining Lists with Non-stably Infinite Theories
6. Altmetric Badge
   Chapter 5 Abstract Model Generation for Preprocessing Clause Sets
7. Altmetric Badge
   Chapter 6 Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying
8. Altmetric Badge
   Chapter 7 Applications of General Exact Satisfiability in Propositional Logic Modelling
9. Altmetric Badge
   Chapter 8 BCiC: A System for Code Authentication and Verification
10. Altmetric Badge
    Chapter 9 Ordered Resolution with Selection for $\mathcal{H}(@)$
11. Altmetric Badge
    Chapter 10 On a Semantic Subsumption Test
12. Altmetric Badge
    Chapter 11 Suitable Graphs for Answer Set Programming
13. Altmetric Badge
    Chapter 12 Weighted Answer Sets and Applications in Intelligence Analysis
14. Altmetric Badge
    Chapter 13 How to Fix It: Using Fixpoints in Different Contexts
15. Altmetric Badge
    Chapter 14 Reasoning About Systems with Transition Fairness
16. Altmetric Badge
    Chapter 15 Entanglement – A Measure for the Complexity of Directed Graphs with Applications to Logic and Games
17. Altmetric Badge
    Chapter 16 How the Location of * Influences Complexity in Kleene Algebra with Tests
18. Altmetric Badge
    Chapter 17 The Equational Theory of 〈ℕ, 0, 1, + , ×, ↑〉 Is Decidable, but Not Finitely Axiomatisable
19. Altmetric Badge
    Chapter 18 A Trichotomy in the Complexity of Propositional Circumscription
20. Altmetric Badge
    Chapter 19 Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems
21. Altmetric Badge
    Chapter 20 Evaluating QBFs via Symbolic Skolemization
22. Altmetric Badge
    Chapter 21 The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs
23. Altmetric Badge
    Chapter 22 Automated Termination Analysis for Incompletely Defined Programs
24. Altmetric Badge
    Chapter 23 Automatic Certification of Heap Consumption
25. Altmetric Badge
    Chapter 24 A Formalization of Off-Line Guessing for Security Protocol Analysis
26. Altmetric Badge
    Chapter 25 Abstraction-Carrying Code
27. Altmetric Badge
    Chapter 26 A Verification Environment for Sequential Imperative Programs in Isabelle/HOL
28. Altmetric Badge
    Chapter 27 Can a Higher-Order and a First-Order Theorem Prover Cooperate?
29. Altmetric Badge
    Chapter 28 A Generic Framework for Interprocedural Analyses of Numerical Properties
30. Altmetric Badge
    Chapter 29 Second-Order Matching via Explicit Substitutions
31. Altmetric Badge
    Chapter 30 Knowledge-Based Synthesis of Distributed Systems Using Event Structures
32. Altmetric Badge
    Chapter 31 The Inverse Method for the Logic of Bunched Implications
33. Altmetric Badge
    Chapter 32 Cut-Elimination: Experiments with CERES
34. Altmetric Badge
    Chapter 33 Uniform Rules and Dialogue Games for Fuzzy Logics
35. Altmetric Badge
    Chapter 34 Nonmonotonic Description Logic Programs: Implementation and Experiments
36. Altmetric Badge
    Chapter 35 Implementing Efficient Resource Management for Linear Logic Programming
37. Altmetric Badge
    Chapter 36 Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals