{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:09:08Z","timestamp":1751688548265,"version":"3.41.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319912615"},{"type":"electronic","value":"9783319912622"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91262-2_35","type":"book-chapter","created":{"date-parts":[[2018,5,10]],"date-time":"2018-05-10T13:22:44Z","timestamp":1525958564000},"page":"387-397","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["System for Building and Analyzing Preference Models Based on Social Networking Data and SAT Solvers"],"prefix":"10.1007","author":[{"given":"Rados\u0142aw","family":"Klimek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,11]]},"reference":[{"key":"35_CR1","doi-asserted-by":"publisher","first-page":"24842","DOI":"10.1109\/ACCESS.2017.2735242","volume":"5","author":"M Abdar","year":"2017","unstructured":"Abdar, M., Yen, N.Y.: Design of a universal user model for dynamic crowd preference sensing and decision-making behavior analysis. IEEE Access 5, 24842\u201324852 (2017)","journal-title":"IEEE Access"},{"key":"35_CR2","first-page":"993","volume":"3","author":"DM Blei","year":"2003","unstructured":"Blei, D.M., Ng, A.Y., Jordan, M.I.: Latent Dirichlet allocation. J. Mach. Learn. Res. 3, 993\u20131022 (2003). http:\/\/dl.acm.org\/citation.cfm?id=944919.944937","journal-title":"J. Mach. Learn. Res."},{"issue":"23","key":"35_CR3","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1080\/00437956.1954.11659520","volume":"10","author":"Z Harris","year":"1954","unstructured":"Harris, Z.: Distributional structure. Word 10(23), 146\u2013162 (1954)","journal-title":"Word"},{"key":"35_CR4","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-642-45422-6_11","volume-title":"Evaluation of Novel Approaches to Software Engineering","author":"R Klimek","year":"2013","unstructured":"Klimek, R.: Deduction-based formal verification of requirements models with automatic generation of logical specifications. In: Maciaszek, L.A., Filipe, J. (eds.) ENASE 2012. CCIS, vol. 410, pp. 157\u2013171. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45422-6_11"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Klimek, R.: Behaviour recognition and analysis in smart environments for context-aware applications. In: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2015), 9\u201312 October 2015, City University of Hong Kong, Hong Kong, pp. 1949\u20131955. IEEE Computer Society (2015)","DOI":"10.1109\/SMC.2015.340"},{"key":"35_CR6","unstructured":"Klimek, R., Kotulski, L.: Proposal of a multiagent-based smart environment for the IoT. In: Augusto, J.C., Zhang, T. (eds.) Workshop Proceedings of the 10th International Conference on Intelligent Environments, 30th June\u20131st July 2014, Shanghai, China. Ambient Intelligence and Smart Environments, vol. 18, pp. 37\u201344. IOS Press (2014)"},{"key":"35_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-319-19369-4_22","volume-title":"Artificial Intelligence and Soft Computing","author":"R Klimek","year":"2015","unstructured":"Klimek, R., Kotulski, L.: Towards a better understanding and behavior recognition of inhabitants in smart cities. A public transport case. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2015. LNCS (LNAI), vol. 9120, pp. 237\u2013246. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19369-4_22"},{"key":"35_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/978-3-319-19369-4_37","volume-title":"Artificial Intelligence and Soft Computing","author":"R Klimek","year":"2015","unstructured":"Klimek, R., Rogus, G.: Proposal of a context-aware smart home ecosystem. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2015. LNCS (LNAI), vol. 9120, pp. 412\u2013423. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19369-4_37"},{"key":"35_CR9","unstructured":"Klimek, R., Szwed, P.: Verification of ArchiMate process specifications based on deductive temporal reasoning. In: Proceedings of Federated Conference on Computer Science and Information Systems (FedCSIS 2013), 8\u201311 September 2013, Krak\u00f3w, Poland, pp. 1131\u20131138. IEEE Xplore Digital Library (2013)"},{"key":"35_CR10","doi-asserted-by":"publisher","unstructured":"Kluza, K., Jobczyk, K., Wisniewski, P., Ligeza, A.: Overview of time issues with temporal logics for business process models. In: Ganzha, M., Maciaszek, L.A., Paprzycki, M. (eds.) Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, FedCSIS 2016, 11\u201314 September 2016, Gda\u0144sk, Poland, pp. 1115\u20131123 (2016). https:\/\/doi.org\/10.15439\/2016F328","DOI":"10.15439\/2016F328"},{"key":"35_CR11","unstructured":"Le Berre, D., Parrain, A.: Sat4j - the Boolean satisfaction and optimization library in Java (2017). http:\/\/www.sat4j.org\/. Accessed 8 Jun 2017"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"Liu, Y., Xie, Q., Xiong, F.: Recommendations based on collaborative filtering by tag weights. In: 2017 13th International Conference on Semantics, Knowledge and Grids (SKG), pp. 62\u201368, August 2017","DOI":"10.1109\/SKG.2017.00019"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Magdum, S.S., Megha, J.V.: Mining online reviews and tweets for predicting sales performance and success of movies. In: 2017 International Conference on Intelligent Computing and Control Systems (ICICCS), pp. 334\u2013339, June 2017","DOI":"10.1109\/ICCONS.2017.8250738"},{"key":"35_CR14","doi-asserted-by":"crossref","unstructured":"Wisniewski, P., Kluza, K., Ligeza, A.: Decision support system for robust urban transport management. In: FedCSIS, pp. 1069\u20131074 (2017)","DOI":"10.15439\/2017F296"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91262-2_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T12:24:53Z","timestamp":1751631893000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91262-2_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319912615","9783319912622"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91262-2_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"11 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICAISC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Artificial Intelligence and Soft Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zakopane","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icaisc2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/icaisc.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}