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 top...

Полное описание

Сохранить в:
Библиографические подробности
Соавтор: Italian association for artificial intelligence (Автор)
Другие авторы: Cappelli, Amedeo (Публикующий директор), Turini, Franco (Публикующий директор)
Формат: Livre numérique
Язык:Anglais
Опубликовано: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Серии:Lecture notes in computer science. Lecture notes in artificial intelligence 2829
Предметы:
Online-ссылка:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Примечание: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• AI IA 2003, advances in artificial intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, proceedings, Amedeo Cappelli, Franco Turini (eds.), Berlin, Springer, 2003, 1 vol. (XIV-552 p.), Lecture notes in computer science, 3-540-20119-X
• AI*IA 2003: Advances in Artificial Intelligence, Texte imprimé, 9783662166291
Оглавление:
  • 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.