Sciweavers

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