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, Voronkov, A., Ed. Lecture Notes in Computer Science, vol. 592. Springer, Berlin, 152–164.
De Koninck, L., Schrijvers, T., and Demoen, B. 2006. INCLP(R)—interval-based nonlinear constraint logic programming over the reals. In WLP, Fink, M., Tompits, H., and Woltran, S., Eds. INFSYS Research Report, vol. 1843-06-02. Technische Universität 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 Intl. Conference on Principles and Practice of Constraint Programming, Gent, I. P., Ed. Lecture Notes in Computer Science, vol. 5732. Springer, Berlin, 2–4.
Hermenegildo, M. V., Bueno, F., Carro, M., López-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, Degano, P., Nicola, R. De, and Meseguer, J., Eds. Lecture Notes in Computer Science, vol. 5065. Springer, Berlin, 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(ℛ) 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, De Raedt, L., 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, Basili, R. and Pazienza, M. T., Eds. Lecture Notes in Artificial Intelligence, vol. 4733. Springer, Berlin, 109–120.
Riguzzi, F. 2008. Inference with logic programs with annotated disjunctions under the well founded semantics. In International Conference on Logic Programming, de la Banda, M. G. and Pontelli, E., Eds. Lecture Notes in Computer Science, vol. 5366. Springer, Berlin, 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(): Constraint 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, Pollack, M. E., 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, van Beek, P., Ed. Lecture Notes in Computer Science, vol. 3709. Springer, Berlin, 622–636.
Sorensen, J. C. and Moss, M. L. 1973. Procedures and Programs to Assist in the Impact Statement Process. Technical report, University 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, Demoen, B. and Lifschitz, V., Eds. Lecture Notes in Computer Science, vol. 3131. Springer, Heidelberg, 195–209.
Zhou, N.-F., Nagasawa, I., Umeda, M., Katamine, K., and Hirota, T. 1996. B-Prolog: A high performance Prolog compiler. In IEA/AIE, Tanaka, T., Ohsuga, S., and Ali, M., Eds. Gordon and Breach, 790.