Progress in Artificial Intelligence

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Combinatorial Optimization in OPL Studio
3. Altmetric Badge
   Chapter 2 Challenges for Inductive Logic Programming
4. Altmetric Badge
   Chapter 3 Holonic Multiagent Systems — Theory and Applications —
5. Altmetric Badge
   Chapter 4 On the Accuracy and Running Time of GSAT
6. Altmetric Badge
   Chapter 5 The Impact of Branching Heuristics in Propositional Satisfiability Algorithms
7. Altmetric Badge
   Chapter 6 A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations
8. Altmetric Badge
   Chapter 7 Is $$ \mathcal{P}\mathcal{L}_2 $$ a Tractable Language?
9. Altmetric Badge
   Chapter 8 Inclusion of Picture Sequences in Generated Documents
10. Altmetric Badge
    Chapter 9 Using LocalMaxs Algorithm for the Extraction of Contiguous and Non-contiguous Multiword Lexical Units
11. Altmetric Badge
    Chapter 10 On the Formal Distinction between Literal and Figurative Language
12. Altmetric Badge
    Chapter 11 Qualitative Theory of Shape and Structure
13. Altmetric Badge
    Chapter 12 A New Formulation of Tabled Resolution with Delay
14. Altmetric Badge
    Chapter 13 YapOr: An Or-Parallel Prolog System Based on Environment Copying
15. Altmetric Badge
    Chapter 14 Structure Theorems for Closed Sets of Implicates/Implicants in Temporal Logic
16. Altmetric Badge
    Chapter 15 Critical Agents Supporting Interactive Theorem Proving
17. Altmetric Badge
    Chapter 16 A Practical Approach to Fusing Prioritized Knowledge Bases
18. Altmetric Badge
    Chapter 17 Fuzzy Behaviors and Behavior Arbitration in Autonomous Vehicles
19. Altmetric Badge
    Chapter 18 A Multi-agent System for Electronic Commerce Including Adaptive Strategic Behaviours
20. Altmetric Badge
    Chapter 19 Choice and Institutions in Agent Societies
21. Altmetric Badge
    Chapter 20 Analytic Modal Revision for Multi-agent Systems
22. Altmetric Badge
    Chapter 21 Decisions Based upon Multiple Values: The BVG Agent Architecture
23. Altmetric Badge
    Chapter 22 Temporal Abductive Diagnosis
24. Altmetric Badge
    Chapter 23 A New Approach to Base Revision
25. Altmetric Badge
    Chapter 24 Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming
26. Altmetric Badge
    Chapter 25 Genetic Algorithms for Solving Open Shop Scheduling Problems
27. Altmetric Badge
    Chapter 26 Expressing Population Based Optimization Heuristics Using PLATO