Artificial Intelligence: Methodology, Systems, and Applications

Knowledge Representation and Reasoning.- Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments.- Use-Based Discovery of Pervasive Services.- Expressive Approximations in DL-Lite Ontologies.- Reasoning Mechanism for Cardinal Direction Relations.- A Framework for Time-Series Analysis.- Intelligent Techniques for Adaptation, Personalization, and Recommendation.- Cross-Language Personalization through a Semantic Content-Based Recommender System.- Towards Effective Recommendation of Social Data across Social Networking Sites.- Term Ranking and Categorization for Ad-Hoc Navigation.- Time Optimized Algorithm for Web Document Presentation Adaptation.- Constraints and Search.- Discrepancy-Based Sliced Neighborhood Search.- Constraint Models for Reasoning on Unification in Inductive Logic Programming.- Coalition Structure Generation with GRASP.- Machine Learning, Data Mining, and Information Retrieval.- A Bayesian Model for Entity Type Disambiguation.- The Impact of Valence Shifters on Mining Implicit Economic Opinions.- Entity Popularity on the Web: Correlating ANSA News and AOL Search.- Using Machine Learning to Prescribe Warfarin.- Single-Stacking Conformity Approach to Reliable Classification.- A Relative Word-Frequency Based Method for Relevance Feedback.- AI in Education.- Sequence Detection for Adaptive Feedback Generation in an Exploratory Environment for Mathematical Generalisation.- A Deep Insight in Chat Analysis: Collaboration, Evolution and Evaluation, Summarization and Search.- Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors.- Applications.- Comparative Analysis of Distributed, Default, IC, and Fuzzy ARTMAP Neural Networks for Classification of Malignant and Benign Lesions.- An Adaptive Approach for Integration Analysis of Multiple Gene Expression Datasets.- EVTIMA: A System for IE from Hospital Patient Records in Bulgarian.- Direct Field Oriented Neural Control of a Three Phase Induction Motor.- General Shape Analysis Applied to Stamps Retrieval from Scanned Documents.- Posters.- Selection of Foundational Ontology for Collaborative Knowledge Modeling in Healthcare Domain.- Towards Ontological Blending.- Integration of Ontology with Development of Personalized E-Learning Facilities for Dyslexics.- A Meta Learning Approach: Classification by Cluster Analysis.- Mapping Data Driven and Upper Level Ontology.- Data Sample Reduction for Classification of Interval Information Using Neural Network Sensitivity Analysis.- Individualized Virtual Humans for Social Skills Training.- Signal Classification with Self-organizing Mixture Networks.- Simulation of the Autonomous Agent Behavior by Autoregressive Models.- Semi-partitioned Horn Clauses: A Tractable Logic of Types.- Feed Rate Profiles Synthesis Using Genetic Algorithms.- An Ontology of All of Computing: An Update on Challenges and Approaches.