AIMSA 2010 ACCEPTED PAPERS

Knowledge Representation and Reasoning

#62 : Khalil Ben Mohamed, Michel Leclère and Marie-Laure Mugnier. Deduction in existential conjunctive first-order logic: an algorithm and experiments

#44: Raman Kazhamiakin, Volha Kerhet, Massimo Paolucci, Marco Pistore and Matthias Wagner. Use-based Discovery of Pervasive Services

#69 : Elena Botoeva, Diego Calvanese and Mariano Rodriguez-Muro. Expressive Approximations in DL-Lite Ontologies

#39 : Ah-Lian Kor and Bennett Brandon. Reasoning Mechanism for Cardinal Direction Relations in Geographic Information Systems

#9 : Vladimir Kurbalija, Miloš Radovanović, Zoltan Geler and Mirjana Ivanović. A Framework for Time-Series Analysis

Intelligent Techniques for Adaptation, Personalization and Recommendation

#46 : Pasquale Lops, Cataldo Musto, Fedelucio Narducci, Marco de Gemmis, Pierpaolo Basile and Giovanni Semeraro. Cross-language Personalization through a Semantic Content-based Recommender System

#26 : Yuan Wang, Jie Zhang and Julita Vassileva. Personalized Recommendation of Integrated Social Data across Social Networking Sites

#36 : Ondrej Ševce, Jozef Tvarožek and Mária Bieliková. Term Ranking and Categorization for Ad-hoc Navigation

#64 : Rong Pan and Peter Dolog. Time Optimized Algorithm for Web Document Presentation Adaptation

Constraints and Search

# 67 : Fabio Parisini, Michele Lombardi and Michela Milano. Discrepancy-based Sliced Neighborhood Search

#31 : Roman Barták. Constraint Models for Reasoning on Unification in Inductive Logic Programming

#75: Nicola Di Mauro, Teresa M.A. Basile, Stefano Ferilli and Floriana Esposito. Coalition Structure Generation with GRASP

Machine Learning, Data Mining and Information Retrieval

#16 : Barbara Bazzanella, Heiko Stoermer and Paolo Bouquet. Searching for Individual Entities: a Query Analysis

#79 : Claudiu Cristian Musat and Stefan Trausan Matu. The Impact of Valence Shifters on Mining Implicit Economic Opinions

#18 : Angela Fogarolli, George Giannakopoulos and Heiko Stoermer. Entity Popularity on the Web: Correlating ANSA News and AOL Search

#40 : Brent Martin, Marina Filipovic, Lara Rennie and David Shaw. Using Machine Learning to Prescribe Warfarin

# 87 : Evgueni Smirnov, Nikolay Nikolaev and Georgi Nalbantov. Single-Stacking Conformity Approach to Reliable Classification

#32 : Zilong Chen and Yang Lu. A relative word-frequency based method for relevance feedback

AI in Education

#71 : Sergio Gutierrez-Santos, Manolis Mavrikis and George Magoulas. Sequence Detection for Adaptive Feedback Generation in an Exploratory Environment for Mathematical Generalisation

#81 : Mihai Dascalu, Traian Rebedea and Stefan Trausan-Matu. A Deep Insight in Chat Analysis: Collaboration, Evolution and Evaluation, Summarization and Search

#59 : Dimitrios Sklavakis and Ioannis Refanidis. Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors

Applications

#47 : Anatoli Nachev. Comparative Analysis of Distributed, Default, IC, and Fuzzy ARTMAP neural networks for Classification of Malignant and Benign Lesions

#22: Veselka Boeva and Elena Kostadinova. An Adaptive Approach for Integration Analysis of Multiple Gene Expression Datasets

#54: Svetla Boytcheva, Galia Angelova, Ivelina Nikolova, Elena Paskaleva, Dimitar Tcharaktchiev and Nadya Dimitrova. EVTIMA: a system for IE from hospital patient records in Bulgarian

#30: Ieroham Baruch, Irving-Pavel de la Cruz and Boyka Nenkova. Direct Field Oriented Neural Control of a Three Phase Induction Motor

#45: Pawel Forczmanski and Dariusz Frejlichowski. General Shape Analysis Applied to Stamps Retrieval from Scanned Documents

Posters

#68. Farooq Ahmad and Helena Lindgren. Formation of Ontology for Collaborative Knowledge Modeling in the Health Domain

# 91: Lillian Cassel, SivaKumar Inguva and Jan Buzydlowski. An Ontology of all of Computing: An Update on Challenges and Approaches

#49: Joana Hois, Oliver Kutz, Till Mossakowski and John Bateman. Introducing Ontological Blending

#17: Tatyana Ivanova, Rumen Andreev and Valentina Terzieva. Integration of Ontology with Development of Personalized E-learning Facilities for Dyslexics

#28: Anna Jurek, Yaxin Bi, Shengli Wu and Chris Nugent. A Meta Learning Approach: Classification by Cluster Analysis

#38: Mariana Damova, Svetoslav Petrov and Kiril Simov. Mapping Data Driven Ontology and Upper Ontology

# 11: Piotr Kowalski and Piotr Kulczycki. Data Sample Reduction for Classification of Interval Information using Neural Network Sensitivity Analysis

# 84: H. Chad Lane. Individualized Virtual Humans for Social Skills Training

#89: Piotr Lipinski. Signal Classification with Self-Organizing Mixture Networks

#88: Vanya Markova. Simulation the Autonomous Agent Behavior by Autoregressive Models

#74: Masun Nabhan Homsi, Rania Lutfi and Rosa M. Carro. A Comparison of Different Machine Learning Algorithms for Student Modeling in IWEBISE System

# 8: Allan Ramsay. Semi-partitioned Horn clauses: a tractable logic of types

# 14 Olympia Roeva. Feed Rate Profiles Synthesis using Genetic Algorithms