23 citations · 75 across the 9 of their papers we have counts for
12 papers
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…
Analytical Performance Estimation during Code Generation on Modern GPUs
Dominik Ernst, Markus Holzer, Georg Hager +2
Automatic code generation is frequently used to create implementations of algorithms specifically tuned to particular hardware and application parameters. The code generation proce…
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…
Opening the Black Box: Performance Estimation during Code Generation for GPUs
Dominik Ernst, Georg Hager, Markus Holzer +2
Automatic code generation is frequently used to create implementations of algorithms specifically tuned to particular hardware and application parameters. The code generation proce…
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…
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…
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…