activity
20022021
most citedCharacterising equilibrium logic and nested logic programs: Reductions and complexity

12 citations · 23 across the 7 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

cs.LO2015★ 5 cited

On the complexity of Temporal Equilibrium Logic

Laura Bozzelli, David Pearce

Temporal Equilibrium Logic (TEL) is a promising framework that extends the knowledge representation and reasoning capabilities of Answer Set Programming with temporal operators in…