Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving - Pavel Brazdil

Sommaire:
Invited Speakers.- Agent Programming in Ciao Prolog.- Multi-relational Data Mining: A Perspective.- A Comparison of GLOWER and Other Machine Learning Methods for Investment Decision Making.- Extraction of Knowledge from Databases.- Parallel Implementation of Decision Tree Learning Algorithms.- Reducing Rankings of Classifiers by Eliminating Redundant Classifiers.- Non-parametric Nearest Neighbor with Local Adaptation.- Selection Restrictions Acquisition from Corpora.- Classification Rule Learning with APRIORI-C.- Proportional Membership in Fuzzy Clustering as a Model of Ideal Types.- Evolution of Cubic Spline Activation Functions for Artificial Neural Networks.- Multilingual Document Clustering, Topic Extraction and Data Transformations.- Sampling-Based Relative Landmarks: Systematically Test-Driving Algorithms before Choosing.- Recursive Adaptive ECOC models.- A Study on End-Cut Preference in Least Squares Regression Trees.- Artificial Intelligence Techniques for Financial Time Series Analysis.- The Use of Domain Knowledge in Feature Construction for Financial Time Series Prediction.- Optimizing the Sharpe Ratio for a Rank Based Trading System.- Multi-agent Systems:Theory and Applications.- Choice: The Key for Autonomy.- Dynamic Evaluation of Coordination Mechanisms for Autonomous Agents.- Evolving Multi-agent Viewpoints - An Architecture.- Enabling Agents to Update Their Knowledge and to Prefer.- Modelling Agent Societies: Co-ordination Frameworks and Institutions.- Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Co-operative Multi-agent Systems.- Scheduling, Re-scheduling and Communication in the Multi-agent Extended Enterprise Environment.- Electronic Institutions as a Framework for Agents' Negotiation and Mutual Commitment.-An Imitation-Based Approach to Modeling Homogenous Agents Societies.- Logics and Logic Programming for Artificial Intelligence.- Situation Calculus as Hybrid Logic: First Steps.- A Modified Semantics for LUPS.- On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints.- A Procedural Semantics for Multi-adjoint Logic Programming.- Representing and Reasoning on Three-Dimensional Qualitative Orientation Point Objects.- Encodings for Equilibrium Logic and Logic Programs with Nested Expressions.- A Context-Free Grammar Representation for Normal Inhabitants of Types in TA?.- Permissive Belief Revision.- Constraint Satisfaction.- Global Hull Consistency with Local Search for Continuous Constraint Solving.- Towards Provably Complete Stochastic Search Algorithms for Satisfiability.- A Combined Constraint-Based Search Method for Single-Track Railway Scheduling Problem.- Planning.- A Temporal Planning System for Time-Optimal Planning.- SimPlanner: An Execution-Monitoring System for Replanning in Dynamic Worlds.- Hybrid Hierarchical Knowledge Organization for Planning.- STeLLa: An Optimal Sequential and Parallel Planner.