This book constitutes the refereed proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, AI*IA 2003, held in Pisa, Italy in September 2003.
The 44 revised full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on knowledge representation and reasoning, soft computing, machine learning, data mining, intelligent agents, planning, robotics, natural language processing, and applications in various fields.
Author(s): Stefano Ferilli, Nicola Di Mauro, Teresa M. A. Basile, Floriana Esposito (auth.), Amedeo Cappelli, Franco Turini (eds.)
Series: Lecture Notes in Computer Science 2829 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 558
Tags: Artificial Intelligence (incl. Robotics); Computation by Abstract Devices; Mathematical Logic and Formal Languages
Front Matter....Pages -
A Complete Subsumption Algorithm....Pages 1-13
Temporal Decision Trees for Diagnosis: An Extension....Pages 14-26
Obligations as Social Constructs....Pages 27-38
Automatically Decomposing Configuration Problems....Pages 39-52
Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning....Pages 53-64
A Methodology for the Induction of Ontological Knowledge from Semantic Annotations....Pages 65-77
Qualitative Spatial Reasoning in a Logical Framework....Pages 78-90
On Managing Temporal Information for Handling Durative Actions in LPG....Pages 91-104
An Abductive Proof Procedure Handling Active Rules....Pages 105-117
BackPropagation through Cyclic Structures....Pages 118-129
A Neural Architecture for Segmentation and Modelling of Range Data....Pages 130-141
A Combination of Support Vector Machines and Bidirectional Recurrent Neural Networks for Protein Secondary Structure Prediction....Pages 142-153
Adaptive Allocation of Data-Objects in the Web Using Neural Networks....Pages 154-164
Improving the SLA Algorithm Using Association Rules....Pages 165-175
Incremental Induction of Rules for Document Image Understanding....Pages 176-188
Explaining Bagging with Monte Carlo Theory....Pages 189-200
Pairwise Data Clustering Using Monotone Game Dynamics....Pages 201-212
Abduction in Classification Tasks....Pages 213-224
MQL: An Algebraic Query Language for Knowledge Discovery....Pages 225-236
Preprocessing and Mining Web Log Data for Web Personalization....Pages 237-249
Multi-relational Structural Bayesian Classifier....Pages 250-261
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic....Pages 262-274
Combining Intelligent Agents and Animation....Pages 275-286
An Abductive Interpretation for Open Agent Societies....Pages 287-299
Reasoning about Conversation Protocols in a Logic-Based Agent Language....Pages 300-311
Distributed Intelligent Management of Active Networks....Pages 312-323
Planning under Uncertainty in Linear Time Logic....Pages 324-335
Planning with Fuzzy Resources....Pages 336-348
Planning by Abstraction Using HW[]....Pages 349-361
The Role of Different Solvers in Planning and Scheduling Integration....Pages 362-374
Evolving the Neural Controller for a Robotic Arm Able to Grasp Objects on the Basis of Tactile Sensors....Pages 375-384
An Early Cognitive Approach to Visual Motion Analysis....Pages 385-397
Content Based Image Retrieval for Unsegmented Images....Pages 398-409
A Mechanism of Coalition Formation in the Metaphor of Politics Multiagent Architecture....Pages 410-422
Image-Based Monte-Carlo Localisation without a Map....Pages 423-435
Making Explicit the Hidden Semantics of Hierarchical Classifications....Pages 436-448
Sub-symbolic Encoding of Words....Pages 449-461
A Relation-Based Schema for Treebank Annotation....Pages 462-473
Personalized Recommendation of TV Programs....Pages 474-486
A Simulation-Based Decision Support System for Forest Fire Fighting....Pages 487-498
Knowledge Maintenance and Sharing in the KM Context: The Case of P–Truck....Pages 499-510
A CSP-Based Interactive Decision Aid for Space Mission Planning....Pages 511-522
E-mail Categorization, Filtering, and Alerting on Mobile Devices: The ifMail Prototype and its Experimental Evaluation....Pages 523-535
Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach....Pages 536-547
Two Paradigms for Natural-Language Processing....Pages 548-548
Robotics and AI: From Intelligent Robots to Neuro-robotics....Pages 549-549
Back Matter....Pages -
