Advances in Artificial Intelligence - Sbia 2004: 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-October (Paperback, 2004)

'Logics, Planning, and Theoretical Methods.- On Modalities for Vague Notions.- Towards Polynomial Approximations of Full Propositional Logic.- Using Relevance to Speed Up Inference.- A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.- Reasoning About Requirements Evolution Using Clustered Belief Revision.- Analysing AI Planning Problems in Linear Logic - A Partial Deduction Approach.- Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning.- High-Level Robot Programming: An Abductive Approach Using Event Calculus.- Search, Reasoning, and Uncertainty.- Word Equation Systems: The Heuristic Approach.- A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation.- Machine Learned Heuristics to Improve Constraint Satisfaction.- Towards a Natural Way of Reasoning.- Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning?.- Paraconsistent Sensitivity Analysis for Bayesian Significance Tests.- Knowledge Representation and Ontologies.- An Ontology for Quantities in Ecology.- Using Color to Help in the Interactive Concept Formation.- Propositional Reasoning for an Embodied Cognitive Model.- A Unified Architecture to Develop Interactive Knowledge Based Systems.- Natural Language Processing.- Evaluation of Methods for Sentence and Lexical Alignment of Brazilian Portuguese and English Parallel Texts.- Applying a Lexical Similarity Measure to Compare Portuguese Term Collections.- Dialog with a Personal Assistant.- Applying Argumentative Zoning in an Automatic Critiquer of Academic Writing.- DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese.- A Comparison of Automatic Summarizers of Texts in Brazilian Portuguese.- Machine Learning, Knowledge Discovery, and Data Mining.- Heuristically Accelerated Q-Learning: A New Approach to Speed Up Reinforcement Learning.- Using Concept Hierarchies in Knowledge Discovery.- A Clustering Method for Symbolic Interval-Type Data Using Adaptive Chebyshev Distances.- An Efficient Clustering Method for High-Dimensional Data Mining.- Learning with Drift Detection.- Learning with Class Skews and Small Disjuncts.- Making Collaborative Group Recommendations Based on Modal Symbolic Data.- Search-Based Class Discretization for Hidden Markov Model for Regression.- SKDQL: A Structured Language to Specify Knowledge Discovery Processes and Queries.- Evolutionary Computation, Artificial Life, and Hybrid Systems.- Symbolic Communication in Artificial Creatures: An Experiment in Artificial Life.- What Makes a Successful Society?.- Splinter: A Generic Framework for Evolving Modular Finite State Machines.- An Hybrid GA/SVM Approach for Multiclass Classification with Directed Acyclic Graphs.- Dynamic Allocation of Data-Objects in the Web, Using Self-tuning Genetic Algorithms.- Detecting Promising Areas by Evolutionary Clustering Search.- A Fractal Fuzzy Approach to Clustering Tendency Analysis.- On Stopping Criteria for Genetic Algorithms.- A Study of the Reasoning Methods Impact on Genetic Learning and Optimization of Fuzzy Rules.- Using Rough Sets Theory and Minimum Description Length Principle to Improve a ?-TSK Fuzzy Revision Method for CBR Systems.- Robotics and Computer Vision.- Forgetting and Fatigue in Mobile Robot Navigation.- Texture Classification Using the Lempel-Ziv-Welch Algorithm.- A Clustering-Based Possibilistic Method for Image Classification.- An Experiment on Handshape Sign Recognition Using Adaptive Technology: Preliminary Results.- Autonomous Agents and Multi-agent Systems.- Recent Advances on Multi-agent Patrolling.- On the Convergence to and Location of Attractors of Uncertain, Dynamic Games.- Norm Consistency in Electronic Institutions.- Using the oise ?+? for a Cooperative Framework of MAS Reorganisation.- A Paraconsistent Approach for Offer Evaluation in Neg