AI 2013: Advances in Artificial Intelligence

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Logical Framework of Bargaining with Integrity Constraints
3. Altmetric Badge
   Chapter 2 Security Games with Ambiguous Information about Attacker Types
4. Altmetric Badge
   Chapter 3 AI 2013: Advances in Artificial Intelligence
5. Altmetric Badge
   Chapter 4 Protein Fold Recognition Using an Overlapping Segmentation Approach and a Mixture of Feature Extraction Models
6. Altmetric Badge
   Chapter 5 Neighborhood Selection in Constraint-Based Local Search for Protein Structure Prediction
7. Altmetric Badge
   Chapter 6 On Caching for Local Graph Clustering Algorithms
8. Altmetric Badge
   Chapter 7 Provenance-Based Trust Estimation for Service Composition
9. Altmetric Badge
   Chapter 8 3D EEG Source Localisation: A Preliminary Investigation Using MML
10. Altmetric Badge
    Chapter 9 DEPTH: A Novel Algorithm for Feature Ranking with Application to Genome-Wide Association Studies
11. Altmetric Badge
    Chapter 10 Evidence for Response Consistency Supports Polychronous Neural Groups as an Underlying Mechanism for Representation and Memory
12. Altmetric Badge
    Chapter 11 A Neural Network Model of Visual Attention and Group Classification, and Its Performance in a Visual Search Task
13. Altmetric Badge
    Chapter 12 Affect Detection from Virtual Drama
14. Altmetric Badge
    Chapter 13 A One-Shot Learning Approach to Image Classification Using Genetic Programming
15. Altmetric Badge
    Chapter 14 Event Detection Using Quantized Binary Code and Spatial-Temporal Locality Preserving Projections
16. Altmetric Badge
    Chapter 15 Growing Neural Gas Video Background Model (GNG-BM)
17. Altmetric Badge
    Chapter 16 Sparse Principal Component Analysis via Joint L 2,1 -Norm Penalty
18. Altmetric Badge
    Chapter 17 Image Segmentation with Adaptive Sparse Grids
19. Altmetric Badge
    Chapter 18 Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution
20. Altmetric Badge
    Chapter 19 A New Efficient In Situ Sampling Model for Heuristic Selection in Optimal Search
21. Altmetric Badge
    Chapter 20 AI 2013: Advances in Artificial Intelligence
22. Altmetric Badge
    Chapter 21 AI 2013: Advances in Artificial Intelligence
23. Altmetric Badge
    Chapter 22 AI 2013: Advances in Artificial Intelligence
24. Altmetric Badge
    Chapter 23 Particle Swarm Optimisation and Statistical Clustering for Feature Selection
25. Altmetric Badge
    Chapter 24 Evaluating the Seeding Genetic Algorithm
26. Altmetric Badge
    Chapter 25 A Constructive Artificial Chemistry to Explore Open-Ended Evolution
27. Altmetric Badge
    Chapter 26 Game Description Language Compiler Construction
28. Altmetric Badge
    Chapter 27 AI 2013: Advances in Artificial Intelligence
29. Altmetric Badge
    Chapter 28 Neuroevolution for Micromanagement in the Real-Time Strategy Game Starcraft: Brood War
30. Altmetric Badge
    Chapter 29 AI 2013: Advances in Artificial Intelligence
31. Altmetric Badge
    Chapter 30 Bisimulation for Single-Agent Plausibility Models
32. Altmetric Badge
    Chapter 31 An Efficient Tableau for Linear Time Temporal Logic
33. Altmetric Badge
    Chapter 32 AI 2013: Advances in Artificial Intelligence
34. Altmetric Badge
    Chapter 33 Some Complexity Results for Distance-Based Judgment Aggregation
35. Altmetric Badge
    Chapter 34 Supraclassical Consequence Relations
36. Altmetric Badge
    Chapter 35 AI 2013: Advances in Artificial Intelligence
37. Altmetric Badge
    Chapter 36 Conjunctive Query Answering in ${\mathcal{CFD}}_{nc}$ : A PTIME Description Logic with Functional Constraints and Disjointness
38. Altmetric Badge
    Chapter 37 Propositionalisation of Multi-instance Data Using Random Forests
39. Altmetric Badge
    Chapter 38 AI 2013: Advances in Artificial Intelligence
40. Altmetric Badge
    Chapter 39 Computer Aided Diagnosis of ADHD Using Brain Magnetic Resonance Images
41. Altmetric Badge
    Chapter 40 Evaluating Sparse Codes on Handwritten Digits
42. Altmetric Badge
    Chapter 41 Minimum Message Length Ridge Regression for Generalized Linear Models
43. Altmetric Badge
    Chapter 42 Ultimate Order Statistics-Based Prototype Reduction Schemes
44. Altmetric Badge
    Chapter 43 Group Recommender Systems: A Virtual User Approach Based on Precedence Mining
45. Altmetric Badge
    Chapter 44 A New Paradigm for Pattern Classification: Nearest Border Techniques
46. Altmetric Badge
    Chapter 45 Learning Polytrees with Constant Number of Roots from Data
47. Altmetric Badge
    Chapter 46 AI 2013: Advances in Artificial Intelligence
48. Altmetric Badge
    Chapter 47 Generating Context Templates for Word Sense Disambiguation
49. Altmetric Badge
    Chapter 48 Evolving Stochastic Dispatching Rules for Order Acceptance and Scheduling via Genetic Programming
50. Altmetric Badge
    Chapter 49 Detecting Mutex Pairs in State Spaces by Sampling
51. Altmetric Badge
    Chapter 50 AI 2013: Advances in Artificial Intelligence