23 citations · 93 across the 15 of their papers we have counts for
14 papers · 1 filter
On Modifying a Neural Network's Perception
Manuel de Sousa Ribeiro, João Leite
Artificial neural networks have proven to be extremely useful models that have allowed for multiple recent breakthroughs in the field of Artificial Intelligence and many others. Ho…
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…
A Syntactic Operator for Forgetting that Satisfies Strong Persistence
Matti Berthold, Ricardo Gonçalves, Matthias Knorr +1
Whereas the operation of forgetting has recently seen a considerable amount of attention in the context of Answer Set Programming (ASP), most of it has focused on theoretical aspec…
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…
Towards Efficient Evolving Multi-Context Systems (Preliminary Report)
Ricardo Gonçalves, Matthias Knorr, João Leite
Managed Multi-Context Systems (mMCSs) provide a general framework for integrating knowledge represented in heterogeneous KR formalisms. Recently, evolving Multi-Context Systems (eM…
On Minimal Change in Evolving Multi-Context Systems (Preliminary Report)
Ricardo Gonçalves, Matthias Knorr, João Leite
Managed Multi-Context Systems (mMCSs) provide a general framework for integrating knowledge represented in heterogeneous KR formalisms. However, mMCSs are essentially static as the…
On Strong and Default Negation in Logic Program Updates (Extended Version)
Martin Slota, Martin Baláz, João Leite
Existing semantics for answer-set program updates fall into two categories: either they consider only strong negation in heads of rules, or they primarily rely on default negation…
Back and Forth Between Rules and SE-Models (Extended Version)
Martin Slota, João Leite
Rules in logic programming encode information about mutual interdependencies between literals that is not captured by any of the commonly used semantics. This information becomes e…
Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version)
Martin Slota, João Leite
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this pr…