AI 2007: Advances in Artificial Intelligence

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.