LEADER 06281nam 22006375 450 001 996466240203316 005 20200706214524.0 010 $a3-540-45915-4 024 7 $a10.1007/11881216 035 $a(CKB)1000000000283795 035 $a(SSID)ssj0000317082 035 $a(PQKBManifestationID)11237294 035 $a(PQKBTitleCode)TC0000317082 035 $a(PQKBWorkID)10287070 035 $a(PQKB)10514113 035 $a(DE-He213)978-3-540-45915-6 035 $a(MiAaPQ)EBC3068034 035 $a(PPN)123138787 035 $a(EXLCZ)991000000000283795 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCurrent Topics in Artificial Intelligence$b[electronic resource] $e11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers /$fedited by Roque Marín, Eva Onaindía, Alberto Bugarín, José Santos 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XV, 482 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v4177 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-45914-6 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Preferences in Answer Set Programming -- Selected Papers from the 11th Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2005) -- 3D Robot Mapping: Combining Active and Non Active Sensors in a Probabilistic Framework -- A Flipping Local Search Genetic Algorithm for the Multidimensional 0-1 Knapsack Problem -- A Hierarchical Pattern Matching Procedure for Signal Abstraction -- A Meta-Reasoning Model for Hard Real-Time Agents -- A Scheduling Order-Based Method to Solve Timetabling Problems -- A Topological-Based Method for Allocating Sensors by Using CSP Techniques -- Adapting the Point of View for Behavior-Based Navigation -- Agent Based Simulation for Social Systems: From Modeling to Implementation -- Agent Behavior Representation in INGENIAS -- Agent-Based Modeling of Social Complex Systems -- Agent-Based Solutions for Natural Language Generation Tasks -- An Autonomous and User-Independent Hand Posture Recognition System for Vision-Based Interface Tasks -- An Effective Robotic Model of Action Selection -- An Evaluation Method with Imprecise Information for Multi-attribute Decision Support -- Classification Algorithms for Biomedical Volume Datasets -- Coalition Formation in P2P File Sharing Systems -- Combining Human Perception and Geometric Restrictions for Automatic Pedestrian Detection -- Comparative Analysis of Artificial Neural Network Training Methods for Inverse Kinematics Learning -- Comparison of Heuristics in Multiobjective A* Search -- Contour-Based Shape Retrieval Using Dynamic Time Warping -- Diagnosing Errors in DbC Programs Using Constraint Programming -- Early Fault Classification in Dynamic Systems Using Case-Based Reasoning -- Face Description for Perceptual User Interfaces -- Genetic Algorithms Hybridized with Greedy Algorithms and Local Search over the Spaces of Active and Semi-active Schedules -- Hebbian Iterative Method for Unsupervised Clustering with Automatic Detection of the Number of Clusters with Discrete Recurrent Networks -- Heuristic Perimeter Search: First Results -- Image Disorder Characterization Based on Rate Distortion -- Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems -- Inferring Multidimensional Cubes for Representing Conceptual Document Spaces -- Internal Categories with Irregular Geometry and Overlapping in ART Networks -- Legal Ontologies for the Spanish e-Government -- Mapping Conformant Planning into SAT Through Compilation and Projection -- Multiagent Architecture for Monitoring the North-Atlantic Carbon Dioxide Exchange Rate -- Music Knowledge Analysis: Towards an Efficient Representation for Composition -- Mutual Information Based Measure for Image Content Characterization -- Nonlinear Mappings with Cellular Neural Networks -- On the Use of Entropy Series for Fade Detection -- Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility -- Propagating Updates in Real-Time Search: HLRTA*(k) -- Real Time Image Segmentation Using an Adaptive Thresholding Approach -- Scheduling a Plan with Delays in Time: A CSP Approach -- Sliding Mode Control of a Wastewater Treatment Plant with Neural Networks -- Techniques for Recognizing Textual Entailment and Semantic Equivalence -- Temporal Enhancements of an HTN Planner -- The Multi-Team Formation Defense of Teamwork -- Tokenising, Stemming and Stopword Removal on Anti-spam Filtering Domain -- Toward a Motivated BDI Agent Using Attributes Embedded in Mental States -- Training and Analysis of Mobile Robot Behaviour Through System Identification. 410 0$aLecture Notes in Artificial Intelligence ;$v4177 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputers 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputers. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aComputation by Abstract Devices. 676 $a006.3 702 $aMarín$b Roque$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOnaindía$b Eva$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBugarín$b Alberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSantos$b José$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466240203316 996 $aCurrent Topics in Artificial Intelligence$9772191 997 $aUNISA