{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:36:19Z","timestamp":1729614979680,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1109\/icnsc.2017.8000070","type":"proceedings-article","created":{"date-parts":[[2017,8,3]],"date-time":"2017-08-03T20:23:59Z","timestamp":1501791839000},"page":"72-77","source":"Crossref","is-referenced-by-count":6,"title":["Logic Programming as a Service (LPaaS): Intelligence for the IoT"],"prefix":"10.1109","author":[{"given":"Roberta","family":"Calegari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Denti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Mariani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2014.6846894"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/978-3-642-38061-7_36","article-title":"An agent-based middleware for cooperating smart objects","author":"fortino","year":"2013","journal-title":"Highlights on Practical Applications of Agents and Multi-Agent Systems International Workshops of PAAMS 2013"},{"key":"ref12","first-page":"5","article-title":"Labelled variables in logic programming: Foundations","volume":"1645","author":"calegari","year":"2016","journal-title":"CILC 2016 — Italian Conference on Computational Logic"},{"key":"ref13","first-page":"25","article-title":"Labelled variables in logic programming: A first prototype in tuProlog","volume":"1485","author":"calegari","year":"2015","journal-title":"Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61411-8"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/514183.514185"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45241-9_13"},{"key":"ref18","article-title":"Smart toilets and sewer sensors are coming","author":"ratti","year":"2014","journal-title":"Wired"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2016.10.013"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCW.2013.6649227"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/11415763_16"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25932-9_1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16178-0_13"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2014.10.004"},{"key":"ref1","article-title":"Metamodeling of smart environments: from design to implementation","author":"cicirelli","year":"2016","journal-title":"Advanced Engineering Informatics"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2012.2215852"}],"event":{"name":"2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)","start":{"date-parts":[[2017,5,16]]},"location":"Calabria, Italy","end":{"date-parts":[[2017,5,18]]}},"container-title":["2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7990365\/8000054\/08000070.pdf?arnumber=8000070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T00:45:38Z","timestamp":1569977138000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8000070\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2017.8000070","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}