Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction
We present Lemming–a visualization tool for the interactive selection of plans for a given
problem, allowing the user to efficiently whittle down the set of plans and select their plan (s) …
problem, allowing the user to efficiently whittle down the set of plans and select their plan (s) …
[PDF][PDF] Lemming: A Tool for Guided Plan Selection using Landmarks
Lemming is a visualization tool for the selection of plans for a given problem, allowing the
user to efficiently whittle down the set of plans and select their plan (s) of choice. We …
user to efficiently whittle down the set of plans and select their plan (s) of choice. We …
A Human-in-the-loop API Sequencing Tool Powered by AI Planning
In this demo, we present a real-time API recommender system powered by an automated
planner. Our tool generates multiple API recommendations for over 600 APIs within a bound …
planner. Our tool generates multiple API recommendations for over 600 APIs within a bound …