Logic-Based Decision Support for Strategic Environmental *Assessment* 17 logic programming for probabilistic knowledge. In *Conference on Uncertainty in Artificial Intelligence***. Morgan Kaufmann.**
Sato, T. and Kameya, Y. **1997. PRISM: A language for symbolic-statistical modeling.**
In *International Joint Conference on Artificial Intelligence***, M. E. Pollack, Ed. Morgan** Kaufmann, 1330–1339.

Schiex, T., Fargier, H., and Verfaillie, G. **1995. Valued constraint satisfaction problems: Hard and easy problems. In** Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95**. Vol. 1. Morgan Kaufmann, 631–639.**
Shen, K. and Schimpf, J. **2005. Eplex: Harnessing mathematical programming solvers**
for constraint logic programming. In Principles and Practice of Constraint Programming
- CP 2005**, P. van Beek, Ed. Lecture Notes in Computer Science, vol. 3709. SpringerVerlag, Berlin/Heidelberg, 622–636.**
Sorensen, J. C. and Moss, M. L. **1973. Procedures and programs to assist in the impact**
statement process. Tech. rep., Univ. of California, Berkely.

Vennekens, J., Denecker, M., and Bruynooghe, M. **2009. CP-logic: A language of**
causal probabilistic events and its relation to logic programming. Theory and Practice of Logic Programming 9, **3, 245–308.**
Vennekens, J., Verbaeten, S., and Bruynooghe, M. **2004. Logic programs with annotated disjunctions. In** *International Conference on Logic Programming***, B. Demoen and**
V. Lifschitz, Eds. Lecture Notes in Computer Science, vol. 3131. Springer, Heidelberg, Germany, 195–209.

Zhou, N.-F., Nagasawa, I., Umeda, M., Katamine, K., and Hirota, T. **1996. BProlog: A high performance Prolog compiler. In** *IEA/AIE***, T. Tanaka, S. Ohsuga, and**
M. Ali, Eds. Gordon and Breach Science Publishers, 790.