Advances in Artificial Intelligence – SBIA 2004: 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-Ocotber 1, 2004. ProceedingsAuthor: Ana L. C. Bazzan, Sofiane Labidi Published by Springer Berlin Heidelberg ISBN: 978-3-540-23237-7 DOI: 10.1007/b100195Table of Contents: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 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 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 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, Includes bibliographical references and index