
## References

Bistarelli, S., Montanari, U., and Rossi, F. **1997. Semiring-based constraint satisfaction and optimization.** *Journal of the ACM 44,* **2, 201–236.**
Dantsin, E. **1991. Probabilistic logic programs and their semantics. In** Proceedings of the 2nd Russian Conference on Logic Programming**, A. Voronkov, Ed. Lecture Notes in** Computer Science, vol. 592. Springer, Berlin / Heidelberg, **152–164.**
De Koninck, L., Schrijvers, T., and Demoen, B. **2006. INCLP(R) - interval-based**
nonlinear constraint logic programming over the reals. In WLP**, M. Fink, H. Tompits,** and S. Woltran, Eds. INFSYS Research Report, vol. 1843-06-02. Technische Universit¨at Wien, Austria, 91–100.

De Raedt, L., Kimmig, A., and Toivonen, H. **2007. ProbLog: A probabilistic Prolog**
and its application in link discovery. In *IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12,*
2007**, M. M. Veloso, Ed. 2462–2467.**
Fuhr, N. **2000. Probabilistic Datalog: Implementing logical information retrieval for**
advanced applications. *Journal of the American Society for Information Science 51,* 2, 95–110.

Gomes, C. P. **2009. Challenges for constraint reasoning and optimization in computational sustainability. In** Int.l Conference on Principles and Practice of Constraint Programming**, I. P. Gent, Ed. Lecture Notes in Computer Science, vol. 5732. Springer,**
Berlin/Heidelberg, 2–4.

Hermenegildo, M. V., Bueno, F., Carro, M., Lopez-Garc ´ ´ıa, P., Morales, J. F.,
and Puebla, G. **2008. An overview of the Ciao multiparadigm language and program**
development environment and its design philosophy. In *Concurrency, Graphs and Models*, P. Degano, R. De Nicola, and J. Meseguer, Eds. Lecture Notes **in Computer Science,**
vol. 5065. Springer, Berlin/Heidelberg, 209–237.

Jaffar, J. and Maher, M. J. **1994. Constraint logic programming: A survey.** Journal of Logic Programming 19/20**, 503–581.**
Jaffar, J., Michaylov, S., Stuckey, P. J., and Yap, R. H. C. **1992. The CLP(**R)
language and system. *ACM Transactions on Programming Languages and Systems 14,* 3, 339–395.

Meert, W., Struyf, J., and Blockeel, H. **2009. CP-Logic theory inference with contextual variable elimination and comparison to BDD based inference methods. In** Proceedings of the 19th International Conference on Inductive *Logic Programming***, L. De**
Raedt, Ed. KU Leuven, Leuven, Belgium.

Pearl, J. **2000.** *Causality***. Cambridge University Press.**
Poole, D. **1997. The independent choice logic for modelling multiple agents under uncertainty.** *Artificial Intelligence 94,* **1-2, 7–56.** Riguzzi, F. **2007. A top down interpreter for LPAD and CP-logic. In** *AI*IA 2007: Artificial Intelligence and Human-Oriented Computing***, R. Basili and M. T. Pazienza, Eds.**
Lecture Notes in Artificial Intelligence, vol. 4733. Springer-Verlag, Berlin/Heidelberg, 109–120.

Riguzzi, F. **2008. Inference with logic programs with annotated disjunctions under the**
well founded semantics. In *International Conference on Logic Programming***, M. G. de** la Banda and E. Pontelli, Eds. Lecture Notes in Computer Science, vol. 5366. Springer, Berlin/Heidelberg, 667–771.

Riguzzi, F. 2009. Extended semantics and inference for the Independent **Choice Logic.**
Logic Journal of the IGPL 17, **6, 589–629.**
Santos Costa, V., Page, D., Qazi, M., and Cussens, J. 2003. CLP(BN ): Constraint