You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi folks! Are there any publicly available translators/encoders that permit writing temporal planning problems in a manner close to human language (e.g. Doherty et al's Narrative Description Language in TAL) and then translating that to Z3 for planning/solving? I know there are more specialized PDDL and game-oriented planners available, but Z3 appears to be one of the most flexible and powerful options for embedding within C# projects (including mobile, see NuGet). If I'm mistaken, please correct me!
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
Hi folks! Are there any publicly available translators/encoders that permit writing temporal planning problems in a manner close to human language (e.g. Doherty et al's Narrative Description Language in TAL) and then translating that to Z3 for planning/solving? I know there are more specialized PDDL and game-oriented planners available, but Z3 appears to be one of the most flexible and powerful options for embedding within C# projects (including mobile, see NuGet). If I'm mistaken, please correct me!
Beta Was this translation helpful? Give feedback.
All reactions