23 citations · 93 across the 15 of their papers we have counts for
18 papers
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…
Geodetic convexity and Kneser graphs
Marcos Bedo, João V. S. Leite, Rodolfo A. Oliveira +1
The {\em Kneser graph} , for positive integers and , is the graph such that and there is an edge w…
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…
Explainable Abstract Trains Dataset
Manuel de Sousa Ribeiro, Ludwig Krippahl, Joao Leite
The Explainable Abstract Trains Dataset is an image dataset containing simplified representations of trains. It aims to provide a platform for the application and research of algor…
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…
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…
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves +3
Managed multi-context systems (mMCSs) allow for the integration of heterogeneous knowledge sources in a modular and very general way. They were, however, mainly designed for static…
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…