Logic programs with propositional connectives and aggregates

8 December 2008

Papers citing "Logic programs with propositional connectives and aggregates"

2 / 2 papers shown

Title
Stepwise Debugging of Answer-Set Programs J. Oetsch Jörg Pührer H. Tompits LRM 37 14 0 18 May 2017
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms Enrico Pontelli Tran Cao Son P. Tu 65 61 0 10 Oct 2011