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)

pacifica-2.tf     Pacifica NEO with time and resources

pacifica-3.tf     Pacifica NEO with rich resource modelling
                  July 1994 Year 2 Demo for O-Plan project.

pacifica-4.tf     Pacifica NEO for demonstrating Command, Planning and Control
                  July 1995 Year 3 Demo for O-Plan project.

space-platform.tf Space platform construction problem

spanner.tf        demonstration of need to have an achieve condition span
                  outside of schema which introduces it for some solutions

Icon  Name                    Last modified      Size  Description
[   ] spanner.tf 1999-11-12 10:07 3.5K [   ] space-platform.tf 1999-11-12 10:07 11K [   ] pacifica-4.tf 1999-11-12 10:07 12K [   ] pacifica-3.tf 1999-11-12 10:07 24K [   ] pacifica-2.tf 1999-11-12 10:07 12K [   ] pacifica-1.tf 1999-11-12 10:07 9.0K [   ] m-and-c-2.tf 1999-11-12 10:07 7.0K [   ] m-and-c-1.tf 1999-11-12 10:07 8.6K [   ] house-5.tf 1999-11-12 10:07 6.1K [   ] house-4.tf 1999-11-12 10:07 9.5K [   ] house-3.tf 1999-11-12 10:07 10K [   ] house-2.tf 1999-11-12 10:07 9.2K [   ] house-1.tf 1999-11-12 10:07 7.4K [   ] house-1-inc-1.tf 1999-11-12 10:07 2.9K [   ] eusat.tf 1999-11-12 10:07 23K [   ] blocks-2.tf 1999-11-12 10:07 3.9K [   ] blocks-1.tf 1999-11-12 10:07 5.3K [   ] bbb.tf 1999-11-12 10:07 2.5K [TXT] README 1999-11-12 10:07 1.7K