23 citations · 93 across the 15 of their papers we have counts for
4 papers · 1 filter
A Brief History of Updates of Answer-Set Programs
João Leite, Martin Slota
Over the last couple of decades, there has been a considerable effort devoted to the problem of updating logic programs under the stable model semantics (a.k.a. answer-set programs…
Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL
Ricardo Ferreira, Carolina Lopes, Ricardo Gonçalves +3
The amount of information produced, whether by newspapers, blogs and social networks, or by monitoring systems, is increasing rapidly. Processing all this data in real-time, while…
Forgetting in Answer Set Programming -- A Survey
Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting - or variable elimination - is an operation that allows the removal, from a knowledge base, of middle variables no longer deemed relevant. In recent years, many differen…
Faster than LASER -- Towards Stream Reasoning with Deep Neural Networks
João Ferreira, Diogo Lavado, Ricardo Gonçalves +3
With the constant increase of available data in various domains, such as the Internet of Things, Social Networks or Smart Cities, it has become fundamental that agents are able to…