Stable Model Semantics of Weight Constraint Rules

Ilkka Niemelä, Patrik Simons, Timo Soininen. Stable Model Semantics of Weight Constraint Rules. In Michael Gelfond, Nicola Leone, Gerald Pfeifer, editors, Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR 99, El Paso, Texas, USA, December 2-4, 1999, Proceedings. Volume 1730 of Lecture Notes in Computer Science, pages 317-331, Springer, 1999. [doi]

Authors

Ilkka Niemelä

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

Patrik Simons

This author has not been identified. Look up 'Patrik Simons' in Google

Timo Soininen

This author has not been identified. Look up 'Timo Soininen' in Google