207 citations · 287 across the 21 of their papers we have counts for
1 paper · 1 filter
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Action description languages, such as A and B, are expressive instruments introduced for formalizing planning domains and planning problem instances. The paper starts by proposing…