Verifying Tight Logic Programs with anthem and Vampire

5 August 2020

Papers citing "Verifying Tight Logic Programs with anthem and Vampire"

2 / 2 papers shown

Title
Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version) Jorge Fandinno Yuliya Lierler 61 0 0 25 Mar 2025
Modular Answer Set Programming as a Formal Specification Language Pedro Cabalar Jorge Fandinno Yuliya Lierler 32 13 0 05 Aug 2020