LEADER 08160nam 2200601 a 450 001 9910484777403321 005 20200520144314.0 024 7 $a10.1007/11558590 035 $a(CKB)1000000000213267 035 $a(SSID)ssj0000316120 035 $a(PQKBManifestationID)11247774 035 $a(PQKBTitleCode)TC0000316120 035 $a(PQKBWorkID)10257028 035 $a(PQKB)11454151 035 $a(DE-He213)978-3-540-31733-3 035 $a(MiAaPQ)EBC3067816 035 $a(PPN)123097711 035 $a(EXLCZ)991000000000213267 100 $a20050819d2005 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAI*IA 2005 $eadvances in artificial intelligence : 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005 : proceedings /$fStefania Bandini, Sara Manzoni (eds.) 205 $a1st ed. 2005. 210 $aBerlin ;$aNew York $cSpringer$d2005 215 $a1 online resource (XIV, 614 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3673.$aLecture notes in artifical intelligence 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540290414 320 $aIncludes bibliographical references and index. 327 $aTheoretical 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. 330 $aThis 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. 410 0$aLecture notes in computer science ;$v3673. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence. 517 3 $aAIIA 2005 517 3 $aAdvances in artificial intelligence 517 3 $a9th Congress of the Italian Association for Artificial Intelligence 517 3 $aNinth Congress of the Italian Association for Artificial Intelligence 517 3 $aCongress of the Italian Association for Artificial Intelligence 606 $aArtificial intelligence$vCongresses 615 0$aArtificial intelligence 676 $a006.3 701 $aBandini$b S$g(Stefania),$f1956-$01756653 701 $aManzoni$b Sara$01762183 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484777403321 996 $aIA 2005$94201964 997 $aUNINA