Risks and potentials of using EMV for internet payments
Els van Herreweghen, Uta Wille
USENIX Workshop on Smartcard Technology 1999
The use of Simple Hierarchical Ordered Planner (SHOP) and SHOP2 to investigate research issues in automated planning is discussed. SHOP and SHOP2 use a search-control strategy called ordered task decomposition, which breaks tasks into subtasks and generates the plan's actions in the same order that the plan executor will execute them. SHOP and SHOP2 can do complex inferential reasoning and mixed symbolic/numeric computations. SHOP2's reasoning capabilities let it generate much smaller search spaces than those of most of the other systems.
Els van Herreweghen, Uta Wille
USENIX Workshop on Smartcard Technology 1999
Albert Atserias, Anuj Dawar, et al.
Journal of the ACM
Vladimir Yanovski, Israel A. Wagner, et al.
Ann. Math. Artif. Intell.
Leonid Karlinsky, Joseph Shtok, et al.
CVPR 2019