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



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 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
Machine Learning,Knowledge Discovery,and Data Mining
Evoutionary Computation,Artificial Life,and Hybrid Systems
Robotics and Computer Vision
Autonomous Agents and Multi-agent Systems
Author Index

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




爬虫代理IP   代理IP   免费代理IP   高匿代理IP   百变IP  

室内设计装饰装修,情感/家庭/婚姻,考研,科学家,中国当代小说,宗教,舞台艺术戏曲,外国法律图书下载,。 TXT教程网 

TXT教程网 @ 2018