Advances in artificial intelligence : SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29-October 1, 2004 : proceedings

Advances in Artificial Intelligence – SBIA 2004: 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-Ocotber 1, 2004. Proceedings
Author: Ana L. C. Bazzan, Sofiane Labidi
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-23237-7
DOI: 10.1007/b100195

Table 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