AIIA 2003: Advances in Artificial Intelligence

Knowledge Representation and Reasoning.- A Complete Subsumption Algorithm.- Temporal Decision Trees for Diagnosis: An Extension.- Obligations as Social Constructs.- Automatically Decomposing Configuration Problems.- Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning.- A Methodology for the Induction of Ontological Knowledge from Semantic Annotations.- Qualitative Spatial Reasoning in a Logical Framework.- On Managing Temporal Information for Handling Durative Actions in LPG.- An Abductive Proof Procedure Handling Active Rules.- Soft Computing.- BackPropagation through Cyclic Structures.- A Neural Architecture for Segmentation and Modelling of Range Data.- A Combination of Support Vector Machines and Bidirectional Recurrent Neural Networks for Protein Secondary Structure Prediction.- Adaptive Allocation of Data-Objects in the Web Using Neural Networks.- Machine Learning.- Improving the SLA Algorithm Using Association Rules.- Incremental Induction of Rules for Document Image Understanding.- Explaining Bagging with Monte Carlo Theory.- Pairwise Data Clustering Using Monotone Game Dynamics.- Abduction in Classification Tasks.- Data Mining.- MQL: An Algebraic Query Language for Knowledge Discovery.- Preprocessing and Mining Web Log Data for Web Personalization.- Multi-relational Structural Bayesian Classifier.- Intelligent Agents.- Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic.- Combining Intelligent Agents and Animation.- An Abductive Interpretation for Open Agent Societies.- Reasoning about Conversation Protocols in a Logic-Based Agent Language.- Distributed Intelligent Management of Active Networks.- Planning.- Planning under Uncertainty in Linear Time Logic.- Planning with Fuzzy Resources.- Planning by Abstraction Using HW[].- The Role of Different Solvers in Planning and Scheduling Integration.- Robotics.- Evolving the Neural Controller for a Robotic Arm Able to Grasp Objects on the Basis of