MIT Planning Ontology Project Publications

• Some history of the ARPI ontology effort
• Toward a Practical Ontology for Planning - August 22, 1994
• Report on the October 1994 POCG Kickoff Meeting
• Report on the OMWG meeting on Plan Objects
• How To Frame It: Modern Applied Logic from the Top Down, or, Secrets of the Metamathematicians
  1986 CMU Class notes on logical modelling
  Available in DVI or PS.
• Jon Doyle's critique of KRSL 2.0.2
  Available in DVI, PS, or LaTeX

Return to the MIT Planning Ontology Project home page