Using temporal logics to express search control knowledge for planning (Q1978242)

From MaRDI portal





scientific article; zbMATH DE number 1454121
Language Label Description Also known as
default for all languages
No label defined
    English
    Using temporal logics to express search control knowledge for planning
    scientific article; zbMATH DE number 1454121

      Statements

      Using temporal logics to express search control knowledge for planning (English)
      0 references
      4 June 2000
      0 references
      planning
      0 references
      temporal logic
      0 references
      search control knowledge
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers