AI*IA 2005: Advances in Artificial Intelligence

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