AI*IA 2003: Advances in Artificial Intelligence Book

	A Complete Subsumption Algorithm	1
	Temporal Decision Trees for Diagnosis: An Extension	14
	Obligations as Social Constructs	27
	Automatically Decomposing Configuration Problems	39
	Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning	53
	A Methodology for the Induction of Ontological Knowledge from Semantic Annotations	65
	Qualitative Spatial Reasoning in a Logical Framework	78
	On Managing Temporal Information for Handling Durative Actions in LPG	91
	An Abductive Proof Procedure Handling Active Rules	105
	Back Propagation through Cyclic Structures	118
	A Neural Architecture for Segmentation and Modelling of Range Data	130
	A Combination of Support Vector Machines and Bidirectional Recurrent Neural Networks for Protein Secondary Structure Prediction	142
	Adaptive Allocation of Data-Objects in the Web Using Neural Networks	154
	Improving the SLA Algorithm Using Association Rules	165
	Incremental Induction of Rules for Document Image Understanding	176
	Explaining Bagging with Monte Carlo Theory	189
	Pairwise Data Clustering Using Monotone Game Dynamics	201
	Abduction in Classification Tasks	213
	MQL: An Algebraic Query Language for Knowledge Discovery	225
	Preprocessing and Mining Web Log Data for Web Personalization	237
	Multi-relational Structural Bayesian Classifier	250
	Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic	262
	Combining Intelligent Agents and Animation	275
	An Abductive Interpretation for Open Agent Societies	287
	Reasoning about Conversation Protocols in a Logic-Based Agent Language	300
	Distributed Intelligent Management of Active Networks	312
	Planning under Uncertainty in Linear Time Logic	324
	Planning with Fuzzy Resources	336
	Planning by Abstraction Using HW[actual symbol not reproducible]	349
	The Role of Different Solvers in Planning and Scheduling Integration	362
	Evolving the Neural Controller for a Robotic Arm Able to Grasp Objects on the Basis of Tactile Sensors	375
	An Early Cognitive Approach to Visual Motion Analysis	385
	Content Based Image Retrieval for Unsegmented Images	398
	A Mechanism of Coalition Formation in the Metaphor of Politics Multiagent Architecture	410
	Image-Based Monte-Carlo Localisation without a Map	423
	Making Explicit the Hidden Semantics of Hierarchical Classifications	436
	Sub-symbolic Encoding of Words	449
	A Relation-Based Schema for Treebank Annotation	462
	Personalized Recommendation of TV Programs	474
	A Simulation-Based Decision Support System for Forest Fire Fighting	487
	Knowledge Maintenance and Sharing in the KM Context: The Case of P-Truck	499
	A CSP-Based Interactive Decision Aid for Space Mission Planning	511
	E-mail Categorization, Filtering, and Alerting on Mobile Devices: The ifMail Prototype and its Experimental Evaluation	523
	Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach	536
	Two Paradigms for Natural-Language Processing	548
	Robotics and AI: From Intelligent Robots to Neuro-robotics	549
	Author Index	551