The Resource 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, Pavel Brazdil, Alípio Jorge, eds
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, Pavel Brazdil, Alípio Jorge, eds
Resource Information
The item 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, Pavel Brazdil, Alípio Jorge, eds represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item 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, Pavel Brazdil, Alípio Jorge, eds represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- Summary
- 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
- Language
- eng
- Extent
- 1 online resource (xii, 418 pages)
- 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 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
- Isbn
- 9783540453291
- Label
- 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
- Title
- Progress in artificial intelligence
- Title remainder
- 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
- Statement of responsibility
- Pavel Brazdil, Alípio Jorge, eds
- Title variation
-
- Knowledge extraction, multi-agent systems, logic programming, and constraint solving
- EPIA 01
- EPIA 2001
- Language
- eng
- Summary
- 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
- Cataloging source
- COO
- Dewey number
- 006.3
- Illustrations
- illustrations
- Index
- index present
- Language note
- English
- LC call number
- Q334
- LC item number
- .P67 2001
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2001
- http://bibfra.me/vocab/lite/meetingName
- Portuguese Conference on Artificial Intelligence
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 1945-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Brazdil, Pavel B.
- Jorge, Alípio
- Series statement
-
- Lecture notes in computer science,
- Lecture notes in artificial intelligence
- Series volume
- 2258.
- http://library.link/vocab/subjectName
-
- Artificial intelligence
- Artificial intelligence
- Kunstmatige intelligentie
- Label
- 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, Pavel Brazdil, Alípio Jorge, eds
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- 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 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
- Control code
- 50597312
- Dimensions
- unknown
- Extent
- 1 online resource (xii, 418 pages)
- Form of item
- online
- Isbn
- 9783540453291
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-45329-6
- Other physical details
- illustrations.
- Specific material designation
- remote
- System control number
- (OCoLC)50597312
- Label
- 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, Pavel Brazdil, Alípio Jorge, eds
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- 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 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
- Control code
- 50597312
- Dimensions
- unknown
- Extent
- 1 online resource (xii, 418 pages)
- Form of item
- online
- Isbn
- 9783540453291
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-45329-6
- Other physical details
- illustrations.
- Specific material designation
- remote
- System control number
- (OCoLC)50597312
Subject
- Artificial intelligence
- Artificial intelligence -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Congressen (vorm)
- Kunstmatige intelligentie
- Artificial intelligence
Genre
Member of
- Lecture notes in computer science, Lecture notes in artificial intelligence
- Lecture notes in computer science, 2258
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Progress-in-artificial-intelligence--knowledge/VUoJc7arS3s/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Progress-in-artificial-intelligence--knowledge/VUoJc7arS3s/">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, Pavel Brazdil, Alípio Jorge, eds</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item 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, Pavel Brazdil, Alípio Jorge, eds
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Progress-in-artificial-intelligence--knowledge/VUoJc7arS3s/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Progress-in-artificial-intelligence--knowledge/VUoJc7arS3s/">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, Pavel Brazdil, Alípio Jorge, eds</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>