Advances in Artificial Intelligence - SBIA 2004 :17th Brazilian symposium on artificial intelligence, Sao Luis, Maranhao, Brazil, September 29-October 1, 2004 : proceedings

• 其他作者: Bazzan, Ana L. C. , Labidi, Sofiane. , LINK (Online service)
• 出版: Berlin : Springer 2004.
• 稽核項: 1 online resource.
• 叢書名: Lecture notes in computer science ;3171
• 標題: Enterprise ApplicationsBusiness Intelligence Tools. , COMPUTERS Intelligence (AI) & Semantics. , COMPUTERS , Artificial intelligence. , SBIA , Conference papers and proceedings. , Electronic books. , Artificial intelligence Congresses. , COMPUTERS Enterprise Applications -- Business Intelligence Tools. , Artificial intelligence , Intelligence (AI) & Semantics.
• ISBN: 3540232370 , 9783540232377
• 試查全文@TNUA:
  
• 附註: Electronic book available via Springer-Link. Print version originally published in 2004. Includes bibliographical references and index. 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 Dis
• 摘要: 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.
• 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=136277
• 系統號: 005319210
• 資料類型: 電子書
• 讀者標籤: 需登入
• 引用網址: 複製連結
• 目前引用數