This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008, held in Varna, Bulgaria in September 2008. The 30 revised full papers presented together with the 10 posters were carefully reviewed and selected from 109 submissions.

Agents.- Context Model for Multi-Agent System Reconfiguration.- NN-Based Multiagent Platform for Testing Investing Strategies.- Towards Agent-Oriented Relevant Information.- The Agent Modeling Language (AMOLA).- Natural Language Processing and Text Analysis.- Tailoring the Interpretation of Spatial Utterances for Playing a Board Game.- ASAP- An Advanced System for Assessing Chat Participants.- Using Text Segmentation to Enhance the Cluster Hypothesis.- Multilingual Plagiarism Detection.- Dealing with Spoken Requests in a Multimodal Question Answering System.- Noun Compound Interpretation Using Paraphrasing Verbs: Feasibility Study.- Machine Learning and Information Retrieval.- Optimising Predictive Control Based on Neural Models.- Prototypes Based Relational Learning.- Robustness Analysis of SARSA(?): Different Models of Reward and Initialisation.- Thematic Segment Retrieval Revisited.- Knowledge Representation and Reasoning.- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.- Mapping Properties of Heterogeneous Ontologies.- A Logical Approach to Dynamic Role-Based Access Control.- Interpolative Boolean Logic.- Abstract Argumentation Scheme Frameworks.- Constraints, Heuristics, and Search.- Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models.- Incorporating Learning in Grid-Based Randomized SAT Solving.- Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm.- Heuristic Hill-Climbing as a Markov Process.- DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs.- Applications.- Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier.- Logical Analysis of Mappings between Medical Classification Systems.- Modeling Reuse on Case-Based Reasoningwith Application to Breast Cancer Diagnosis.- Toward Expert Knowledge Representation for Automatic Breast Cancer Detection.- Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting.- Trilateration Analysis for Movement Planning in a Group of Mobile Robots.- Posters.- Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process.- Classification Model for Estimation of Risk Factors in Cardiological Diagnostics.- A Hybrid Approach to Distributed Constraint Satisfaction.- Interleaved Alldifferent Constraints: CSP vs. SAT Approaches.- Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations.- Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods.- A Social and Emotional Model for Obtaining Believable Emergent Behaviors.- A Learning Approach to Early Bug Prediction in Deployed Software.- Evolutionary Decision Support System for Stock Market Trading.- Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models.

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008, held in Varna, Bulgaria in September 2008. The 30 revised full papers presented together with the 10 posters were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on agents; natural language processing and text analysis; machine learning and information retrieval; knowledge representation and reasoning; constraints, heuristics and search; applications; posters.