Advances in Artificial Intelligence - SBIA 2004(人工智能进展-SBIA2004年/会议录) pdf epub mobi txt 电子书 下载 2025

想要找书就要到 小美书屋

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

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
· · · · · · (收起)