Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [electronic resource] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006 /
IBERAMIA-SBIA 2006Corporate Author
IBERAMIA-SBIA 2006(2006 :Ribeirão Prêto, Brazil)
IBERAMIA-SBIA 2006
Sichman, Jaime Simao.editor.
Coelho, Helder.editor.
Rezende, Solange Oliveira.editor.
The Brazilian Arti?cial Intelligence (AI) community decided in 2004 to organize an International Joint Conference, joining IBERAMIA 2006 (the 10th Ibero-American Arti?cial Intelligence Conference), SBIA 2006 (the 18th Brazilian Arti?cial Int- ligence Symposium), and SBRN 2006 (the 9th Brazilian Neural Networks Sym- sium). This decision was a consequence of the successful event organized in 2000, when the First International Joint Conference IBERAMIA/ SBIA 2000 (7th Ibero- American Arti?cial Intelligence Conference and 15th Brazilian Arti?cial Intel- gence Symposium) occurred in Brazil. Moreover, in 2006 the arti?cial intelligence community celebrated the golden anniversary of the 1956 Dartmouth Conference that marked the beginning of arti?cial intelligence as a research ?eld. th SBIA 2006 was the 18 conference of the SBIA conference series, which is the leading Brazilian conference for the presentation of AI research and applications. Since 1995, SBIA has become an international conference, with papers written in English, an international Program Committee, and proceedings published in Springer’s Lecture Notes in Arti?cial Intelligence (LNAI) series. th IBERAMIA 2006 was the 10 conference of the IBERAMIA conference - ries, which has been one of the most suitable forums for Ibero-American AI researchers (from South and Central American countries, Mexico, Spain and Portugal) to present their results. Following the SBIA and EPIA (Portuguese Conference on AI) experiences, from IBERAMIA 1998 on, it has also become an international conference with proceedings published in Springer’s LNAI series.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
Invited Speakers -- Organizing Software Agents -- Learning, Logic, and Probability: A Unified View -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects: An Agent Approach to Create Reusable Intelligent Learning Environments with Learning Objects -- An Experimental Study of Effective Feedback Strategies for Intelligent Tutorial Systems for Foreign Language -- Autonomous Agents and Multiagent Systems -- Coordination with Collective and Individual Decisions -- Negotiator Agents for the Patrolling Task -- Running Agents in Mobile Devices -- A Multi Agent Based Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis in OISE?+? Organizational Modeling -- Simulations Show That Shame Drives Social Cohesion -- SILENT AGENTS: From Observation to Tacit Communication -- Simulating Working Environments Through the Use of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition of Hotspots and Patrol Routes -- Learning by Knowledge Sharing in Autonomous Intelligent Systems -- Formal Analysis of a Probabilistic Knowledge Communication Framework -- Computer Vision and Pattern Recognition -- Color Image Segmentation Through Unsupervised Gaussian Mixture Models -- An Image Analysis Methodology Based on Deterministic Tourist Walks -- Feature Characterization in Iris Recognition with Stochastic Autoregressive Models -- Cryptographic Keys Generation Using FingerCodes -- Evolutionary Computation and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem -- Two-Phase GA-Based Model to Learn Generalized Hyper-heuristics for the 2D-Cutting Stock Problem -- Mirrored Traveling Tournament Problem: An Evolutionary Approach -- Pattern Sequencing Problems by Clustering Search -- Hybrid Systems (Fuzzy, Genetic, Neural, Symbolic) -- Development of a Hybrid Intelligent System for Electrical Load Forecasting -- Extending a Hybrid CBR-ANN Model by Modeling Predictive Attributes Using Fuzzy Sets -- Development of a Neural Sensor for On-Line Prediction of Coagulant Dosage in a Potable Water Treatment Plant in the Way of Its Diagnosis -- Multi-objective Memetic Algorithm Applied to the Automated Synthesis of Analog Circuits -- A Hybrid Learning Strategy for Discovery of Policies of Action -- Knowledge Acquisition and Machine Learning -- A Fractal Dimension Based Filter Algorithm to Select Features for Supervised Learning -- Comparing Meta-learning Algorithms -- A New Linear Dimensionality Reduction Technique Based on Chernoff Distance -- A Machine Learning Approach to the Identification of Appositives -- Parameterized Imprecise Classification: Elicitation and Assessment -- Evolutionary Training of SVM for Multiple Category Classification Problems with Self-adaptive Parameters -- Time-Space Ensemble Strategies for Automatic Music Genre Classification -- Predictive and Descriptive Approaches to Learning Game Rules from Vision Data -- Knowledge Discovery and Data Mining -- Mining Intonation Corpora Using Knowledge Driven Sequential Clustering -- Using Common Sense to Recognize Cultural Differences -- Detection of Repetitive Patterns in Action Sequences with Noise in Programming by Demonstration -- Knowledge Engineering, Ontologies and Case Based Reasoning -- Supporting Ontology-Based Semantic Matching of Web Services in MoviLog -- Learning Similarity Metrics from Case Solution Similarity -- Knowledge Representation and Reasoning -- Epistemic Actions and Ontic Actions: A Unified Logical Framework -- Strings and Holes: An Exercise on Spatial Reasoning -- A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus -- PFORTE: Revising Probabilistic FOL Theories -- Rule Schemata for Game Artificial Intelligence -- Neutral Language Processing -- Selecting a Feature Set to Summarize Texts in Brazilian Portuguese -- Word Sense Disambiguation Based on Word Sense Clustering -- Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese -- Shallow Parsing Based on Comma Values -- Planning and Scheduling -- Unifying Nondeterministic and Probabilistic Planning Through Imprecise Markov Decision Processes -- Achieving Conditional Plans Through the Use of Classical Planning Algorithms -- Assessing the Value of Future and Present Options in Real-Time Planning -- Reading PDDL, Writing an Object-Oriented Model -- Robotics -- A Reactive Lazy PRM Approach for Nonholonomic Motion Planning -- Negative Information in Cooperative Multirobot Localization -- Gait Control Generation for Physically Based Simulated Robots Using Genetic Algorithms -- Does Complex Learning Require Complex Connectivity? -- Theoretical and Logical Methods -- The Predicate-Minimizing Logic MIN -- Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs -- MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies -- Uncertainty -- Probabilistic Logic with Strong Independence -- Bayesian Model Combination and Its Application to Cervical Cancer Detection.
The Brazilian Arti?cial Intelligence (AI) community decided in 2004 to organize an International Joint Conference, joining IBERAMIA 2006 (the 10th Ibero-American Arti?cial Intelligence Conference), SBIA 2006 (the 18th Brazilian Arti?cial Int- ligence Symposium), and SBRN 2006 (the 9th Brazilian Neural Networks Sym- sium). This decision was a consequence of the successful event organized in 2000, when the First International Joint Conference IBERAMIA/ SBIA 2000 (7th Ibero- American Arti?cial Intelligence Conference and 15th Brazilian Arti?cial Intel- gence Symposium) occurred in Brazil. Moreover, in 2006 the arti?cial intelligence community celebrated the golden anniversary of the 1956 Dartmouth Conference that marked the beginning of arti?cial intelligence as a research ?eld. th SBIA 2006 was the 18 conference of the SBIA conference series, which is the leading Brazilian conference for the presentation of AI research and applications. Since 1995, SBIA has become an international conference, with papers written in English, an international Program Committee, and proceedings published in Springer’s Lecture Notes in Arti?cial Intelligence (LNAI) series. th IBERAMIA 2006 was the 10 conference of the IBERAMIA conference - ries, which has been one of the most suitable forums for Ibero-American AI researchers (from South and Central American countries, Mexico, Spain and Portugal) to present their results. Following the SBIA and EPIA (Portuguese Conference on AI) experiences, from IBERAMIA 1998 on, it has also become an international conference with proceedings published in Springer’s LNAI series.
Artificial intelligence.
Mathematical logic.
Natural language processing (Computer science).
Algorithms.
Computer logic.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP).
Natural Language Processing (NLP).
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.

Lecture Notes in Computer Science