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

AvPavel Brazdil,Alipio Jorge

Häftad, Engelska, 2001

Del i serien Lecture Notes in Computer Science

544 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

The tenth Portuguese Conference on Arti?cial 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 ?rst conference took place, about 15 years ago. The conference was organized, as usual, under the auspices of the Portuguese Association for Arti?cial 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 di?erent aspects of Arti?cial 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 justi?ed. This had the advantage that the work was presented to a motivated audience. This was the ?rst time that EPIA embarked on this experience and so provided us with additional challenges.

Produktinformation

Utgivningsdatum:2001-12-05
Mått:155 x 235 x 24 mm
Vikt:657 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:424
Upplaga:2001
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540430308

Utforska kategorier

Innehållsförteckning

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.