Sciweavers

19 search results - page 1 / 4
» lpnmr 2004
Sort
View
153
Voted
LPNMR
2004
Springer
16 years 24 days ago
Verifying the Equivalence of Logic Programs in the Disjunctive Case
Emilia Oikarinen, Tomi Janhunen
LPNMR
2004
Springer
16 years 24 days ago
Smodels with CLP?A Treatment of Aggregates in ASP
Enrico Pontelli, Tran Cao Son, Islam Elkabani