4 citations · 11 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021
Automata Techniques for Temporal Answer Set Programming
Susana Hahn
Temporal and dynamic extensions of Answer Set Programming (ASP) have played an important role in addressing dynamic problems, as they allow the use of temporal operators to reason…
cs.AI2021★ 2 cited
Automata for dynamic answer set solving: Preliminary report
Pedro Cabalar, Martín Diéguez, Susana Hahn +1
We explore different ways of implementing temporal constraints expressed in an extension of Answer Set Programming (ASP) with language constructs from dynamic logic. Foremost, we i…