Picture for João Leite

João Leite

NOVA LINCS, Universidade Nova de Lisboa, Portugal

Abstract Dialectical Frameworks are Boolean Networks (full version)

Add code
Jul 02, 2024
Viaarxiv icon

On Modifying a Neural Network's Perception

Add code
Mar 05, 2023
Viaarxiv icon

A Brief History of Updates of Answer-Set Programs

Add code
Dec 27, 2021
Figure 1 for A Brief History of Updates of Answer-Set Programs
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

A note on the uniqueness of models in social abstract argumentation

Add code
May 09, 2017
Figure 1 for A note on the uniqueness of models in social abstract argumentation
Figure 2 for A note on the uniqueness of models in social abstract argumentation
Viaarxiv icon