23 citations · 93 across the 15 of their papers we have counts for
Showing 2017 · cs.AIShow all
3 papers · 2 filters
cs.AI2017★ 19 cited
When You Must Forget: beyond strong persistence when forgetting in answer set programming
Ricardo Gonçalves, Matthias Knorr, João Leite +1
Among the myriad of desirable properties discussed in the context of forgetting in Answer Set Programming (ASP), strong persistence naturally captures its essence. Recently, it has…
cs.AI2017★ 1 cited
Exception-Based Knowledge Updates
Martin Slota, Joao Leite
Existing methods for dealing with knowledge updates differ greatly depending on the underlying knowledge representation formalism. When Classical Logic is used, updates are typical…
cs.AI2017★ 3 cited
A note on the uniqueness of models in social abstract argumentation
Leila Amgoud, Elise Bonzon, Marco Correia +7
Social abstract argumentation is a principled way to assign values to conflicting (weighted) arguments. In this note we discuss the important property of the uniqueness of the mode…