Picture for Giovanni Amendola

Giovanni Amendola

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment

Add code
Jan 04, 2024
Viaarxiv icon

Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects

Add code
Mar 19, 2023
Viaarxiv icon

Better Paracoherent Answer Sets with Less Resources

Add code
Jul 22, 2019
Figure 1 for Better Paracoherent Answer Sets with Less Resources
Figure 2 for Better Paracoherent Answer Sets with Less Resources
Viaarxiv icon

Beyond NP: Quantifying over Answer Sets

Add code
Jul 22, 2019
Viaarxiv icon

Paracoherent Answer Set Semantics meets Argumentation Frameworks

Add code
Jul 22, 2019
Figure 1 for Paracoherent Answer Set Semantics meets Argumentation Frameworks
Figure 2 for Paracoherent Answer Set Semantics meets Argumentation Frameworks
Figure 3 for Paracoherent Answer Set Semantics meets Argumentation Frameworks
Figure 4 for Paracoherent Answer Set Semantics meets Argumentation Frameworks
Viaarxiv icon

Abstract Solvers for Computing Cautious Consequences of ASP programs

Add code
Jul 22, 2019
Figure 1 for Abstract Solvers for Computing Cautious Consequences of ASP programs
Figure 2 for Abstract Solvers for Computing Cautious Consequences of ASP programs
Figure 3 for Abstract Solvers for Computing Cautious Consequences of ASP programs
Figure 4 for Abstract Solvers for Computing Cautious Consequences of ASP programs
Viaarxiv icon

On the Computation of Paracoherent Answer Sets

Add code
Jul 21, 2017
Figure 1 for On the Computation of Paracoherent Answer Sets
Figure 2 for On the Computation of Paracoherent Answer Sets
Figure 3 for On the Computation of Paracoherent Answer Sets
Viaarxiv icon