AI*IA 2003 : advances in artificial intelligence : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003 : proceedings

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. 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 Tactile Sensors -- An Early Cognitive Approach To Visual Motion Analysis -- Content Based Image Retrieval For Unsegmented Images -- A Mechanism Of Coalition Formation In The Metaphor Of Politics Multiagent Architecture -- Image-based Monte-carlo Localisation Without A Map -- Natural Language Processing -- Making Explicit The Hidden Semantics Of Hierarchical Classifications -- Sub-symbolic Encoding Of Words -- A Relation-based Schema For Treebank Annotation -- Applications -- Personalized Recommendation Of Tv Programs -- A Simulation-based Decision Support System For Forest Fire Fighting -- Knowledge Maintenance And Sharing In The Km Context: The Case Of P–truck -- A Csp-based Interactive Decision Aid For Space Mission Planning -- E-mail Categorization, Filtering, And Alerting On Mobile Devices: The Ifmail Prototype And Its Experimental Evaluation --^ Applying Artificial Intelligence To Clinical Guidelines: The Glare Approach -- Invited Speakers -- Two Paradigms For Natural-language Processing -- Robotics And Ai: From Intelligent Robots To Neuro-robotics. Amedeo Cappelli, Franco Turini (eds.). Includes Bibliographical References And Index. 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 - The classical Logic Programming [8] provability relation, logic implication, has been shown to be undecidable [12], which is too strict a bias to be accepted.