1 paper · 1 filter
Pedro Cabalar, MartÃn Diéguez, François Olivier +2
Reasoning about dynamic systems with a fine-grained temporal and numeric resolution presents significant challenges for logic-based approaches like Answer Set Programming (ASP). To…