000 07957nam a22005535i 4500
001 978-3-540-31733-3
003 DE-He213
005 20240423125716.0
007 cr nn 008mamaa
008 100315s2005 gw | s |||| 0|eng d
020 _a9783540317333
_9978-3-540-31733-3
024 7 _a10.1007/11558590
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aAI*IA 2005: Advances in Artificial Intelligence
_h[electronic resource] :
_b9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings /
_cedited by Sara Manzoni.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXIV, 614 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v3673
505 0 _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 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.
520 _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.
650 0 _aArtificial intelligence.
650 0 _aComputer science.
650 0 _aMachine theory.
650 1 4 _aArtificial Intelligence.
650 2 4 _aTheory of Computation.
650 2 4 _aFormal Languages and Automata Theory.
700 1 _aManzoni, Sara.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540290414
776 0 8 _iPrinted edition:
_z9783540815990
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v3673
856 4 0 _uhttps://doi.org/10.1007/11558590
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c180877
_d180877