Planform Resources

Planform Home


The Object Centered Language Manual - OCLh - Version1.2

Postscript Version

Domain Examples:

Blocks World: Domain Specification, Sample Tasks

Robots World (Single Robot): Domain Specification, Sample Tasks

Robots World (Three Robots): Domain Specification, Sample Tasks

Briefcase World: Domain Specification, Sample Tasks

Rocket World: Domain Specification, Sample Tasks

Tyre World: Domain Specification, Sample Tasks

Warehouse World: Domain Specification, Sample Tasks

Translog World: Domain Specification

Hiking World:   
      Documentation about the model
      Non-conditional version of OCL hiking domain model
      Conditional version of OCL hiking domain model
Information on EMS - the HTN OCL planner: tasks, results and domains.

Opmaker: Induced operator experiments  
      Briefcase World Results
      Hiking World Results
      Rocket World Results
      Tyre World Results

HyHTN: A Hybrid HTN Planner.
HyHTN Code
HyHTN Test Results

Application Tools



Feedback:t.l.mccluskey@hud.ac.uk