Searching for "Translation of Aggregate Programs to Normal Logic Programs." – sorted by Relevance.
-
Translation of Aggregate Programs to Normal Logic Programs
- Translation of Aggregate Programs to Normal Logic Programs # Nikolay Pelov, Marc Denecker
- Cited by 6 (0 self) – Add To MetaCart
-
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms
- to translate aggregate programs to normal logic programs. In (Son, Pontelli, & Tu 2007), the existence of a
- Add To MetaCart

