Advances in Artificial Intelligence - SBIA 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