Task Formalism Files -------------------- This directory contains the demonstration Task Formalism files for the O-Plan system. The files are as follows: bbb.tf Blue Badge in Box Problem blocks-1.tf Block stacking using a single operator schema blocks-2.tf Block stacking using multiple schemas. eusat.tf Simple satellite command and control problem. house-1.tf Simple house building problem house-1-inc-1.tf Incremental addition to the house-1.tf file house-2.tf House building problem involving interactions and alternatives house-3.tf Larger house building example house-4.tf House building problem involving time windows for actions and a start time for the entire plan house-5.tf House building problem involving resource limitations versus requirements on the house specification. m-and-c-1.tf Missionaries and Cannibals Problem m-and-c-2.tf Missionaries and Cannibals Problem using compute conditions pacifica-1.tf Pacifica Island Non-combatant Evacuation Operation (NEO) (demonstrates the AutoCAD Interface) pacifica-2.tf Pacifica NEO with time and resources (demonstrates the AutoCAD Interface) pacifica-3.tf Pacifica NEO with rich rresource modelling (demonstrates the AutoCAD Interface) pacifica-4.tf Pacifica NEO for demonstrating Command, Planning and Control (demonstrates the AutoCAD Interface) space-platform.tf Space platform construction problem (demonstrates the AutoCAD Interface) spanner.tf demonstration of need to have an achieve condition span outside of schema which introduces it for some solutions
Name Last modified Size Description
README 1999-11-12 10:06 1.8K add-action-test.tf 1999-11-12 10:06 2.9K bbb.tf 1999-11-12 10:06 2.5K blocks-1.tf 1999-11-12 10:06 5.3K blocks-2.tf 1999-11-12 10:06 3.9K blocks-3.tf 1999-11-12 10:06 3.9K blocks-4.tf 1999-11-12 10:06 2.6K eusat.tf 1999-11-12 10:06 23K ginsberg.tf 1999-11-12 10:06 3.9K hardy-software-development.tf 1999-11-12 10:06 8.7K hardy-software-manage-added.tf 1999-11-12 10:06 9.5K hardy-software-manage.tf 1999-11-12 10:06 8.7K hardy-task-columbus.tf 1999-11-12 10:06 886 hardy-task.tf 1999-11-12 10:06 886 house-1-inc-1.tf 1999-11-12 10:06 2.9K house-1.tf 1999-11-12 10:06 7.4K house-2.tf 1999-11-12 10:06 9.2K house-3.tf 1999-11-12 10:06 10K house-4.tf 1999-11-12 10:06 9.5K house-5-inc-1.tf 1999-11-12 10:06 502 house-5.tf 1999-11-12 10:06 6.1K island-rescue-1a.tf 1999-11-12 10:06 6.7K m-and-c-1.tf 1999-11-12 10:06 8.6K m-and-c-2.tf 1999-11-12 10:06 7.0K pacifica-1-columbus.tf 1999-11-12 10:06 1.1K pacifica-1-gt3.tf 1999-11-12 10:06 9.0K pacifica-1-hardy-task.tf 1999-11-12 10:06 886 pacifica-1.tf 1999-11-12 10:06 8.9K pacifica-2.tf 1999-11-12 10:06 12K pacifica-3.tf 1999-11-12 10:06 24K pacifica-4.tf 1999-11-12 10:06 12K pacifica-mip.tf 1999-11-12 10:06 12K software-development.tf 1999-11-12 10:06 18K space-platform-unsuper.tf 1999-11-12 10:06 11K space-platform.tf 1999-11-12 10:06 11K spanner.tf 1999-11-12 10:06 3.5K