Logic programs with monotone abstract constraint atoms

Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski. Logic programs with monotone abstract constraint atoms. TPLP, 8(2):167-199, 2008. [doi]

Authors

Victor W. Marek

This author has not been identified. Look up 'Victor W. Marek' in Google

Ilkka Niemelä

This author has not been identified. Look up 'Ilkka Niemelä' in Google

Miroslaw Truszczynski

This author has not been identified. Look up 'Miroslaw Truszczynski' in Google