Using generalized annotated programs to solve social network optimization problems

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 7, Issue , 2010, Pages 182-191

  Shakarian, Paulo ^a   Subrahmanian, V S ^a   Sapino, Maria Luisa ^b  

^a UNIVERSITY OF MARYLAND   (United States)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ANNOTATED PROGRAM; DIFFUSION MODEL; FOLLOWING PROBLEM; NETWORK OPTIMIZATION PROBLEM; OBJECTIVE FUNCTIONS; WEIGHTED GRAPH;

COMPLEX NETWORKS; DIRECTED GRAPHS; LOGIC PROGRAMMING; OPTIMIZATION;

SOCIAL NETWORKING (ONLINE);

EID: 84880202202     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/LIPIcs.ICLP.2010.182     Document Type: Conference Paper

References (23)

1. [And79] Roy M. Anderson and Robert M. May. Population biology of infectious diseases: Part i. Nature, 280(5721):361, 1979.
2. [Apt03] K. Apt. Principles of constraint programming. Cambridge University Press, 2003.
3. [Cow04] Robin Cowan and Nicolas Jonard. Network structure and the diffusion of knowledge. Journal of Economic Dynamics and Control, 28(8):1557 - 1575, 2004. doi:DOI:10.1016/j.jedc.2003.04.002. URL http://www.sciencedirect. com/science/article/B6V85-4B3K2R3-2/2/16e1c8fae6818c11bb45325c9b3ea4a1.
4. [Dam99] C. Damasio, L. Pereira, and T. Swift. Coherent well-founded annotated logic programs. In Proc. Intl. Conf. on Logic Programming and Non-Monotonic Reasoning, pp. 262-276. Springer Lecture Notes in Computer Science Vol. 1730, 1999.
5. [FC08] H. Cruz, F.C. Coelho, C. Codeco. Epigrass: A tool to study disease spread in complex networks. Source Code for Biology and Medicin, 3(3), 2008.
6. [Gra78] Mark Granovetter. Threshold models of collective behavior. The American Journal of Sociology, 83(6):1420-1443, 1978. doi:10.2307/2778111. URL http://dx.doi.org/10.2307/2778111.
7. [Het76] Herbert W. Hethcote. Qualitative analyses of communicable disease models. Mathematical Biosciences, 28(3-4):335 - 356, 1976. doi:DOI:10.1016/ 0025-5564(76)90132-2. URL http://www.sciencedirect.com/science/article/B6VHX- 4771JSV-9/2/701b5ad988380270c29b4ab5dcd67bbe.
8. [Jac05] M. Jackson and L. Yariv. Diffusion on social networks. In Economie Publique, vol. 16, pp. 69-82. 2005.
9. [JG01] E. Muller J. Goldenberg, B. Libai. Talk of the network: A complex systems look at the underlying process of word-of-mouth. Marketing Letters, 12(3):211, 2001.
10. [Kem03] David Kempe, Jon Kleinberg, and Éva Tardos. Maximizing the spread of inuence through a social network. In KDD '03: Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining, pp. 137-146. ACM, New York, NY, USA, 2003. doi: http://doi.acm.org/10. 1145/956750.956769.
11. [Kif92a] M. Kifer and E. L. Lozinskii. A logic for reasoning with inconsistency. J. Autom. Reasoning, 9(2):179-215, 1992.
12. [Kif92b] Michael Kifer and V.S. Subrahmanian. Theory of generalized annotated logic programming and its applications. J. Log. Program., 12(3&4):335-367, 1992.
13. [Kra04] Stanislav Krajci, Rastislav Lencses, and Peter Vojts. A comparison of fuzzy and annotated logic programming. Fuzzy Sets and Systems, 144(1):173 - 192, 2004. doi:DOI:10.1016/j.fss.2003.10.019. URL http://www.sciencedirect.com/science/article/B6V05-49YH3XJ-2/2/ 1a631467fa197cb0a6f6ae93c1db1a59.
14. [Leo04] Nicola Leone, Francesco Scarcello, and V.S. Subrahmanian. Optimal models of disjunctive logic programs: Semantics, complexity, and computation. IEEE Transactions on Knowledge and Data Engineering, 16:487-503, 2004. doi:http://doi.ieeecomputersociety.org/10.1109/TKDE.2004.1269672.
15. [Llo87] John W. Lloyd. Foundations of logic programming. Springer-Verlag New York, Inc., 1987.
16. [Lu93] J.J. Lu, N.V. Murray, and E. Rosenthal. Signed formulas and annotated logics. In Multiple-Valued Logic, 1993., Proceedings of The Twenty-Third International Symposium on, pp. 48-53. 1993. doi: 10.1109/ISMVL.1993.289582.
17. [Lu96] J. Lu. Logic programs with signs and annotations. Journal of Logic and Computation, 6(6):755-778, 1996.
18. [NE08] A. Pentland N. Eagle and D. Lazer. Mobile phone data for inferring social network structure. In Proc. 2008 Intl. Conference on Social and Behavioral Computing, pp. 79-88. Springer Verlag, 2008.
19. [Ryc08] Jan Rychtář and Brian Stadler. Evolutionary dynamics on small-world networks. International Journal of Computational and Mathematical Sciences, 2(1), 2008. URL www.waset.org.
20. [Sch78] Thoma C. Schelling. Micromotives and Macrobehavior. W.W. Norton and Co., 1978.
21. [Thi93] K. Thirunarayan and M. Kifer. A theory of nonmonotonic inheritance based on annotated logic. Artificial Intelligence, 60(1):23-50, 1993.
22. [Ven04] J. Venneksn, S. Verbaeten, and M. Bruynooghe. Logic programs with annotated disjunctions. In Proc. Intl. Conf. on Logic Programming, pp. 431-445. Springer Lecture Notes in Computer Science Vol. 3132, 2004.
23. [Wat99] Duncan J. Watts. Networks, dynamics, and the small-world phenomenon. The American Journal of Sociology, 105(2):493-527, 1999. URL http://www.jstor.org/stable/2991086.