{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:05:28Z","timestamp":1759133128245},"reference-count":74,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,10,23]],"date-time":"2015-10-23T00:00:00Z","timestamp":1445558400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1007\/s10115-015-0890-z","type":"journal-article","created":{"date-parts":[[2015,10,23]],"date-time":"2015-10-23T16:57:43Z","timestamp":1445619463000},"page":"619-648","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Information diffusion in a multi-social-network scenario: framework and ASP-based analysis"],"prefix":"10.1007","volume":"48","author":[{"given":"Giuseppe","family":"Marra","sequence":"first","affiliation":[]},{"given":"Domenico","family":"Ursino","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[]},{"given":"Giorgio","family":"Terracina","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,23]]},"reference":[{"key":"890_CR1","unstructured":"Andres B, Kaufmann B, Matheis O, Schaub T (2012) Unsatisfiability-based optimization in clasp. In: Dovier A, Costa VS (eds). ICLP (technical communications), Vol.\u00a017 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 211\u2013221"},{"key":"890_CR2","doi-asserted-by":"crossref","unstructured":"Balduccini M, Gelfond M, Watson R, Nogeira M (2001) The USA-Advisor: A Case Study in Answer Set Planning. In: Proceedings of the international conference on logic programming and nonmonotonic reasoning (LPNMR\u201901), Lecture notes in computer science. Springer, Vienna, Austria, pp. 439\u2013442","DOI":"10.1007\/3-540-45402-0_39"},{"key":"890_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning and declarative problem solving","author":"C Baral","year":"2003","unstructured":"Baral C (2003) Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge"},{"key":"890_CR4","doi-asserted-by":"crossref","unstructured":"Baral C, Gelfond M (2000) Reasoning agents in dynamic domains. In: Logic-based artificial intelligence. Kluwer Academic Publishers, pp. 257\u2013279","DOI":"10.1007\/978-1-4615-1567-8_12"},{"key":"890_CR5","doi-asserted-by":"crossref","unstructured":"Baral C, Uyan C (2001) Declarative specification and solution of combinatorial auctions using logic programming. In: Proceedings of the international conference on logic programming and nonmonotonic reasoning (LPNMR\u201901). Lecture notes in computer science. Springer, Vienna, Austria, pp. 186\u2013199","DOI":"10.1007\/3-540-45402-0_14"},{"key":"890_CR6","doi-asserted-by":"crossref","unstructured":"Bardadym VA (1996) Computer-aided school and university timetabling: the new wave. In: Burke E, Ross P (eds). Practice and theory of automated timetabling, first international conference 1995, Vol. 1153 of LNCS, Springer, pp. 22\u201345","DOI":"10.1007\/3-540-61794-9_50"},{"key":"890_CR7","doi-asserted-by":"crossref","unstructured":"Berlingerio M, Coscia M, Giannotti F, Monreale A, Pedreschi D (2011a) Foundations of multidimensional network analysis. In: Proceedings of the international conference on advances in social networks analysis and mining (ASONAM 2011), IEEE, Kaohsiung, Taiwan, pp. 485\u2013489","DOI":"10.1109\/ASONAM.2011.103"},{"issue":"3","key":"890_CR8","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/j.jocs.2011.05.009","volume":"2","author":"M Berlingerio","year":"2011","unstructured":"Berlingerio M, Coscia M, Giannotti F, Monreale A, Pedreschi D (2011b) The pursuit of hubbiness: analysis of hubs in large multidimensional networks. J Comput Sci 2(3):223\u2013237","journal-title":"J Comput Sci"},{"key":"890_CR9","doi-asserted-by":"crossref","unstructured":"Bertossi L, Hunter A, Schaub T, eds (2005) Inconsistency tolerance, Vol. 3300 of Lecture notes in computer science. Springer","DOI":"10.1007\/b104925"},{"key":"890_CR10","unstructured":"Bravo L, Bertossi L (2003) Logic programming for consistently querying data integration systems. In: Proceedings of the international joint conference on artificial intelligence (IJCAI 2003)\u2019, Acapulco, Mexico, pp. 10\u201315"},{"key":"890_CR11","unstructured":"Brewka G, Coradeschi S, Perini A, Traverso P, eds (2006) Proceedings of the international conference on prestigious applications of intelligent systems (PAIS 2006), Riva del Garda, Italy"},{"key":"890_CR12","doi-asserted-by":"crossref","unstructured":"Buccafurri F, Lax G, Nocera A, Ursino D (2012) Discovering Links among Social Networks. In: Proceedings of the European conference on machine learning and principles and practice of knowledge discovery in databases (ECML PKDD 2012)\u2019, Lecture Notes in Computer Science. Springer, Bristol, United Kingdom, pp. 467\u2013482","DOI":"10.1007\/978-3-642-33486-3_30"},{"key":"890_CR13","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/j.ins.2013.08.046","volume":"256","author":"F Buccafurri","year":"2014","unstructured":"Buccafurri F, Lax G, Nocera A, Ursino D (2014) Moving from social networks to social internetworking scenarios: the crawling perspective. Inf Sci 256:126\u2013137 Elsevier","journal-title":"Inf Sci"},{"issue":"5","key":"890_CR14","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1109\/69.877512","volume":"12","author":"F Buccafurri","year":"2000","unstructured":"Buccafurri F, Leone N, Rullo P (2000) Enhancing disjunctive datalog by constraints. IEEE Trans Knowl Data Eng 12(5):845\u2013860","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"890_CR15","doi-asserted-by":"crossref","unstructured":"Cai D, Shao Z, He X, Yan X, Han J (2005) Mining hidden community in heterogeneous social networks. In: Proceedings of the international workshop on link discovery (LinkKDD\u201905)\u2019, ACM, Chicago, Illinois, USA, pp. 58\u201365","DOI":"10.1145\/1134271.1134280"},{"issue":"1","key":"890_CR16","first-page":"117","volume":"14","author":"F Calimeri","year":"2014","unstructured":"Calimeri F, Ianni G, Ricca F (2014) The third open answer set programming competition. TPLP 14(1):117\u2013135","journal-title":"TPLP"},{"key":"890_CR17","doi-asserted-by":"crossref","unstructured":"Calimeri F, Ianni G, Ricca F, Alviano M, Bria A, Catalano G, Cozza S, Faber W, Febbraro O, Leone N, Manna M, Martello A, Panetta C, Perri S, Reale K, Santoro MC, Sirianni M, Terracina G, Veltri P (2011) The third answer set programming competition: preliminary report of the system competition track. In: \u2018LPNMR\u2019, Vol. 6645 of LNCS, Springer, pp. 388\u2013403","DOI":"10.1007\/978-3-642-20895-9_46"},{"key":"890_CR18","doi-asserted-by":"crossref","unstructured":"Cataldi M, Di Caro L, Schifanella C (2010) Emerging topic detection on Twitter based on temporal and social terms evaluation. In: Proceedings of the international workshop on multimedia data mining (MDMKDD \u201910)\u2019, ACM, Washington DC, DC, USA","DOI":"10.1145\/1814245.1814249"},{"issue":"3","key":"890_CR19","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1007\/s10115-012-0540-7","volume":"33","author":"Y Chen","year":"2012","unstructured":"Chen Y, Peng W, Lee S (2012) Efficient algorithms for influence maximization in social networks. Knowl Inf Syst 33(3):577\u2013601","journal-title":"Knowl Inf Syst"},{"key":"890_CR20","doi-asserted-by":"crossref","unstructured":"Domingos P, Richardson M (2001) Mining the network value of customers. In: Proceedings of the ACM SIGKDD international conference on knowledge discovery and data mining (KDD 2001), ACM, San Francisco, CA, USA, pp. 57\u201366","DOI":"10.1145\/502512.502525"},{"key":"890_CR21","doi-asserted-by":"crossref","unstructured":"E\u00e9n N, Biere A (2005) Effective preprocessing in SAT through variable and clause elimination. In: \u2018SAT\u2019, Vol. 3569 of LNCS, Springer, pp. 61\u201375","DOI":"10.1007\/11499107_5"},{"key":"890_CR22","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-1-4615-1567-8_4","volume-title":"Logic-based artificial intelligence","author":"T Eiter","year":"2000","unstructured":"Eiter T, Faber W, Leone N, Pfeifer G (2000) Declarative problem-solving using the DLV system. In: Minker J (ed) Logic-based artificial intelligence. Kluwer Academic Publishers, Berlin, pp 79\u2013103"},{"issue":"3","key":"890_CR23","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T Eiter","year":"1997","unstructured":"Eiter T, Gottlob G, Mannila H (1997) Disjunctive datalog. ACM Trans Database Syst 22(3):364\u2013418","journal-title":"ACM Trans Database Syst"},{"key":"890_CR24","doi-asserted-by":"crossref","unstructured":"Faber W, Leone N, Pfeifer G (2004) Recursive aggregates in disjunctive logic programs: Semantics and complexity. In: Alferes JJ, Leite J, (eds). Proceedings of the 9th European conference on artificial intelligence (JELIA 2004)\u2019, Vol. 3229 of Lecture Notes in AI (LNAI). Springer, pp. 200\u2013212","DOI":"10.1007\/978-3-540-30227-8_19"},{"key":"890_CR25","doi-asserted-by":"crossref","unstructured":"Faber W, Leone N, Pfeifer G (2011) Semantics and complexity of recursive aggregates in answer set programming. Artif Intell 175(1):278\u2013298. Special Issue: John McCarthy\u2019s Legacy","DOI":"10.1016\/j.artint.2010.04.002"},{"issue":"2\u20134","key":"890_CR26","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s10472-008-9087-4","volume":"51","author":"W Faber","year":"2007","unstructured":"Faber W, Leone N, Pfeifer G, Ricca F (2007) On look-ahead heuristics in disjunctive logic programming. Ann Math Artif Intell 51(2\u20134):229\u2013266","journal-title":"Ann Math Artif Intell"},{"key":"890_CR27","doi-asserted-by":"crossref","unstructured":"Franconi E, Palma AL, Leone N, Perri S, Scarcello F (2001) Census Data Repair: a Challenging Application of Disjunctive Logic Programming. In: Logic for programming, artificial intelligence, and reasoning, 8th international conference, LPAR 2001\u2019, Vol. 2250 of Lecture notes in computer science. Springer, pp. 561\u2013578","DOI":"10.1007\/3-540-45653-8_39"},{"key":"890_CR28","unstructured":"Friedrich G, Ivanchenko V (2008) Diagnosis from first principles for workflow executions, Technical report, Alpen Adria University, Applied Informatics, Klagenfurt, Austria. http:\/\/proserver3-iwas.uni-klu.ac.at\/download_area\/Technical-Reports\/technical_report_2008_02.pdf"},{"key":"890_CR29","doi-asserted-by":"crossref","unstructured":"Furche T, Gottlob G, Grasso G, Guo X, Orsi G, Schallhart C (2012) Opal: automated form understanding for the deep web. In: \u2018WWW\u2019","DOI":"10.1145\/2187836.2187948"},{"issue":"2","key":"890_CR30","first-page":"137","volume":"19","author":"A Garro","year":"2006","unstructured":"Garro A, Palopoli L, Ricca F (2006) Exploiting agents in e-learning and skills management context. AI Commun Eur J Artif Intell 19(2):137\u2013154","journal-title":"AI Commun Eur J Artif Intell"},{"key":"890_CR31","doi-asserted-by":"crossref","unstructured":"Gebser M, Kaminski R, K\u00f6nig A, Schaub T (2011) Advances in gringo series 3. In: Delgrande JP, Faber W, (eds). Logic programming and nonmonotonic reasoning\u201411th international conference, LPNMR 2011, Vancouver, Canada, May 16\u201319, 2011. Proceedings, Vol. 6645 of lecture notes in computer science. Springer, pp. 345\u2013351","DOI":"10.1007\/978-3-642-20895-9_39"},{"key":"890_CR32","unstructured":"Gebser M, Kaufmann B, Schaub T (2013) Advanced conflict-driven disjunctive answer set solving. In: Rossi F, (ed). IJCAI 2013, proceedings of the 23rd international joint conference on artificial intelligence, Beijing, China, August 3\u20139, 2013, IJCAI\/AAAI. http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6835"},{"issue":"1\u20132","key":"890_CR33","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0004-3702(02)00207-2","volume":"138","author":"M Gelfond","year":"2002","unstructured":"Gelfond M, Leone N (2002) Logic programming and knowledge representation: the a-prolog perspective. Artif Intell 138(1\u20132):3\u201338","journal-title":"Artif Intell"},{"key":"890_CR34","first-page":"1070","volume-title":"Logic programming: proceedings fifth intl conference and symposium","author":"M Gelfond","year":"1988","unstructured":"Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. Logic programming: proceedings fifth intl conference and symposium. MIT Press, Cambridge, pp 1070\u20131080"},{"key":"890_CR35","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Gener Comput 9:365\u2013385","journal-title":"New Gener Comput"},{"issue":"3","key":"890_CR36","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1023\/A:1011122126881","volume":"12","author":"J Goldenberg","year":"2001","unstructured":"Goldenberg J, Libai E, Muller E (2001) Talk of the network: a complex systems look at the underlying process of word-of-mouth. Market Lett 12(3):211\u2013223","journal-title":"Market Lett"},{"issue":"6","key":"890_CR37","first-page":"1127","volume":"83","author":"M Granovetter","year":"1978","unstructured":"Granovetter M (1978) Threshold models of collective behavior. Am J Sociol 83(6):1127\u20131138","journal-title":"Am J Sociol"},{"key":"890_CR38","doi-asserted-by":"crossref","unstructured":"Guille A, Hacid H (2012) A predictive model for the temporal dynamics of information diffusion in online social networks. In: Proceedings of the international world wide web conference (WWW 2012) - Companion Volume\u2019. ACM, Lyon, France, pp 1145\u20131152","DOI":"10.1145\/2187980.2188254"},{"issue":"2","key":"890_CR39","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/2503792.2503797","volume":"42","author":"A Guille","year":"2013","unstructured":"Guille A, Hacid H, Favre C, Zighed D (2013) Information diffusion in online social networks: a survey. SIGMOD Rec 42(2):17\u201328","journal-title":"SIGMOD Rec"},{"key":"890_CR40","volume-title":"AAAI","author":"F Heras","year":"2011","unstructured":"Heras F, Morgado A, Marques-Silva J (2011) Core-guided binary search algorithms for maximum satisfiability. In: Burgard W, Roth D (eds) AAAI. AAAI Press, Menlo Park"},{"key":"890_CR41","doi-asserted-by":"crossref","unstructured":"Kempe D, Kleinberg JM, Tardos \u00c9 (2003a) Maximizing the spread of influence through a social network. In: Proceedings of the ninth ACM SIGKDD international conference on knowledge discovery and data mining, Washington, DC, USA, August 24\u201327, 2003, pp. 137\u2013146","DOI":"10.1145\/956755.956769"},{"key":"890_CR42","doi-asserted-by":"crossref","unstructured":"Kempe D, Kleinberg J, Tardos \u00c9 (2003b) Maximizing the spread of influence through a social network. In: Proceedings of the ACM SIGKDD international conference on knowledge discovery and data mining (KDD 2003), ACM, Washington, DC, USA, pp. 137\u2013146","DOI":"10.1145\/956750.956769"},{"key":"890_CR43","doi-asserted-by":"crossref","unstructured":"Kempe D, Kleinberg J, Tardos \u00c9 (2005) Influential Nodes in a Diffusion Model for Social Networks. In: Proceedings of the international colloquium on automata, languages and programming (ICALP 2005), lecture notes in computer science, Springer, Lisbon, Portugal, pp. 1127\u20131138","DOI":"10.1007\/11523468_91"},{"issue":"2","key":"890_CR44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1140\/epjb\/e2014-50167-4","volume":"88","author":"K Lee","year":"2015","unstructured":"Lee K, Min B, Goh K (2015) Towards real-world complexity: an introduction to multiplex networks. Eur Phys J B 88(2):1\u201320","journal-title":"Eur Phys J B"},{"key":"890_CR45","doi-asserted-by":"crossref","unstructured":"Leone N, Gottlob G, Rosati R, Eiter T, Faber W, Fink M, Greco G, Ianni G, Ka\u0142ka E, Lembo D, Lenzerini M, Lio V, Nowicki B, Ruzzi M, Staniszkis W, Terracina G (2005) The INFOMIX system for advanced integration of incomplete and inconsistent data. In: Proceedings of the 24th ACM SIGMOD international conference on management of data (SIGMOD 2005). ACM Press, Baltimore, Maryland, USA, pp 915\u2013917","DOI":"10.1145\/1066157.1066286"},{"issue":"3","key":"890_CR46","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone N, Pfeifer G, Faber W, Eiter T, Gottlob G, Perri S, Scarcello F (2006a) The DLV system for knowledge representation and reasoning. ACM Trans Comput Logic 7(3):499\u2013562","journal-title":"ACM Trans Comput Logic"},{"issue":"3","key":"890_CR47","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone N, Pfeifer G, Faber W, Eiter T, Gottlob G, Perri S, Scarcello F (2006b) The DLV system for knowledge representation and reasoning. ACM Trans Comput Logic 7(3):499\u2013562","journal-title":"ACM Trans Comput Logic"},{"issue":"2","key":"890_CR48","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1006\/inco.1997.2630","volume":"135","author":"N Leone","year":"1997","unstructured":"Leone N, Rullo P, Scarcello F (1997) Disjunctive stable models: unfounded sets, fixpoint semantics, and computation. Inf Comput 135(2):69\u2013112. doi: 10.1006\/inco.1997.2630","journal-title":"Inf Comput"},{"key":"890_CR49","doi-asserted-by":"crossref","unstructured":"Li C, Anbulagan (1997) Look-Ahead Versus Look-Back for Satisfiability Problems. In: Smolka G, (ed). Proceedings of the third international conference on principles and practice of constraint programming (CP\u201997), Vol. 1330 of lecture notes in computer science. Springer, pp. 342\u2013356","DOI":"10.1007\/BFb0017450"},{"key":"890_CR50","first-page":"23","volume-title":"Proceedings of the 16th international conference on logic programming (ICLP\u201999)","author":"V Lifschitz","year":"1999","unstructured":"Lifschitz V (1999) Answer set planning. In: Schreye DD (ed) Proceedings of the 16th international conference on logic programming (ICLP\u201999). The MIT Press, Las Cruces, pp 23\u201337"},{"issue":"1\u20132","key":"890_CR51","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F Lin","year":"2004","unstructured":"Lin F, Zhao Y (2004) ASSAT: computing answer sets of a logic program by SAT solvers. Artif Intell 157(1\u20132):115\u2013137","journal-title":"Artif Intell"},{"key":"890_CR52","doi-asserted-by":"crossref","unstructured":"Magnani M, Rossi L (2011) The ml-model for multi-layer social networks. In: Proceedings of the international conference on advances in social networks analysis and mining (ASONAM 2011), IEEE, Kaohsiung, Taiwan, pp. 5\u201312","DOI":"10.1109\/ASONAM.2011.114"},{"key":"890_CR53","doi-asserted-by":"crossref","unstructured":"Magnani M, Rossi L (2013) Formation of multiple networks. In: Social computing, behavioral-cultural modeling and prediction. Springer: Berlin, pp 257\u2013264","DOI":"10.1007\/978-3-642-37210-0_28"},{"issue":"2","key":"890_CR54","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1017\/S1471068411000640","volume":"13","author":"M Manna","year":"2013","unstructured":"Manna M, Ricca F, Terracina G (2013) Consistent query answering via ASP from different perspectives: theory and practice. Theory Pract Logic Program 13(2):227\u2013252","journal-title":"Theory Pract Logic Program"},{"issue":"1\u20133","key":"890_CR55","first-page":"70","volume":"63","author":"M Maratea","year":"2008","unstructured":"Maratea M, Ricca F, Faber W, Leone N (2008) Look-back techniques and heuristics in dlv: implementation, evaluation and comparison to qbf solvers. J Algorithm Cogn Inf Logics 63(1\u20133):70\u201389","journal-title":"J Algorithm Cogn Inf Logics"},{"key":"890_CR56","unstructured":"Marek VW, Truszczy\u0144ski M (1998) Stable models and an alternative logic programming paradigm, CoRR cs.LO\/9809032"},{"key":"890_CR57","doi-asserted-by":"crossref","unstructured":"Marra G, Nocera A, Ricca F, Terracina G, Ursino D (2014) Investigating information diffusion in a multi-social-network scenario via answer set programming. In: Web reasoning and rule systems - 8th international conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 191\u2013196","DOI":"10.1007\/978-3-319-11113-1_15"},{"key":"890_CR58","doi-asserted-by":"crossref","unstructured":"Marra G, Ricca F, Terracina G, Ursino D (2014) Exploiting answer set programming for handling information diffusion in a multi-social-network scenario. In: Logics in artificial intelligence\u201414th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24\u201326, 2014. Proceedings, pp. 618\u2013627","DOI":"10.1007\/978-3-319-11558-0_45"},{"issue":"4","key":"890_CR59","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/s10601-013-9146-2","volume":"18","author":"A Morgado","year":"2013","unstructured":"Morgado A, Heras F, Liffiton MH, Planes J, Marques-Silva J (2013) Iterative and core-guided MaxSAT solving: a survey and assessment. Constraints 18(4):478\u2013534","journal-title":"Constraints"},{"issue":"3","key":"890_CR60","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/s10115-013-0630-1","volume":"39","author":"R Narayanam","year":"2014","unstructured":"Narayanam R, Nanavati AA (2014) Design of viral marketing strategies for product cross-sell through social networks. Knowl Inf Syst 39(3):609\u2013641","journal-title":"Knowl Inf Syst"},{"key":"890_CR61","first-page":"2717","volume-title":"AAAI","author":"N Narodytska","year":"2014","unstructured":"Narodytska N, Bacchus F (2014) Maximum satisfiability using core-guided MaxSAT resolution. In: Brodley CE, Stone P (eds) AAAI. AAAI Press, Menlo Park, pp 2717\u20132723"},{"key":"890_CR62","first-page":"72","volume-title":"Proceedings of the workshop on computational aspects of nonmonotonic reasoning","author":"I Niemel\u00e4","year":"1998","unstructured":"Niemel\u00e4 I (1998) Logic programs with stable model semantics as a constraint programming paradigm. In: Niemel\u00e4 I, Schaub T (eds) Proceedings of the workshop on computational aspects of nonmonotonic reasoning. Trento, Italy, pp 72\u201379"},{"key":"890_CR63","doi-asserted-by":"crossref","unstructured":"Nogueira M, Balduccini M, Gelfond M, Watson R, Barry M (2001) An A-Prolog Decision Support System for the Space Shuttle. In: Ramakrishnan I, (ed). Practical aspects of declarative languages, third international symposium (PADL 2001), Vol. 1990 of lecture notes in computer science. Springer, pp. 169\u2013183","DOI":"10.1007\/3-540-45241-9_12"},{"issue":"4","key":"890_CR64","doi-asserted-by":"crossref","first-page":"048701","DOI":"10.1103\/PhysRevLett.105.048701","volume":"105","author":"R Parshani","year":"2010","unstructured":"Parshani R, Buldyrev S, Havlin S (2010) Interdependent networks: reducing the coupling strength leads to a change from a first to second order percolation transition. Phys Rev Lett 105(4):048701","journal-title":"Phys Rev Lett"},{"key":"890_CR65","unstructured":"Rosa ED, Giunchiglia E, Maratea M (2008) A new approach for solving satisfiability problems with qualitative preferences. In: Ghallab M, Spyropoulos CD, Fakotakis N, Avouris NM, (eds). \u2018ECAI\u2019, Vol. 178 of FAIA, IOS Press, pp. 510\u2013514"},{"issue":"3","key":"890_CR66","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1007\/s10115-011-0396-2","volume":"30","author":"K Saito","year":"2012","unstructured":"Saito K, Kimura M, Ohara K, Motoda H (2012) Efficient discovery of influential nodes for SIS models in social networks. Knowl Inf Syst 30(3):613\u2013635","journal-title":"Knowl Inf Syst"},{"key":"890_CR67","doi-asserted-by":"crossref","unstructured":"Saito K, Ohara K, Yamagishi Y, Kimura M, Motoda H (2011) Learning diffusion probability based on node attributes in social networks. In: Proceedings of the international symposium on foundations of intelligent systems (ISMIS 2011), lecture notes in computer science. Springer., Warsaw, Poland, pp. 153\u2013162","DOI":"10.1007\/978-3-642-21916-0_18"},{"key":"890_CR68","doi-asserted-by":"crossref","unstructured":"Seo J, Park J, Shin J, Lam MS (2013) Distributed socialite: a datalog-based language for large-scale graph analysis. PVLDB 6(14):1906\u20131917 http:\/\/www.vldb.org\/pvldb\/vol6\/p1906-seo.pdf","DOI":"10.14778\/2556549.2556572"},{"key":"890_CR69","doi-asserted-by":"crossref","unstructured":"Shamma D, Kennedy L, Churchill E (2011) Peaks and persistence: modeling the shape of microblog conversations. In: Proceedings of the ACM conference on computer supported cooperative work (CSCW 2011), ACM, Hangzhou, China, pp. 355\u2013358","DOI":"10.1145\/1958824.1958878"},{"issue":"5","key":"890_CR70","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1109\/12.769433","volume":"48","author":"JPM Silva","year":"1999","unstructured":"Silva JPM, Sakallah KA (1999) GRASP: a search algorithm for propositional satisfiability. IEEE Trans Comput 48(5):506\u2013521","journal-title":"IEEE Trans Comput"},{"issue":"1\u20132","key":"890_CR71","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P Simons","year":"2002","unstructured":"Simons P, Niemel\u00e4 I, Soininen T (2002) Extending and implementing the stable model semantics. Artif Intell 138(1\u20132):181\u2013234","journal-title":"Artif Intell"},{"issue":"6","key":"890_CR72","doi-asserted-by":"crossref","first-page":"e39749","DOI":"10.1371\/journal.pone.0039749","volume":"7","author":"Q Zhang","year":"2012","unstructured":"Zhang Q, Wang F, Zeng D, Wang T (2012) Understanding crowd-powered search groups: a social network perspective. PLoS ONE 7(6):e39749","journal-title":"PLoS ONE"},{"issue":"3","key":"890_CR73","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1007\/s10115-011-0445-x","volume":"32","author":"J Zhao","year":"2012","unstructured":"Zhao J, Wu J, Feng X, Xiong H, Xu K (2012) Information propagation in online social networks: a tie-strength perspective. Knowl Inf Syst 32(3):589\u2013608","journal-title":"Knowl Inf Syst"},{"key":"890_CR74","doi-asserted-by":"crossref","unstructured":"Zhong E, Fan W, Zhu Y, Yang Q (2013) Modeling the dynamics of composite social networks. In: Proceedings of the ACM SIGKDD international conference on knowledge discovery and data mining (KDD\u201913), ACM, Chicago, Illinois, USA, pp. 937\u2013945","DOI":"10.1145\/2487575.2487652"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-015-0890-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10115-015-0890-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-015-0890-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T17:44:51Z","timestamp":1567273491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10115-015-0890-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,23]]},"references-count":74,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["890"],"URL":"https:\/\/doi.org\/10.1007\/s10115-015-0890-z","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"value":"0219-1377","type":"print"},{"value":"0219-3116","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,23]]}}}