research-article
June 2024
JUST ACCEPTED
research-article
March 2024
JUST ACCEPTED
Strong Backdoors for Default Logic
In this paper, we introduce a notion of backdoors to Reiter’s propositional default logic and study structural properties of it. Also we consider the problems of backdoor detection (parameterised by the solution size) as well as backdoor evaluation (...
research-article
March 2024
JUST ACCEPTED
One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
Generalization techniques have many applications, including template construction, argument generalization, and indexing. Modern interactive provers can exploit advancement in generalization methods over expressive type theories to further develop proof ...