European Workshop on Planning

European Workshop on Planning PDF Author: Joachim Hertzberg
Publisher: Springer Science & Business Media
ISBN: 9783540543640
Category : Business & Economics
Languages : en
Pages : 136

Get Book Here

Book Description
Planning - formulating a course of action - and related fields like scheduling or reasoning about action have a long research tradition in artificial intelligence. However, there seems to have been a communications problem among European planners, with many of them unaware of good work done in neighboring countries. This volume contains ten papers presented at the European Workshop on Planning held in Sankt Augustin, Germany, March 1991. The purpose of the workshop was to provide a forum for presenting work in planning and related areas done by European researchers. The papers provide a snapshot of planning research at present being done in Europe. They describe work in the areas of plan generation, logical approaches to planning, planning under uncertainty, planning with time, and semantics of plans.

European Workshop on Planning

European Workshop on Planning PDF Author: Joachim Hertzberg
Publisher: Springer Science & Business Media
ISBN: 9783540543640
Category : Business & Economics
Languages : en
Pages : 136

Get Book Here

Book Description
Planning - formulating a course of action - and related fields like scheduling or reasoning about action have a long research tradition in artificial intelligence. However, there seems to have been a communications problem among European planners, with many of them unaware of good work done in neighboring countries. This volume contains ten papers presented at the European Workshop on Planning held in Sankt Augustin, Germany, March 1991. The purpose of the workshop was to provide a forum for presenting work in planning and related areas done by European researchers. The papers provide a snapshot of planning research at present being done in Europe. They describe work in the areas of plan generation, logical approaches to planning, planning under uncertainty, planning with time, and semantics of plans.

European Workshop on Planning

European Workshop on Planning PDF Author: Joachim Hertzberg
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 140

Get Book Here

Book Description
"Planning - formulating a course of action - and related fields like scheduling or reasoning about action have a long research tradition in artificial intelligence. However, there seems to have been a communications problem among European planners, with many of them unaware of good work done in neighboring countries. This volume contains ten papers presented at the European Workshop on Planning held in Sankt Augustin, Germany, March 1991. The purpose of the workshop was to provide a forum for presenting work in planning and related areas done by European researchers. The papers provide a snapshot of planning research at present being done in Europe. They describe work in the areas of plan generation, logical approaches to planning, planning under uncertainty, planning with time, and semantics of plans."--PUBLISHER'S WEBSITE.

European Workshop on Planning - EWSP'91

European Workshop on Planning - EWSP'91 PDF Author:
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages :

Get Book Here

Book Description


Current Trends in AI Planning

Current Trends in AI Planning PDF Author: Christer Bäckström
Publisher: IOS Press
ISBN: 9789051991536
Category : Computers
Languages : en
Pages : 328

Get Book Here

Book Description
AI planning is a broad research topic, linked with such issues as robotics, control theory, operations research and learning. The purpose of EWSP '93 was twofold. Planning under certainty, or classical search-based planning is one direction in the submitted papers, with approaches ranging from the introduction of conditional actions to methods based on statistics and decision theory.

EUROPEAN WORKSHOP ON PLANNING EWSP '91, Sankt Augustin, FRG, March 1991 Proceedings

EUROPEAN WORKSHOP ON PLANNING EWSP '91, Sankt Augustin, FRG, March 1991 Proceedings PDF Author: Joachim Hertzberg
Publisher:
ISBN:
Category :
Languages : it
Pages : 121

Get Book Here

Book Description


Recent Advances in AI Planning

Recent Advances in AI Planning PDF Author: Susanne Biundo
Publisher: Springer Science & Business Media
ISBN: 3540678662
Category : Computers
Languages : en
Pages : 382

Get Book Here

Book Description
This book constitutes the thoroughly refereed post-proceedings of the 5th European Conference on Planning, ECP'99, held in Durham, UK, in September 1999. The 27 revised full papers presented together with one invited survey were carefully reviewed and selected for inclusion in the book. They address all current aspects of AI planning and scheduling. Several prominent planning paradigms are represented, including planning as satisfiability and other model checking strategies, planning as heuristic state-space search, and Graph-plan-based approaches. Moreover, various new scheduling approaches and combinations of planning and scheduling methods are introduced.

New Directions in AI Planning

New Directions in AI Planning PDF Author: Malik Ghallab
Publisher:
ISBN: 9784274900648
Category : Artificial intelligence
Languages : en
Pages : 422

Get Book Here

Book Description


Computational Complexity of some Optimization Problems in Planning

Computational Complexity of some Optimization Problems in Planning PDF Author: Meysam Aghighi
Publisher: Linköping University Electronic Press
ISBN: 9176855198
Category :
Languages : en
Pages : 35

Get Book Here

Book Description
Automated planning is known to be computationally hard in the general case. Propositional planning is PSPACE-complete and first-order planning is undecidable. One method for analyzing the computational complexity of planning is to study restricted subsets of planning instances, with the aim of differentiating instances with varying complexity. We use this methodology for studying the computational complexity of planning. Finding new tractable (i.e. polynomial-time solvable) problems has been a particularly important goal for researchers in the area. The reason behind this is not only to differentiate between easy and hard planning instances, but also to use polynomial-time solvable instances in order to construct better heuristic functions and improve planners. We identify a new class of tractable cost-optimal planning instances by restricting the causal graph. We study the computational complexity of oversubscription planning (such as the net-benefit problem) under various restrictions and reveal strong connections with classical planning. Inspired by this, we present a method for compiling oversubscription planning problems into the ordinary plan existence problem. We further study the parameterized complexity of cost-optimal and net-benefit planning under the same restrictions and show that the choice of numeric domain for the action costs has a great impact on the parameterized complexity. We finally consider the parameterized complexity of certain problems related to partial-order planning. In some applications, less restricted plans than total-order plans are needed. Therefore, a partial-order plan is being used instead. When dealing with partial-order plans, one important question is how to achieve optimal partial order plans, i.e. having the highest degree of freedom according to some notion of flexibility. We study several optimization problems for partial-order plans, such as finding a minimum deordering or reordering, and finding the minimum parallel execution length.

Trends in Artificial Intelligence

Trends in Artificial Intelligence PDF Author: Salvatore Gaglio
Publisher: Springer Science & Business Media
ISBN: 9783540547129
Category : Computers
Languages : en
Pages : 502

Get Book Here

Book Description
This book collects the scientific papers presented at the 2nd Congress of the Italian Association for Artificial Intelligence, held in Palermo in October 1991. It displays the state of the art of both Italian and European scientific research in AI. The book begins with an invited paper by W. Wahlster et al. The bulk of the book is then divided into five parts on: - Knowledge representation (18 papers), - Knowledge acquisition (5 papers), - Natural language (5 papers), - Perception and robotics (5 papers), - Architecture and technologies (5 papers). A section containing short papers completes the book. The high quality of the papers reflects massive research activity mainly devoted to the theoretical aspects of AI, but clearly aimed at consolidating the results already achieved. Several contributions are oriented to the technological aspects of AI.

Theorem Proving with Analytic Tableaux and Related Methods

Theorem Proving with Analytic Tableaux and Related Methods PDF Author: P. Miglioli
Publisher: Springer Science & Business Media
ISBN: 9783540612087
Category : Computers
Languages : en
Pages : 348

Get Book Here

Book Description
This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996. The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.