{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T00:40:08Z","timestamp":1746232808190,"version":"3.40.4"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319075686"},{"type":"electronic","value":"9783319075693"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07569-3_4","type":"book-chapter","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T14:15:55Z","timestamp":1400595355000},"page":"43-57","source":"Crossref","is-referenced-by-count":7,"title":["Challenges for Migration of Rule-Based Reasoning Engine to a Mobile Platform"],"prefix":"10.1007","author":[{"given":"Szymon","family":"Bobek","sequence":"first","affiliation":[]},{"given":"Grzegorz J.","family":"Nalepa","sequence":"additional","affiliation":[]},{"given":"Mateusz","family":"\u015ala\u017cy\u0144ski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"ISO\/IEC 13211: Information technology - Programming languages - Prolog, Geneva (1995)"},{"key":"4_CR2","first-page":"100","volume-title":"Proceedings of the 14th Annual International Symposium on Computer Architecture, ISCA 1987","author":"S. Abe","year":"1987","unstructured":"Abe, S., Bandoh, T., Yamaguchi, S., Kurosawa, K., Kiriyama, K.: High performance integrated prolog processor ipp. In: Proceedings of the 14th Annual International Symposium on Computer Architecture, ISCA 1987, pp. 100\u2013107. ACM, New York (1987), http:\/\/doi.acm.org\/10.1145\/30350.30362"},{"key":"4_CR3","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-30721-8_1","volume-title":"Multimedia Communications, Services and Security","author":"W.T. Adrian","year":"2012","unstructured":"Adrian, W.T., Ci\u0119\u017ckowski, P., Kaczor, K., Lig\u0119za, A., Nalepa, G.J.: Web-based knowledge acquisition and management system supporting collaboration for improving safety in urban environment. In: Dziech, A., Czy\u017cewski, A. (eds.) MCSS 2012. CCIS, vol.\u00a0287, pp. 1\u201312. Springer, Heidelberg (2012), http:\/\/link.springer.com\/book\/10.1007\/978-3-642-30721-8\/page\/1"},{"key":"4_CR4","volume-title":"Warren\u2019s Abstract Machine: A Tutorial Reconstruction","author":"H. A\u00eft-Kaci","year":"1999","unstructured":"A\u00eft-Kaci, H.: Warren\u2019s Abstract Machine: A Tutorial Reconstruction. MIT Press, Gliwice (1999)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Atzmueller, M., Hilgenberg, K.: Towards capturing social interactions with sdcf: An extensible framework for mobile sensing and ubiquitous data collection. In: Proc. 4th International Workshop on Modeling Social Media. ACM Press (2013)","DOI":"10.1145\/2463656.2463662"},{"key":"4_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11963578_1","volume-title":"Declarative Programming for Knowledge Management","author":"M. Banbara","year":"2006","unstructured":"Banbara, M., Tamura, N., Inoue, K.: prolog cafe: A prolog to java translator system. In: Umeda, M., Wolf, A., Bartenstein, O., Geske, U., Seipel, D., Takata, O. (eds.) INAP 2005. LNCS (LNAI), vol.\u00a04369, pp. 1\u201311. Springer, Heidelberg (2006), http:\/\/dx.doi.org\/10.1007\/11963578_1"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/11428572_7","volume-title":"Pervasive Computing","author":"J.E. Bardram","year":"2005","unstructured":"Bardram, J.E.: The java context awareness framework (JCAF) \u2013 A service infrastructure and programming framework for context-aware applications. In: Gellersen, H.W., Want, R., Schmidt, A. (eds.) PERVASIVE 2005. LNCS, vol.\u00a03468, pp. 98\u2013115. Springer, Heidelberg (2005), http:\/\/dx.doi.org\/10.1007\/11428572_7"},{"key":"4_CR8","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-38559-9_3","volume-title":"Multimedia Communications, Services and Security","author":"S. Bobek","year":"2013","unstructured":"Bobek, S., Nalepa, G.J., Adrian, W.T.: Mobile context-based framework for monitoring threats in urban environment. In: Dziech, A., Czy\u017cewski, A. (eds.) MCSS 2013. CCIS, vol.\u00a0368, pp. 25\u201335. Springer, Heidelberg (2013)"},{"key":"4_CR9","unstructured":"Bobek, S., Porzycki, K., Nalepa, G.J.: Learning sensors usage patterns in mobile context-aware systems. In: Proceedings of the FedCSIS 2013 Conference, Krakow, pp. 993\u2013998. IEEE (September 2013)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Bolz, C.F., Leuschel, M., Schneider, D.: Towards a Jitting VM for Prolog Execution. In: PPDP 2010 - Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. ACM, Hagenberg (2010)","DOI":"10.1145\/1836089.1836102"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Language Implementation and Logic Programming","year":"1992","unstructured":"Bruynooghe, M., Wirsing, M. (eds.): PLILP 1992. LNCS, vol.\u00a0631. Springer, Heidelberg (1992), http:\/\/dblp.uni-trier.de\/db\/conf\/plilp\/plilp92.html#Tarau92"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Chen, H., Finin, T.W., Joshi, A.: Semantic web in the context broker architecture. In: PerCom, pp. 277\u2013286. IEEE Computer Society (2004)","DOI":"10.21236\/ADA439483"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Chen, H., Perich, F., Finin, T.W., Joshi, A.: Soupa: Standard ontology for ubiquitous and pervasive applications. In: 1st Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2004), Networking and Services, Cambridge, MA, USA, August 22-25, pp. 258\u2013267. IEEE Computer Society (2004)","DOI":"10.1109\/MOBIQ.2004.1331732"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1641389.1641390","volume-title":"Proceedings of the ICMI-MLMI 2009 Workshop on Multimodal Sensor-Based Systems and Mobile Phones for Social Computing, ICMI-MLMI 2009","author":"I. Chronis","year":"2009","unstructured":"Chronis, I., Madan, A., Pentland, A.S.: Socialcircuits: the art of using mobile phones for modeling personal interactions. In: Proceedings of the ICMI-MLMI 2009 Workshop on Multimodal Sensor-Based Systems and Mobile Phones for Social Computing, ICMI-MLMI 2009, pp. 1:1\u20131:4. ACM, New York (2009)"},{"issue":"1","key":"4_CR15","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/s007790170019","volume":"5","author":"A.K. Dey","year":"2001","unstructured":"Dey, A.K.: Understanding and using context. Personal Ubiquitous Comput.\u00a05(1), 4\u20137 (2001)","journal-title":"Personal Ubiquitous Comput."},{"issue":"1","key":"4_CR16","doi-asserted-by":"crossref","first-page":"57","DOI":"10.3233\/AIS-2009-0008","volume":"1","author":"A.K. Dey","year":"2009","unstructured":"Dey, A.K.: Modeling and intelligibility in ambient environments. J. Ambient Intell. Smart Environ.\u00a01(1), 57\u201362 (2009)","journal-title":"J. Ambient Intell. Smart Environ."},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/1057237.1057241","volume":"12","author":"A.K. Dey","year":"2005","unstructured":"Dey, A.K., Mankoff, J.: Designing mediation for context-aware applications. ACM Trans. Comput.-Hum. Interact.\u00a012(1), 53\u201380 (2005), http:\/\/doi.acm.org\/10.1145\/1057237.1057241","journal-title":"ACM Trans. Comput.-Hum. Interact."},{"issue":"4","key":"4_CR18","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/s00779-005-0046-3","volume":"10","author":"N. Eagle","year":"2006","unstructured":"Eagle, N., (Sandy) Pentland, A.: Reality mining: sensing complex social systems. Personal Ubiquitous Comput\u00a010(4), 255\u2013268 (2006)","journal-title":"Personal Ubiquitous Comput"},{"key":"4_CR19","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","first-page":"84","volume-title":"Technical Communications of the 27th International Conference on Logic Programming (ICLP 2011)","author":"M. Eichberg","year":"2011","unstructured":"Eichberg, M.: Compiling Prolog to Idiomatic Java. In: Gallagher, J., Gelfond, M. (eds.) Technical Communications of the 27th International Conference on Logic Programming (ICLP 2011). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a011, pp. 84\u201394. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl (2011), http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2011\/3176"},{"issue":"8","key":"4_CR20","doi-asserted-by":"publisher","first-page":"800","DOI":"10.1016\/j.datak.2010.03.002","volume":"69","author":"T.F. Gharib","year":"2010","unstructured":"Gharib, T.F., Nassar, H., Taha, M., Abraham, A.: An efficient algorithm for incremental mining of temporal association rules. Data Knowl. Eng.\u00a069(8), 800\u2013815 (2010), http:\/\/dx.doi.org\/10.1016\/j.datak.2010.03.002","journal-title":"Data Knowl. Eng."},{"key":"4_CR21","unstructured":"Gu, T., Pung, H.K., Zhang, D.Q., Wang, X.H.: A middleware for building context-aware mobile services. In: Proceedings of IEEE Vehicular Technology Conference (VTC) (2004)"},{"key":"4_CR22","unstructured":"Hu, H.: ContextTorrent: A Context Provisioning Framewrok for Pervasive Applications. University of Hong Kong (2011)"},{"issue":"9","key":"4_CR23","doi-asserted-by":"publisher","first-page":"11950","DOI":"10.1016\/j.eswa.2009.03.067","volume":"36","author":"J.J. Jung","year":"2009","unstructured":"Jung, J.J.: Contextualized mobile recommendation service based on interactive social network discovered from mobile users. Expert Syst. Appl.\u00a036(9), 11950\u201311956 (2009), http:\/\/dx.doi.org\/10.1016\/j.eswa.2009.03.067","journal-title":"Expert Syst. Appl."},{"issue":"2","key":"4_CR24","first-page":"117","volume":"1","author":"A. Lig\u0119za","year":"2011","unstructured":"Lig\u0119za, A., Nalepa, G.J.: A study of methodological issues in design and development of rule-based systems: proposal of a new approach. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery\u00a01(2), 117\u2013137 (2011)","journal-title":"Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-22546-8_24","volume-title":"Rule-Based Reasoning, Programming, and Applications","author":"G.J. Nalepa","year":"2011","unstructured":"Nalepa, G.J., Bobek, S., Lig\u0119za, A., Kaczor, K.: Algorithms for rule inference in modularized rule bases. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol.\u00a06826, pp. 305\u2013312. Springer, Heidelberg (2011)"},{"issue":"1","key":"4_CR26","doi-asserted-by":"publisher","first-page":"171","DOI":"10.2298\/CSIS130209002N","volume":"11","author":"G.J. Nalepa","year":"2014","unstructured":"Nalepa, G.J., Bobek, S.: Rule-based solution for context-aware reasoning on mobile devices. Computer Science and Information Systems\u00a011(1), 171\u2013193 (2014)","journal-title":"Computer Science and Information Systems"},{"issue":"6","key":"4_CR27","doi-asserted-by":"publisher","first-page":"1107","DOI":"10.1142\/S0218213011000541","volume":"20","author":"G.J. Nalepa","year":"2011","unstructured":"Nalepa, G.J., Lig\u0119za, A., Kaczor, K.: Formalization and modeling of rules using the XTT2 method. International Journal on Artificial Intelligence Tools\u00a020(6), 1107\u20131125 (2011)","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Olguin, D., Waber, B.N., Kim, T., Mohan, A., Ara, K., Pentland, A.: Sensible organizations: Technology and methodology for automatically measuring organizational behavior. IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics, 43\u201355 (2009)","DOI":"10.1109\/TSMCB.2008.2006638"},{"issue":"3","key":"4_CR29","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1017\/S0269888904000037","volume":"18","author":"A. Ranganathan","year":"2003","unstructured":"Ranganathan, A., McGrath, R.E., Campbell, R.H., Mickunas, M.D.: Use of ontologies in a pervasive computing environment. Knowl. Eng. Rev.\u00a018(3), 209\u2013220 (2003)","journal-title":"Knowl. Eng. Rev."},{"key":"4_CR30","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1016\/0743-1066(94)90031-0","volume":"19\/20","author":"P.V. Roy","year":"1994","unstructured":"Roy, P.V.: 1983-1993: The Wonder Years of Sequential Prolog Implementation. J. Log. Program.\u00a019\/20, 385\u2013441 (1994), http:\/\/dblp.uni-trier.de\/db\/journals\/jlp\/jlp19.html#Roy94","journal-title":"J. Log. Program."},{"key":"4_CR31","unstructured":"Wielemaker, J.: SWI Prolog Reference Manual 6.2.2. Books on Demand (2012), http:\/\/books.google.nl\/books?id=q6R3Q3B-VC4C"},{"key":"4_CR32","unstructured":"van Wissen, B., Palmer, N., Kemp, R., Kielmann, T., Bal, H.: ContextDroid: an expression-based context framework for Android. In: Proceedings of PhoneSense 2010 (November 2010), http:\/\/sensorlab.cs.dartmouth.edu\/phonesense\/papers\/Wissen-ContextDroid.pdf"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-05290-3_18","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009 Workshops","author":"W. Woensel Van","year":"2009","unstructured":"Van Woensel, W., Casteleyn, S., De Troyer, O.: A Framework for Decentralized, Context-Aware Mobile Applications Using Semantic Web Technology. In: Meersman, R., Herrero, P., Dillon, T. (eds.) OTM 2009 Workshops. LNCS, vol.\u00a05872, pp. 88\u201397. Springer, Heidelberg (2009)"}],"container-title":["Communications in Computer and Information Science","Multimedia Communications, Services and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07569-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T23:58:31Z","timestamp":1746230311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07569-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319075686","9783319075693"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07569-3_4","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}