AI 2007: Advances in Artificial Intelligence

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