AI*IA 2005: Advances in Artificial Intelligence : 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings / edited by Sara Manzoni.

Format:

Book

Contributor:

Manzoni, Sara, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 3673.

Lecture Notes in Artificial Intelligence ; 3673

Language:

English

Subjects (All):

Artificial intelligence.

Computers.

Logic, Symbolic and mathematical.

Artificial Intelligence.

Computation by Abstract Devices.

Mathematical Logic and Formal Languages.

Local Subjects:

Artificial Intelligence.

Computation by Abstract Devices.

Mathematical Logic and Formal Languages.

Physical Description:

1 online resource (XIV, 614 pages).

Edition:

First edition 2005.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

System Details:

text file PDF

Summary:

This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence (AI*IA), held in Milan at the University of Milano-Bicocca (September 21-23, 2005). On the one hand this congress continues the tradition of AI*IA in organizing its biannual s- enti?c meeting from 1989; on the other hand, this edition is a landmark in the involvement of the international community of arti?cial intelligence (AI), directly involving a broad number of experts from several countries in the P- gramCommittee. Moreover,the peculiar nature of scienti?c researchin arti?cial intelligence (which is intrinsically international) and several consolidated int- national collaborations in projects and mobility programs allowed the collection and selection of papers from many di?erent countries, all around the world, enlarging the visibility of the Italian contribution within this research ?eld. Arti?cial intelligence is today a growing complex set of conceptual, theor- ical, methodological, and technological frameworks, o?ering innovative com- tational solutions in the design and development of computer-based systems. Within this perspective, researchers working in this area must tackle a broad range of knowledge about methods, results, and solutions coming from di?erent classical areas of this discipline. The congress was designed as a forum allowing researchers to present and discuss specialized results as general contributions to AI growth.

Contents:

Theoretical Research: Results and Proposals

The Complexity of Action Redundancy

On the Impact of Small-World on Local Search

A Hybrid Logic for Commonsense Spatial Reasoning

Using a Theorem Prover for Reasoning on Constraint Problems

Good and Bad Practices in Propositionalisation

Periodicity-Based Temporal Constraints

A Survey of Problem Difficulty in Genetic Programming

Intelligent Information Access by Learning WordNet-Based User Profiles

Refined Approximation of Concepts in Ontology

Theoretical Research: Improvements and Consolidations

Argumentation for Access Control

Determining Preferences Through Argumentation

Avoiding Order Effects in Incremental Learning

Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming

The SCIFF Abductive Proof-Procedure

Scheduling with Probability and Temporal Constraints

Schedule Robustness Through Broader Solve and Robustify Search for Partial Order Schedules

Optimal Scheduling with Heuristic Best First Search

Planning with Derived Predicates Through Rule-Action Graphs and Local Search Techniques

The Architecture of a Reactive Path-Planner for Mobile Robots Based on Cellular Automata

Modal Operators with Adaptable Semantics for Multi-agent Systems

An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts

Towards Fault-Tolerant Formal Concept Analysis

Agent-Based Management of Responsive Environments

An ACL for Specifying Fault-Tolerant Protocols

Experimental Evaluation of Hierarchical Hidden Markov Models

Optimization of Association Rules Extraction Through Exploitation of Context Dependent Constraints

Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations

Configurations for Inference from Causal Statements: Preliminary Report

Laying the Foundations for a Formal Theory of Drama

A Semantic Kernel to Exploit Linguistic Knowledge

Building a Wide Coverage Dynamic Grammar

A Linguistic Inspection of Textual Entailment

Multigranular Scale Speech Recognizers: Technological and Cognitive View

Applications: Systems and Prototypes

Towards a General Framework for Substitutional Adaptation in Case-Based Reasoning

A Consumer Interest Prediction System from Transaction Behaviors in Electronic Commerce

Dealing with Different Languages and Old Profiles in Keystroke Analysis of Free Text

Learning Path Generation by Domain Ontology Transformation

A Multidimensional Framework for the Representation of Ontologies in Adaptive Hypermedia Systems

A Conversational Agent Based on a Conceptual Interpretation of a Data Driven Semantic Space

Solving Italian Crosswords Using the Web

A Counterfactual-Based Learning Algorithm for Description Logic

Relational Learning: Statistical Approach Versus Logical Approach in Document Image Understanding

Handling Continuous-Valued Attributes in Incremental First-Order Rules Learning

Prototypal Ambient Intelligence Framework for Assessment of Food Quality and Safety

Managing Clinical Guidelines Contextualization in the GLARE System

Water Management Policy Selection Using a Decision Support System Based on a Multi-agent System

A CSP Approach for Modeling the Hand Gestures of a Virtual Guitarist

Experiences with CiceRobot, a Museum Guide Cognitive Robot

Human-Robot Interaction Through Mixed-Initiative Planning for Rescue and Search Rovers

Anchoring by Imitation Learning in Conceptual Spaces

Bayesian Emotions: Developing an Interface for Robot/Human Communication

Robot Security and Failure Detection Using Bayesian Fusion

Applications: Case Studies and Proposals

Mining Relational Association Rules for Propositional Classification

Entity Recognizer in Hungarian Question Processing

Recognition Algorithm for Korean Postpositions by Detecting Prosody Boundaries

Fuzzy Multinomial Control Charts

Fuzzy Logic Resource Manager: Fuzzy Rules and Experiments

Application of PGA on Optimization of Distribution of Shopping Centers

BIOPACMAS: A Personalized, Adaptive, and Cooperative MultiAgent System for Predicting Protein Secondary Structure

Improving Neural Classification with Markov Chain

Intelligent Neurofuzzy Model Based Control of Electrically Heated Micro Heat Exchanger

Managing Functional and Ontological Knowledge in the Design of Complex Mechanical Objects.

Other Format:

Printed edition:

ISBN:

978-3-540-31733-3

9783540317333

Access Restriction:

Restricted for use by site license.