Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001. Proceedings

by Pavel Brazdil (Editor), Alipio Jorge (Editor)

Overview

The tenth Portuguese Conference on Artificial Intelligence, EPIA 2001 was held in Porto and continued the tradition of previous conferences in the series. It returned to the city in which the first conference took place, about 15 years ago. The conference was organized, as usual, under the auspices of the Portuguese Association for Artificial Intelligence (APPIA, http://www.appia.pt). EPIA maintained its international character and continued to provide a forum for p- senting and discussing researc h on different aspects of Artificial Intelligence. To promote motivated discussions among participants, this conference streng- ened the role of the thematic workshops. These were not just satellite events, but rather formed an integral part of the conference, with joint sessions when justified. This had the advantage that the work was presented to a motivated audience. This was the first time that EPIA embarked on this experience and so provided us with additional challenges.

Product Details

ISBN-13:	9783540430308
Publisher:	Springer Berlin Heidelberg
Publication date:	01/10/2002
Series:	Lecture Notes in Computer Science , #2258
Edition description:	2001
Pages:	424
Product dimensions:	6.10(w) x 9.25(h) x 0.36(d)

Table of Contents

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 Shastic 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.