2026
Finding Counterexamples for External Equivalence
J. Fandinno, Jan Heuer, T. Janhunen et al.
· International Conference on... · 0 citations
We have 2 of 80 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Open access
Jul 2026
Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report
A many-sorted variant of the Bound-founded Logic of Here-and-There (HTb) is introduced, providing a versatile framework capable of characterizing equilibrium models across a wide spectrum of alternative semantics for extensions of ASP with linear constraints.
Pedro Cabalar, Jorge Fandinno, N. Rühling et al.
· Electronic Proceedings in Th... · 0 citations