research
∙
04/29/2022
Analytical Performance Estimation during Code Generation on Modern GPUs
Automatic code generation is frequently used to create implementations o...
share
research
∙
07/14/2021
Forgetting in Answer Set Programming – A Survey
Forgetting - or variable elimination - is an operation that allows the r...
research
∙
07/02/2021
Opening the Black Box: Performance Estimation during Code Generation for GPUs
Automatic code generation is frequently used to create implementations o...
research
∙
06/15/2021
Faster than LASER – Towards Stream Reasoning with Deep Neural Networks
With the constant increase of available data in various domains, such as...
research
∙
06/15/2021
Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL
The amount of information produced, whether by newspapers, blogs and soc...
research
∙
07/29/2019
A Syntactic Operator for Forgetting that Satisfies Strong Persistence
Whereas the operation of forgetting has recently seen a considerable amo...
research
∙
07/17/2017
When You Must Forget: beyond strong persistence when forgetting in answer set programming
Among the myriad of desirable properties discussed in the context of for...
research
∙
09/12/2016
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Managed multi-context systems (mMCSs) allow for the integration of heter...
research
∙
05/20/2015
Towards Efficient Evolving Multi-Context Systems (Preliminary Report)
Managed Multi-Context Systems (mMCSs) provide a general framework for in...
research
∙
05/20/2015
