{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T12:44:39Z","timestamp":1766580279102,"version":"3.37.3"},"reference-count":62,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"DOI":"10.13039\/501100007751","name":"Akademia G\u00f3rniczo-Hutnicza im. Stanislawa Staszica","doi-asserted-by":"publisher","award":["11.11.120.859"],"award-info":[{"award-number":["11.11.120.859"]}],"id":[{"id":"10.13039\/501100007751","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2018]]},"DOI":"10.1109\/access.2018.2834532","type":"journal-article","created":{"date-parts":[[2018,5,9]],"date-time":"2018-05-09T18:56:19Z","timestamp":1525892179000},"page":"27127-27155","source":"Crossref","is-referenced-by-count":13,"title":["Exploration of Human Activities Using Message Streaming Brokers and Automated Logical Reasoning for Ambient-Assisted Services"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9061-561X","authenticated-orcid":false,"given":"Radoslaw","family":"Klimek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90014-4"},{"journal-title":"RabbitMQ - Documentation","year":"2018","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/SSRR.2012.6523905"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/2.940014"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/IWCI.2016.7860354"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICoAC.2017.7951743"},{"journal-title":"Apache Kafka 0 10 2 Documentation","year":"2018","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1864349.1864384"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1155\/2015\/157046"},{"journal-title":"UK Standard for CDRs","year":"2014","key":"ref34"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9074-1"},{"journal-title":"Apache ZooKeeper Release 3 4 8 Documentation","year":"2018","key":"ref62"},{"key":"ref61","first-page":"383","article-title":"Force-directed drawing algorithms","author":"kobourov","year":"2013","journal-title":"Handbook of Graph Drawing and Visualization"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1038\/nature06958"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2010.2074196"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TBDATA.2016.2631141"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1186\/2192-1962-3-12"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59060-8_25"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/287831.287847"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2009.06.002"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1057\/s41265-016-0005-7"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1978802.1978815"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2012.031412.00077"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2010.5560598"},{"journal-title":"The MiniSat Web Page","year":"2018","author":"een","key":"ref50"},{"journal-title":"PicoSAT","year":"2018","author":"biere","key":"ref51"},{"journal-title":"The SatELite Web","year":"2018","author":"e\u00e9n","key":"ref59"},{"journal-title":"Solver RSat","year":"2018","author":"pipatsrisawat","key":"ref58"},{"journal-title":"Solver Jerusat","year":"2018","author":"nadel","key":"ref57"},{"journal-title":"SymPy—A Python Library for Symbolic Mathematics","year":"2018","key":"ref56"},{"journal-title":"The International SAT Competitions Web Page","year":"2018","author":"heule","key":"ref55"},{"journal-title":"Walksat Web Page","year":"2018","author":"selman","key":"ref54"},{"journal-title":"Sat4j—The Boolean Satisfaction and Optimization Library in Java","year":"2018","author":"le berre","key":"ref53"},{"journal-title":"The SAT Solving Package Riss","year":"2018","author":"manthey","key":"ref52"},{"key":"ref10","first-page":"37","article-title":"Proposal of a multiagent-based smart environment for the IoT","author":"klimek","year":"2014","journal-title":"Proc 10th Int Workshop Conf Intell Environ"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2015.340"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-36668-3_15"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.107"},{"key":"ref13","first-page":"778","article-title":"The use of temporal reasoning and management of complex events in smart homes","author":"augusto","year":"2004","journal-title":"Proc 16th Eur Conf Artif Intell"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4168-6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2011.09.011"},{"key":"ref16","first-page":"304","article-title":"Towards a better understanding of context and context-awareness","author":"abowd","year":"2000","journal-title":"Proc CHiME Workshop"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1080\/08839514.2018.1428490"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74255-5_42"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08729-0_26"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2009.04.001"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IMCSIT.2010.5680042"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2011.01.004"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1922649.1922653"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2013.596"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2012.110112.00192"},{"journal-title":"Lingeling Plingeling and Treengeling","year":"2018","author":"biere","key":"ref49"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1504\/IJAHUC.2007.014070"},{"journal-title":"Gini—Golang SAT Solver With Related Tools","year":"2018","author":"cotton","key":"ref46"},{"key":"ref45","volume":"4","author":"knuth","year":"2015","journal-title":"The Art of Computer Programming Fascicle 6 Satisfiability The Art of Computer Programming"},{"journal-title":"Limmat","year":"2018","author":"biere","key":"ref48"},{"journal-title":"Glucose sat solver","year":"2018","author":"audemard","key":"ref47"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30201-8_48"},{"key":"ref41","first-page":"316","article-title":"Going non-clausal","author":"stachniak","year":"2002","journal-title":"Proc 5th Int Symp Theory Appl Satisfiability Test"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(07)03002-7"},{"key":"ref43","volume":"185","author":"biere","year":"2009","journal-title":"Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8274985\/08356586.pdf?arnumber=8356586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:14:55Z","timestamp":1642004095000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8356586\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"references-count":62,"URL":"https:\/\/doi.org\/10.1109\/access.2018.2834532","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2018]]}}}