{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T19:41:01Z","timestamp":1726083661825},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030467135"},{"type":"electronic","value":"9783030467142"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-46714-2_9","type":"book-chapter","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T23:29:02Z","timestamp":1588634942000},"page":"119-138","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Declarative Programming for Microcontrollers - Datalog on Arduino"],"prefix":"10.1007","author":[{"given":"Mario","family":"Wenzel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Brass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,5]]},"reference":[{"key":"9_CR1","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-319-42975-5_11","volume-title":"Robotics in Education - Research and Practices for Robotics in STEM Education","author":"F Agatolio","year":"2017","unstructured":"Agatolio, F., Moro, M.: A workshop to promote Arduino-based robots as wide spectrum learning support tools. In: Merdan, M., Lepuschitz, W., Koppensteiner, G., Balogh, R. (eds.) Robotics in Education - Research and Practices for Robotics in STEM Education. AISC, vol. 457, pp. 113\u2013125. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-42975-5_11"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-24206-9_16","volume-title":"Datalog Reloaded","author":"P Alvaro","year":"2011","unstructured":"Alvaro, P., Marczak, W.R., Conway, N., Hellerstein, J.M., Maier, D., Sears, R.: Dedalus: datalog in time and space. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2.0 2010. LNCS, vol. 6702, pp. 262\u2013281. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-24206-9_16"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1063","DOI":"10.1007\/3-540-44957-4_71","volume-title":"Computational Logic \u2014 CL 2000","author":"S Brass","year":"2000","unstructured":"Brass, S.: SLDMagic \u2014 the real magic (with applications to web queries). In: Lloyd, J., et al. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 1063\u20131077. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/3-540-44957-4_71"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-319-74313-4_4","volume-title":"Perspectives of System Informatics","author":"S Brass","year":"2018","unstructured":"Brass, S., Stephan, H.: Pipelined bottom-up evaluation of datalog programs: the push method. In: Petrenko, A.K., Voronkov, A. (eds.) PSI 2017. LNCS, vol. 10742, pp. 43\u201358. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-74313-4_4"},{"key":"9_CR5","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, 30 July\u20135 August 2005, pp. 90\u201396. Professional Book Center (2005). \nhttp:\/\/ijcai.org\/Proceedings\/05\/Papers\/1353.pdf"},{"issue":"1\u20132","key":"9_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0004-3702(99)00005-3","volume":"108","author":"T Eiter","year":"1999","unstructured":"Eiter, T., Subrahmanian, V.S., Pick, G.: Heterogeneous active agents, I: semantics. Artif. Intell. 108(1\u20132), 179\u2013255 (1999). \nhttps:\/\/doi.org\/10.1016\/S0004-3702(99)00005-3","journal-title":"Artif. Intell."},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-94460-9_2","volume-title":"Logic-Based Program Synthesis and Transformation","author":"C Engels","year":"2018","unstructured":"Engels, C., Behrend, A., Brass, S.: A rule-based approach to analyzing database schema objects with datalog. In: Fioravanti, F., Gallagher, J.P. (eds.) LOPSTR 2017. LNCS, vol. 10855, pp. 20\u201336. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-94460-9_2"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-319-28228-2_10","volume-title":"Practical Aspects of Declarative Languages","author":"M Grebe","year":"2016","unstructured":"Grebe, M., Gill, A.: Haskino: a remote monad for programming the arduino. In: Gavanelli, M., Reppy, J. (eds.) PADL 2016. LNCS, vol. 9585, pp. 153\u2013168. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-28228-2_10"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language LUSTRE. In: Proceedings of the IEEE, pp. 1305\u20131320 (1991)","DOI":"10.1109\/5.97300"},{"key":"9_CR10","doi-asserted-by":"publisher","unstructured":"Helbling, C., Guyer, S.Z.: Juniper: a functional reactive programming language for the Arduino. In: Janin, D., Sperber, M. (eds.) Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design, FARM@ICFP 2016, Nara, Japan, 24 September 2016, pp. 8\u201316. ACM (2016). \nhttps:\/\/doi.org\/10.1145\/2975980.2975982","DOI":"10.1145\/2975980.2975982"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/978-3-319-41540-6_23","volume-title":"Computer Aided Verification","author":"H Jordan","year":"2016","unstructured":"Jordan, H., Scholz, B., Suboti\u0107, P.: Souffl\u00e9: on synthesis of program analyzers. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9780, pp. 422\u2013430. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-41540-6_23"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BFb0055496","volume-title":"Transactions and Change in Logic Databases","author":"G Lausen","year":"1998","unstructured":"Lausen, G., Lud\u00e4scher, B., May, W.: On active deductive databases: the statelog approach. In: Freitag, B., Decker, H., Kifer, M., Voronkov, A. (eds.) DYNAMICS 1997. LNCS, vol. 1472, pp. 69\u2013106. Springer, Heidelberg (1998). \nhttps:\/\/doi.org\/10.1007\/BFb0055496"},{"key":"9_CR13","unstructured":"Mart\u00edn-Ramos, P., da Silva, M.M.L., Lopes, M.J., Silva, M.R.: Student2student: Arduino project-based learning. In: Garc\u00eda-Pe\u00f1alvo, F.J. (ed.) Proceedings of the Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality, Salamanca, Spain, 02\u201304 November 2016, pp. 79\u201384. ACM (2016). \nhttp:\/\/dl.acm.org\/citation.cfm?id=3012500"},{"key":"9_CR14","doi-asserted-by":"publisher","unstructured":"Russell, I., Jin, K.H., Sabin, M.: Make and learn: A CS principles course based on the arduino platform. In: Clear, A., Cuadros-Vargas, E., Carter, J., T\u00fapac, Y. (eds.) Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016, Arequipa, Peru, 9\u201313 July 2016, p. 366. ACM (2016). \nhttps:\/\/doi.org\/10.1145\/2899415.2925490","DOI":"10.1145\/2899415.2925490"},{"key":"9_CR15","unstructured":"Schwarz, S., Wenzel, M.: Controlling Lego EV3 robots with Prolog. In: Seipel, D., Hanus, M., Abreu, S. (eds.) Declare 2017 - Conference on Declarative Programming, 31st Workshop on Logic Programming (WLP 2017) (2017). \nhttps:\/\/www.uni-wuerzburg.de\/fileadmin\/10030100\/Publications\/TR_Declare17.pdf"},{"key":"9_CR16","doi-asserted-by":"publisher","unstructured":"Specht, E., et al.: Analysis of the use of declarative languages for enhanced embedded system software development. In: Petraglia, A., Pedroni, V.A., Cauwenberghs, G. (eds.) Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2007, Copacabana, Rio de Janeiro, Brazil, 3\u20136 September 2007, pp. 324\u2013329. ACM (2007). \nhttps:\/\/doi.org\/10.1145\/1284480.1284565","DOI":"10.1145\/1284480.1284565"}],"container-title":["Lecture Notes in Computer Science","Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-46714-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T23:30:10Z","timestamp":1588635010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-46714-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030467135","9783030467142"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-46714-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"5 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WLP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Workshop on Logic Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cottbus","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"33","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wlp2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.declare19.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"OCS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"80% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1.3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}