23 citations · 93 across the 15 of their papers we have counts for
4 papers · 1 filter
Proposal of a Carsharing System to Improve Urban Mobility
Fernando Almeida, Pedro Silva, Joao Leite
Carsharing is a model of renting vehicles for short periods of time, where the payment is made according to the time and distance effectively traveled. Carsharing offers a simple,…
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…
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…
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…