Logics in Artificial Intelligence

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 The Well-Founded Semantics Is the Principle of Inductive Definition
3. Altmetric Badge
   Chapter 2 Combining Introspection and Communication with Rationality and Reactivity in Agents
4. Altmetric Badge
   Chapter 3 Disjunctive Logic Program = Horn Program + Control Program
5. Altmetric Badge
   Chapter 4 Semantics of Partial-Order Programs
6. Altmetric Badge
   Chapter 5 Persistence and Minimality in Epistemic Logic
7. Altmetric Badge
   Chapter 6 Prohairetic Deontic Logic (PDL)
8. Altmetric Badge
   Chapter 7 Phased Labeled Logics of Conditional Goals
9. Altmetric Badge
   Chapter 8 Analysis of Distributed-Search Contraction-Based Strategies
10. Altmetric Badge
    Chapter 9 A Deduction Method Complete for Refutation and Finite Satisfiability
11. Altmetric Badge
    Chapter 10 Requirement-Based Cooperative Theorem Proving
12. Altmetric Badge
    Chapter 11 ℧-Resolution: An Inference Rule for Regular Multiple-Valued Logics
13. Altmetric Badge
    Chapter 12 A Matrix Characterization for $$ \mathcal{M}\mathcal{E}\mathcal{L}\mathcal{L} $$
14. Altmetric Badge
    Chapter 13 A Resolution Calculus for Dynamic Semantics
15. Altmetric Badge
    Chapter 14 Algorithms on Atomic Representations of Herbrand Models
16. Altmetric Badge
    Chapter 15 On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription
17. Altmetric Badge
    Chapter 16 An Approach to Query-Answering in Reiter’s Default Logic and the Underlying Existence of Extensions Problem
18. Altmetric Badge
    Chapter 17 Towards State Update Axioms: Reifying Successor State Axioms
19. Altmetric Badge
    Chapter 18 A Mechanised Proof System for Relation Algebra Using Display Logic
20. Altmetric Badge
    Chapter 19 Relative Similarity Logics are Decidable: Reduction to FO 2 with Equality
21. Altmetric Badge
    Chapter 20 A Conditional Logic for Belief Revision
22. Altmetric Badge
    Chapter 21 Implicates and Reduction Techniques for Temporal Logics
23. Altmetric Badge
    Chapter 22 A Logic for Anytime Deduction and Anytime Compilation
24. Altmetric Badge
    Chapter 23 On Knowledge, Strings, and Paradoxes
25. Altmetric Badge
    Chapter 24 Propositional Lower Bounds: Generalization and Algorithms
26. Altmetric Badge
    Chapter 25 Higher Order Generalization
27. Altmetric Badge
    Chapter 26 The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary
28. Altmetric Badge
    Chapter 27 Towards Inference and Computation Mobility: The Jinni Experiment