Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) |
scientific article |
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
