Picture for Matthias Knorr

Matthias Knorr

NOVA LINCS, Universidade Nova de Lisboa, Portugal

Abstract Dialectical Frameworks are Boolean Networks (full version)

Add code
Jul 02, 2024
Viaarxiv icon

Forgetting in Answer Set Programming -- A Survey

Add code
Jul 14, 2021
Figure 1 for Forgetting in Answer Set Programming -- A Survey
Figure 2 for Forgetting in Answer Set Programming -- A Survey
Figure 3 for Forgetting in Answer Set Programming -- A Survey
Figure 4 for Forgetting in Answer Set Programming -- A Survey
Viaarxiv icon

Faster than LASER -- Towards Stream Reasoning with Deep Neural Networks

Add code
Jun 15, 2021
Figure 1 for Faster than LASER -- Towards Stream Reasoning with Deep Neural Networks
Figure 2 for Faster than LASER -- Towards Stream Reasoning with Deep Neural Networks
Figure 3 for Faster than LASER -- Towards Stream Reasoning with Deep Neural Networks
Figure 4 for Faster than LASER -- Towards Stream Reasoning with Deep Neural Networks
Viaarxiv icon

Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL

Add code
Jun 15, 2021
Figure 1 for Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL
Figure 2 for Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL
Figure 3 for Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL
Figure 4 for Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL
Viaarxiv icon

A Syntactic Operator for Forgetting that Satisfies Strong Persistence

Add code
Jul 31, 2019
Viaarxiv icon

Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments

Add code
Dec 11, 2017
Figure 1 for Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Figure 2 for Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Figure 3 for Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Figure 4 for Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Viaarxiv icon

When You Must Forget: beyond strong persistence when forgetting in answer set programming

Add code
Jul 17, 2017
Viaarxiv icon

Towards Efficient Evolving Multi-Context Systems (Preliminary Report)

Add code
May 20, 2015
Viaarxiv icon

On Minimal Change in Evolving Multi-Context Systems

Add code
May 20, 2015
Viaarxiv icon

Query-driven Procedures for Hybrid MKNF Knowledge Bases

Add code
Dec 09, 2011
Figure 1 for Query-driven Procedures for Hybrid MKNF Knowledge Bases
Figure 2 for Query-driven Procedures for Hybrid MKNF Knowledge Bases
Figure 3 for Query-driven Procedures for Hybrid MKNF Knowledge Bases
Viaarxiv icon