Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
0812.1462
Cited By
Logic programs with propositional connectives and aggregates
8 December 2008
P. Ferraris
Re-assign community
ArXiv (abs)
PDF
HTML
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
35
14
0
18 May 2017
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
Enrico Pontelli
Tran Cao Son
P. Tu
62
61
0
10 Oct 2011
1