| Invited Talks Biomedical Artificial Intelligence Electronics Institutions: Methodology of Multi-agent Systems Development The Happy Searcher: Challenges in Web Information Retrieval PART 1: AI Foundations Logic and Reasoning On the Intended Interpretations of Actions Temporal Linear Logic for Symbolic Agent Negotiation Dealing with Inconsistent Secure Messages Answer Set Computation Based on a Minimal Model Generation Theorem Prover Knowledge Representation and Search What Is a Qualitative Calculus? A General Framework Qualitative Direction Calculi with Arbitrary Granularity Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation Ontology Ontology Services-Based Information Integration in Mining Telecom Business Intelligence Planning Indexing Approach for Delivery Demands with Time Constraints An Hierarchical Terrain Representation for Approximately Shortest Paths MSIP: Agents Embodying a Category-Based Learning Process for the ITS Tutor to Self-improve Its Instructional Plans Constraint Satisfaction Circuit Consistencies Solving Over-Constrained Temporal Reasoning Problems Using Local Search Methods of Automatic Algorithm Generation ... A Novel Heuristic to Solve IA Network by Convex Approximation and Weights Applying An Improved Heuristic Based Optimiser to Solve a Set of Challengin University Timetabling Problems:An Experience Report Extending Unit Propagation Look-Ahead of DPLL Procedure Machine Learning Extended Nearest Feature Line Classifier Sifting the Margin - An Iterative Empirical Classification Scheme PART2:Computational Intelligence PART3:AI Methodologies and Systems PART4:AI SPecific Application Areas Author Indes |
内容加载中，请稍后...
商品评论（0条）