23 citations · 75 across the 9 of their papers we have counts for
9 papers · 1 filter
Abstract Dialectical Frameworks are Boolean Networks (full version)
Jesse Heyninck, Matthias Knorr, João Leite
Dialectical frameworks are a unifying model of formal argumentation, where argumentative relations between arguments are represented by assigning acceptance conditions to atomic ar…
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…
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…
Query-driven Procedures for Hybrid MKNF Knowledge Bases
José Júlio Alferes, Matthias Knorr, Terrance Swift
Hybrid MKNF knowledge bases are one of the most prominent tightly integrated combinations of open-world ontology languages with closed-world (non-monotonic) rule paradigms. The def…