Publications

160 results for AI Planning

On K* Search for Top-k Planning
- - Junkyu Lee
  - Michael Katz
  - et al.
- 2023
- SoCS 2023
K∗ and Partial Order Reduction for Top-quality Planning
- - Michael Katz
  - Junkyu Lee
- 2023
- SoCS 2023
Generating SAS+ Planning Tasks of Specified Causal Structure
- - Michael Katz
  - Junkyu Lee
  - et al.
- 2023
- SoCS 2023
On Partial Satisfaction Planning with Total-Order HTNs
- - Gregor Behnke
  - David Speck
  - et al.
- 2023
- ICAPS 2023
Lemming: A Tool for Guided Plan Selection using Landmarks
- - Jung koo Kang
  - Tathagata Chakraborti
  - et al.
- 2023
- ICAPS 2023
TOBY: A Tool for Exploring Data in Academic Survey Papers
- - Tathagata Chakraborti
  - Jung koo Kang
  - et al.
- 2023
- arXiv
Follow the Successful Herd: Towards Explanations for Improved Use and Mental Models of Natural Language Systems
- - Michelle Brachman
  - Qian Pan
  - et al.
- 2023
- IUI 2023
NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas
- - Francesco Fuggitti
  - Tathagata Chakraborti
- 2023
- AAAI 2023
AAAI 2023 Bridge Program on Artificial Intelligence and Business Process Management
- - Tathagata Chakraborti
  - Vatche Isahagian
  - et al.
- 2023
- AAAI 2023
A Conflict-Driven Interface between Symbolic Planning and Nonlinear Constraint Solving
- - Joaquim Ortiz-Haro
  - Erez Karpas
  - et al.
- 2022
- IEEE Robotics and Automation Letters