Advances in Artificial Intelligence - SBIA 2004(人工智能进展-SBIA2004年/会议录)

2004-12-1  

Springer  

L.,Bazzan,Ana,C.  

545  

This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Artificial Intelligence, SBIA 2004, held in Sao Luis, Maranhao, Brazil in September/October 2004. The 54 revised full papers presented were carefully reviewed and selected from 208 submissions from 21 countries. The papers are organized in topical sections on logics, planning, and theoretical methods; search, reasoning, and uncertainty; knowledge representation and ontologies; natural language processing; machine learning, knowledge discovery and data mining; evolutionary computing, artificial life, and hybrid systems; robotics and compiler vision; and autonomous agents and multi-agent systems.

Logics, Planning, and Theoretical Methods On Modalities for Vague Notions Towards Polynomial Approximations of Full Propositional Logic Using Relevance to Speed Up Inference. Some Empirical Results 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 CalculusSearch, 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 TestsKnowledge 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 SystemsNatural 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 ……Machine Learning,Knowledge Discovery,and Data MiningEvoutionary Computation,Artificial Life,and Hybrid SystemsRobotics and Computer VisionAutonomous Agents and Multi-agent SystemsAuthor Index

Advances in Artificial Intelligence - SBIA 2004(人工智能进展-SBIA2004年/会议录) PDF格式下载