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