Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.

Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo

Browse the full FORTE paper archive.