Hierarchical Decompositions and Termination Analysis for Generalized Planning.

Siddharth Srivastava

Published in: J. Artif. Intell. Res. (2023)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
planning problems
decision support
domain independent
integrity constraints
database
data mining
reverse engineering