research
∙
03/19/2023
Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects
Similarities between entities occur frequently in many real-world scenar...
share
research
∙
07/22/2019
Better Paracoherent Answer Sets with Less Resources
Answer Set Programming (ASP) is a well-established formalism for logic p...
research
∙
07/22/2019
Beyond NP: Quantifying over Answer Sets
Answer Set Programming (ASP) is a logic programming paradigm featuring a...
research
∙
07/22/2019
Paracoherent Answer Set Semantics meets Argumentation Frameworks
In the last years, abstract argumentation has met with great success in ...
research
∙
07/22/2019
Abstract Solvers for Computing Cautious Consequences of ASP programs
Abstract solvers are a method to formally analyze algorithms that have b...
research
∙
02/11/2018
New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs
We propose two models of random quantified boolean formulas and their na...
research
∙
07/21/2017