15 citations · 36 across the 12 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…