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

Häftad, Engelska, 2001

709 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 10th Portuguese Conference on Artificial Intelligence, EPTA 2001, held in Porto, Portugal, in December 2001. The 21 revised long papers and 18 revised short papers were carefully reviewed and selected from a total of 88 submissions. The papers are organized in topical sections on extraction of knowledge from databases, AI techniques for financial time series analysis, multi-agent systems, AI logics and logic programming, constraint satisfaction, and AI planning.

Produktinformation

Utgivningsdatum2001-12-05
Mått155 x 235 x 24 mm
Vikt657 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor424
Upplaga2001
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540430308

Tillhör följande kategorier

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.