Managing concurrency in temporal planning using planner-scheduler interaction

Authors:
Andrew Coles;Maria Fox;Keith Halsey;Derek Long;Amanda Smith
Affiliations:
Department of Computer and Information Sciences, University of Strathclyde, Richmond Street, Glasgow G1 1XH, United Kingdom;Department of Computer and Information Sciences, University of Strathclyde, Richmond Street, Glasgow G1 1XH, United Kingdom;Department of Computer and Information Sciences, University of Strathclyde, Richmond Street, Glasgow G1 1XH, United Kingdom;Department of Computer and Information Sciences, University of Strathclyde, Richmond Street, Glasgow G1 1XH, United Kingdom;Department of Computer and Information Sciences, University of Strathclyde, Richmond Street, Glasgow G1 1XH, United Kingdom
Venue:
Artificial Intelligence
Year:
2009

Citing 14
Cited 8

Temporal constraint networks

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Temporal planning with continuous change

AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Using temporal logics to express search control knowledge for planning

Artificial Intelligence
Maintaining knowledge about temporal intervals

Communications of the ACM
Algorithms for propagating resource constraints in AI planning and scheduling: existing approaches and new results

Artificial Intelligence
Temporal Planning with Mutual Exclusion Reasoning

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner

TIME '99 Proceedings of the Sixth International Workshop on Temporal Representation and Reasoning
Bridging the gap between planning and scheduling

The Knowledge Engineering Review
The FF planning system: fast plan generation through heuristic search

Journal of Artificial Intelligence Research
PDDL2.1: an extension to PDDL for expressing temporal planning domains

Journal of Artificial Intelligence Research
VHPOP: versatile heuristic partial order planner

Journal of Artificial Intelligence Research
Temporal planning using subgoal partitioning and resolution in SGPlan

Journal of Artificial Intelligence Research
When is temporal planning really temporal?

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Planning in Time: Windows and Durations for Activities and Goals

IEEE Transactions on Pattern Analysis and Machine Intelligence

Planning with problems requiring temporal coordination

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Linear logic as a tool for planning under temporal uncertainty

Theoretical Computer Science
Controlling narrative time in interactive storytelling

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Interactive storytelling with temporal planning

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Exploiting the hierarchical structure of rule-based specifications for decision planning

FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
COLIN: planning with continuous linear numeric change

Journal of Artificial Intelligence Research
Using satisfiability for non-optimal temporal planning

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A SAT-based approach to cost-sensitive temporally expressive planning

ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining

Quantified Score

Hi-index	0.00

Visualization

Abstract

We develop, investigate, and compare two logic-based knowledge representation formalisms for reasoning about coalitional games. The main constructs of Coalitional Game Logic (cgl) are expressions for representing the ability of coalitions, which may ...