1. Applegate, D., Cook, W., Dash, S., Mevenkamp, M.: QSopt: a linear programming library for JAVA. http://www2.isye.gatech.edu/~wcook/qsopt (2009)
2. Black, M., Jepson, A.: A probabilistic framework for matching temporal trajectories: condensation-based recognition of gestures and expressions. In: Proceedings of ECCV ’98, pp. 909–924 (1998)
3. Damasio, C.V., Pereira, L.M., Swift, T.: Coherent well-founded annotated logic programs. In: Logic Programming and Non-monotonic Reasoning, pp. 262–276 (1999)
4. Dekhtyar, A., Subrahmanian, V.S.: Hybrid probabilistic programs. In: Journal of Logic Programming, pp. 391–405 (1997)
5. Delgrande, J.P., Liu, D.H., Schaub, T., Thiele, S.: COBA 2.0: a consistency-based belief change system. In: Proceedings of ECSQARU ’07, pp. 78–90. Springer, Berlin, Heidelberg (2007)