| 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 |
内容加载中，请稍后...
商品评论（0条）