14. AIMSA 2010: Varna, Bulgaria

Knowledge Representation and Reasoning

• Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier:
  Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments. 1-10
  
• Raman Kazhamiakin, Volha Kerhet, Massimo Paolucci, Marco Pistore, Matthias Wagner:
  Use-Based Discovery of Pervasive Services. 11-20
  
• Elena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro:
  Expressive Approximations in DL-Lite Ontologies. 21-31
  
• Ah-Lian Kor, Brandon Bennett:
  Reasoning Mechanism for Cardinal Direction Relations. 32-41
  
• Vladimir Kurbalija, Milos Radovanovic, Zoltan Geler, Mirjana Ivanovic:
  A Framework for Time-Series Analysis. 42-51
  

Intelligent Techniques for Adaptation, Personalization, and Recommendation

• Pasquale Lops, Cataldo Musto, Fedelucio Narducci, Marco de Gemmis, Pierpaolo Basile, Giovanni Semeraro:
  Cross-Language Personalization through a Semantic Content-Based Recommender System. 52-60
  
• Yuan Wang, Jie Zhang, Julita Vassileva:
  Towards Effective Recommendation of Social Data across Social Networking Sites. 61-70
  
• Ondrej Sevce, Jozef Tvarozek, Mária Bieliková:
  Term Ranking and Categorization for Ad-Hoc Navigation. 71-80
  
• Rong Pan, Peter Dolog:
  Time Optimized Algorithm for Web Document Presentation Adaptation. 81-90
  

Constraints and Search

• Fabio Parisini, Michele Lombardi, Michela Milano:
  Discrepancy-Based Sliced Neighborhood Search. 91-100
  
• Roman Barták:
  Constraint Models for Reasoning on Unification in Inductive Logic Programming. 101-110
  
• Nicola Di Mauro, Teresa Maria Altomare Basile, Stefano Ferilli, Floriana Esposito:
  Coalition Structure Generation with GRASP. 111-120
  

Machine Learning, Data Mining, and Information Retrieval

• Barbara Bazzanella, Heiko Stoermer, Paolo Bouquet:
  A Bayesian Model for Entity Type Disambiguation. 121-130
  
• Claudiu Cristian Musat, Stefan Trausan-Matu:
  The Impact of Valence Shifters on Mining Implicit Economic Opinions. 131-140
  
• Angela Fogarolli, George Giannakopoulos, Heiko Stoermer:
  Entity Popularity on the Web: Correlating ANSA News and AOL Search. 141-150
  
• Brent Martin, Marina Filipovic, Lara Rennie, David Shaw:
  Using Machine Learning to Prescribe Warfarin. 151-160
  
• Evgueni N. Smirnov, Nikolay I. Nikolaev, Georgi I. Nalbantov:
  Single-Stacking Conformity Approach to Reliable Classification. 161-170
  
• Zilong Chen, Yang Lu:
  A Relative Word-Frequency Based Method for Relevance Feedback. 171-180
  

AI in Education

• Sergio Gutiérrez Santos, Manolis Mavrikis, George D. Magoulas:
  Sequence Detection for Adaptive Feedback Generation in an Exploratory Environment for Mathematical Generalisation. 181-190
  
• Mihai Dascalu, Traian Rebedea, Stefan Trausan-Matu:
  A Deep Insight in Chat Analysis: Collaboration, Evolution and Evaluation, Summarization and Search. 191-200
  
• Dimitrios Sklavakis, Ioannis Refanidis:
  Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors. 201-210
  

Applications

• Anatoli Nachev:
  Comparative Analysis of Distributed, Default, IC, and Fuzzy ARTMAP Neural Networks for Classification of Malignant and Benign Lesions. 211-220
  
• Veselka Boeva, Elena Kostadinova:
  An Adaptive Approach for Integration Analysis of Multiple Gene Expression Datasets. 221-230
  
• Svetla Boytcheva, Galia Angelova, Ivelina Nikolova, Elena Paskaleva, Dimitar Tcharaktchiev, Nadya Dimitrova:
  EVTIMA: A System for IE from Hospital Patient Records in Bulgarian. 231-240
  
• Ieroham S. Baruch, Irving Pavel de la Cruz, Boyka Nenkova:
  Direct Field Oriented Neural Control of a Three Phase Induction Motor. 241-250
  
• Dariusz Frejlichowski, Pawel Forczmanski:
  General Shape Analysis Applied to Stamps Retrieval from Scanned Documents. 251-260
  

Posters

• Farooq Ahmad, Helena Lindgren:
  Selection of Foundational Ontology for Collaborative Knowledge Modeling in Healthcare Domain. 261-262
  
• Joana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman:
  Towards Ontological Blending. 263-264
  
• Tatyana Ivanova, Rumen Andreev, Valentina Terzieva:
  Integration of Ontology with Development of Personalized E-Learning Facilities for Dyslexics. 265-266
  
• Anna Jurek, Yaxin Bi, Shengli Wu, Chris D. Nugent:
  A Meta Learning Approach: Classification by Cluster Analysis. 267-268
  
• Mariana Damova, Svetoslav Petrov, Kiril Ivanov Simov:
  Mapping Data Driven and Upper Level Ontology. 269-270
  
• Piotr A. Kowalski, Piotr Kulczycki:
  Data Sample Reduction for Classification of Interval Information Using Neural Network Sensitivity Analysis. 271-272
  
• H. Chad Lane:
  Individualized Virtual Humans for Social Skills Training. 273-274
  
• Piotr Lipinski:
  Signal Classification with Self-organizing Mixture Networks. 275-276
  
• Vanya Markova:
  Simulation of the Autonomous Agent Behavior by Autoregressive Models. 277-278
  
• Allan Ramsay:
  Semi-partitioned Horn Clauses: A Tractable Logic of Types. 279-280
  
• Olympia Roeva:
  Feed Rate Profiles Synthesis Using Genetic Algorithms. 281-282
  
• Lillian N. Cassel, Siva Kumar Inguva, Jan Buzydlowski:
  An Ontology of All of Computing: An Update on Challenges and Approaches. 283-284
  

Last update Tue May 22 03:55:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page