Logic programs with monotone cardinality atoms

Victor W. Marek, Ilkka Niemela, Miroslaw Truszczynski

We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX, where k is a non-negative integer and X is a finite set of pro…