|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910484777403321 |
|
|
Titolo |
AIIA 2005 : advances in artificial intelligence : 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005 : proceedings / / Stefania Bandini, Sara Manzoni (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; New York, : Springer, 2005 |
|
|
|
|
|
|
|
Edizione |
[1st ed. 2005.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 614 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science, , 0302-9743 ; ; 3673. Lecture notes in artifical intelligence |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
BandiniS <1956-> (Stefania) |
ManzoniSara |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
| |