Computing most probable worlds of action probabilistic logic programs: Scalable estimation for 1030,000 worlds

Annals of Mathematics and Artificial Intelligence

Volumn 51, Issue 2-4, 2007, Pages 295-331

  Khuller, Samir ^a   Martinez, M Vanina ^a   Nau, Dana ^a   Sliva, Amy ^a   Simari, Gerardo I ^a   Subrahmanian, V S ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Most probable worlds; Probabilistic logic programs; Scalable approximations; Uncertainty

Indexed keywords

EID: 41149102316     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10472-008-9089-2     Document Type: Article

References (22)

1. Bhattacharjee, Y.: Pentagon asks academics for help in understanding its enemies. Science 316(5824), 534-535 (2007)
2. 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)
3. Dekhtyar, A., Subrahmanian, V.S.: Hybrid probabilistic programs. In: International Conference on Logic Programming, pp. 391-405 (1997)
4. Eiter, T., Lu, J.J., Subrahmanian, V.S.: Computing non-ground representations of stable models. In: Logic Programming and Non-monotonic Reasoning, pp. 198-217 (1997)
5. Eiter, T., Subrahmanian, V.S., Pick, G.: Heterogeneous active agents, i: semantics. Artif. Intell. 108(1-2), 178-255 (1999)
6. Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Inf. Comput. 87(1-2), 78-128 (1990)
7. Hailperin, T.: Probability logic. Notre Dame J. Form. Log. 25(3), 198-212 (1984)
8. Jaumard, B., Hansen, P., de Aragão, M.P.: Column generation methods for probabilistic logic. In: Proceedings of the First Integer Programming and Combinatorial Optimization Conference, pp. 313-331. University of Waterloo Press, Waterloo, Ontario, Canada (1990)
9. Lukasiewicz, T., Kern-Isberner, G.: Probabilistic logic programming under maximum entropy. In: Lecture Notes in Computer Science (Proceedings of ECSQARU 1999) 1638 (1999)
10. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer-Verlag (1987)
11. Lakshmanan, L.V.S., Shiri, N.: A parametric approach to deductive databases with uncertainty. IEEE Trans. Knowl. Data Eng. 13(4), 554-570 (2001)
12. Leone, N., Scarcello, F., Subrahmanian, V.S.: Optimal models of disjunctive logic programs: semantics, complexity, and computation. IEEE Trans. Knowl. Data Eng. 16(4), 487-503 (2004)
13. Lukasiewicz, T.: Probabilistic logic programming. In: European Conference on Artificial Intelligence, pp. 388-392 (1998)
14. Ngo, L., Haddawy, P.: Probabilistic logic programming and bayesian networks. In: Asian Computing Science Conference, pp. 286-300 (1995)
15. Nilsson, N.: Probabilistic logic. Artif. Intell. 28, 71-87 (1986)
16. Ng, R.T., Subrahmanian, V.S.: A semantical framework for supporting subjective and conditional probabilities in deductive databases. In: Furukawa, K. (ed.) Proceedings of the Eighth International Conference on Logic Programming, pp. 565-580. The MIT Press (1991)
17. Ng, R.T., Subrahmanian, V.S.: Probabilistic logic programming. Inf. Comput. 101(2), 150-201 (1992)
18. Subrahmanian, V.S., Albanese, M., Martinez, V., Reforgiato, D., Simari, G.I., Sliva, A., Udrea, O., Wilkenfeld, J.: CARA: a cultural reasoning architecture. IEEE Intell. Syst. 22(2), 12-16 (2007)
19. Stroe, B., Subrahmanian, V.S., Dasgupta, S.: Optimal status sets of heterogeneous agent programs. In: AAMAS '05: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 709-715. ACM, New York, NY, USA (2005)
20. Subrahmanian, V.S.: Cultural modeling in real-time. Science 1507, 309-310 (2007)
21. van Emden, M.H.: Quantitative deduction and its fixpoint theory. J. Log. Program. 4, 37-53 (1986)
22. Wilkenfeld, J., Asal, V., Johnson, C., Pate, A., Michael, M.: The use of violence by ethnopolitical organizations in the middle east. Technical report, National Consortium for the Study of Terrorism and Responses to Terrorism (February 2007)