| Invited Talks | |
| A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization | p. 1 |
| Social Agents | p. 14 |
| Globally Optimal Solutions to Vision Using Convex and Quasi-convex Optimization | p. 15 |
| Machine Learning | |
| Efficient Learning of Bayesian Network Classifiers: An Extension to the TAN Classifier | p. 16 |
| Mixture of the Robust L1 Distributions and Its Applications | p. 26 |
| On Using a Hierarchy of Twofold Resource Allocation Automata to Solve Stochastic Nonlinear Resource Allocation Problems | p. 36 |
| An Investigation into the Interaction Between Feature Selection and Discretization: Learning How and When to Read Numbers | p. 48 |
| Safe State Abstraction and Reusable Continuing Subtasks in Hierarchical Reinforcement Learning | p. 58 |
| Local Learning Algorithm for Markov Blanket Discovery | p. 68 |
| A Novel Ordering-Based Greedy Bayesian Network Learning Algorithm on Limited Data | p. 80 |
| New Options for Hoeffding Trees | p. 90 |
| Neural Networks | |
| Avoiding Local Minima in Feedforward Neural Networks by Simultaneous Learning | p. 100 |
| Some Analysis on the Network of Bursting Neurons: Quantifying Behavioral Synchronization | p. 110 |
| Comparative Analysis of Multiple Neural Networks for Online Identification of a UAV | p. 120 |
| Prediction of Polysomnographic Measurements | p. 130 |
| Evolutionary Computing | |
| An Adaptive Approach for QoS-Aware Web Service Composition Using Cultural Algorithms | p. 140 |
| A Genetic Programming Approach to Extraction of Glycan Motifs Using Tree Structured Patterns | p. 150 |
| Feature Construction and Dimension Reduction Using Genetic Programming | p. 160 |
| Adjusting Population Distance for the Dual-Population Genetic Algorithm | p. 171 |
| Constraint Satisfaction | |
| An Improved Concurrent Search Algorithm for Distributed CSPs | p. 181 |
| A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs | p. 191 |
| Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT | p. 202 |
| Satisfiability | |
| Advances in Local Search for Satisfiability | p. 213 |
| Clone: Solving Weighted Max-SAT in a Reduced Search Space | p. 223 |
| A CNF Formula Hierarchy over the Hypercube | p. 234 |
| Planning as Satisfiability with Relaxed [at least one exists]-Step Plans | p. 244 |
| Automated Reasoning | |
| Forgetting in Logic Programs with Ordered Disjunction | p. 254 |
| The 'Majority' and 'by Default' Modalities | p. 263 |
| Restricted Higher-Order Anti-unification for Analogy Making | p. 273 |
| A Template Matching Table for Speeding-Up Game-Tree Searches for Hex | p. 283 |
| Customizing Qualitative Spatial and Temporal Calculi | p. 293 |
| Knowledge Discovery | |
| extraRelief: Improving Relief by Efficient Selection of Instances | p. 305 |
| Constraint-Based Mining of Web Page Associations | p. 315 |
| Does Multi-user Document Classification Really Help Knowledge Management? | p. 327 |
| Not All Words Are Created Equal: Extracting Semantic Orientation as a Function of Adjective Relevance | p. 337 |
| Robotics | |
| A Bio-inspired Method for Incipient Slip Detection | p. 347 |
| TalkBack: Feedback from a Miniature Robot | p. 357 |
| Social Intelligence | |
| Using Viewing Time for Theme Prediction in Cultural Heritage Spaces | p. 367 |
| Collaborative Tagging in Recommender Systems | p. 377 |
| Computational Imagination: Research Agenda | p. 387 |
| Ontologies and Semantic Web | |
| An Upper Ontology for Event Classifications and Relations | p. 394 |
| A Within-Frame Ontological Extension on FrameNet: Application in Predicate Chain Analysis and Question Answering | p. 404 |
| Using Clustering for Web Information Extraction | p. 415 |
| Natural Language Systems | |
| A Decision Tree Approach to Sentence Chunking | p. 425 |
| The Semantic Representation of Temporal Expressions in Text | p. 435 |
| Effectiveness of Methods for Syntactic and Semantic Recognition of Numeral Strings: Tradeoffs Between Number of Features and Length of Word N-Grams | p. 445 |
| Using Automated Error Profiling of Texts for Improved Selection of Correction Candidates for Garbled Tokens | p. 456 |
| Hypothesis Generation and Maintenance in the Interpretation of Spoken Utterances | p. 466 |
| Knowledge Representation | |
| Temporal Extensions to Defeasible Logic | p. 476 |
| Characterising Deadlines in Temporal Model Defeasible Logic | p. 486 |
| Dialogue Games in Defeasible Logic | p. 497 |
| Implementing Iterated Belief Change Via Prime Implicates | p. 507 |
| Expert Systems | |
| Applying MCRDR to a Multidisciplinary Domain | p. 519 |
| Continuity of Fuzzy Approximate Reasoning and Its Application to Optimization | p. 529 |
| Applications of AI | |
| Tomographic Reconstruction of Images from Noisy Projections - A Preliminary Study | p. 539 |
| Automated Intelligent Abundance Analysis of Scallop Survey Video Footage | p. 549 |
| Multiple Classifier Object Detection with Confidence Measures | p. 559 |
| Agent-Based Distributed Energy Management | p. 569 |
| Adaptation Knowledge from the Case Base | p. 579 |
| Building Classification Models from Microarray Data with Tree-Based Classification Algorithms | p. 589 |
| MAUSA: Using Simulated Annealing for Guide Tree Construction in Multiple Sequence Alignment | p. 599 |
| Short Papers | |
| A System for Modal and Deontic Defeasible Reasoning | p. 609 |
| Time-Reversal in Conway's Life as SAT | p. 614 |
| A Knowledge-Based Approach to Named Entity Disambiguation in News Articles | p. 619 |
| Real-Time Scheduling for Non-crossing Stacking Cranes in an Automated Container Terminal | p. 625 |
| The Detrimentality of Crossover | p. 632 |
| Automatic Sapstain Detection in Processed Timber | p. 637 |
| Structure-Sensitive Learning of Text Types | p. 642 |
| A Comparison of Neural-Based Techniques Investigating Rotational Invariance for Upright People Detection in Low Resolution Imagery | p. 647 |
| Multilevel Thresholding Method for Image Segmentation Based on an Adaptive Particle Swarm Optimization Algorithm | p. 654 |
| Twin Kernel Embedding with Relaxed Constraints on Dimensionality Reduction for Structured Data | p. 659 |
| Evaluation of Connectives Acquisition in a Humanoid Robot Using Direct Physical Feedback | p. 664 |
| To Better Handle Concept Change and Noise: A Cellular Automata Approach to Data Stream Classification | p. 669 |
| Categorizing Software Engineering Knowledge Using a Combination of SWEBOK and Text Categorization | p. 675 |
| An Improved Probability Density Function for Representing Landmark Positions in Bearing-Only SLAM Systems | p. 682 |
| Weight Redistribution for Unweighted MAX-SAT | p. 687 |
| A HMM-Based Hierarchical Framework for Long-Term Population Projection of Small Areas | p. 694 |
| Backbone of the p-Median Problem | p. 699 |
| One Shot Associative Memory Method for Distorted Pattern Recognition | p. 705 |
| Efficiently Finding Negative Association Rules Without Support Threshold | p. 710 |
| A Data Mining Algorithm for Designing the Conventional Cellular Manufacturing Systems | p. 715 |
| A Compromised Large-Scale Neighborhood Search Heuristic for Cargo Loading Planning | p. 721 |
| Concurrent Temporal Planning Using Timed Petri Nets - Policy Evaluation | p. 727 |
| Validation of a Reinforcement Learning Policy for Dosage Optimization of Erythropoietin | p. 732 |
| Pixel-Based Colour Image Segmentation Using Support Vector Machine for Automatic Pipe Inspection | p. 739 |
| An Approach to Spanish Subjunctive Mood in Japanese to Spanish Machine Translation | p. 744 |
| Reasoning About Hybrid Systems Based on a Nonstandard Model | p. 749 |
| Merging Algorithm to Reduce Dimensionality in Application to Web-Mining | p. 755 |
| Human Behavior Analysis for Human-Robot Interaction in Indoor Environments | p. 762 |
| Fitness Functions in Genetic Programming for Classification with Unbalanced Data | p. 769 |
| Protein Structure Alignment Using Maximum Cliques and Local Search | p. 776 |
| SMART: Structured Memory for Abstract Reasoning and Thinking | p. 781 |
| An Efficient Segmentation Technique for Known Touching Objects Using a Genetic Algorithm Approach | p. 786 |
| Elements of a Learning Interface for Genre Qualified Search | p. 791 |
| A System for Acquisition of Noun Concepts from Utterances for Images Using the Label Acquisition Rules | p. 798 |
| Branching Rules for Satisfiability Analysed with Factor Analysis | p. 803 |
| Hybrid Methods to Select Informative Gene Sets in Microarray Data Classification | p. 810 |
| An EM Algorithm for Independent Component Analysis Using an AR-GGD Source Model | p. 815 |
| Bagging Support Vector Machine for Classification of SELDI-ToF Mass Spectra of Ovarian Cancer Serum Samples | p. 820 |
| Class Association Rule Mining with Multiple Imbalanced Attributes | p. 827 |
| DBSC: A Dependency-Based Subspace Clustering Algorithm for High Dimensional Numerical Datasets | p. 832 |
| Author Index | p. 839 |
| Table of Contents provided by Ingram. All Rights Reserved. |
