Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707)

From MaRDI portal





scientific article; zbMATH DE number 5171332
Language Label Description Also known as
default for all languages
No label defined
    English
    Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
    scientific article; zbMATH DE number 5171332

      Statements

      Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (English)
      0 references
      16 July 2007
      0 references
      AI planning under uncertainty
      0 references
      linear logic
      0 references
      proofs as programs
      0 references
      deterministic and non-deterministic planning domains
      0 references
      Horn linear logic
      0 references
      0 references
      0 references

      Identifiers