{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T15:13:37Z","timestamp":1779117217866,"version":"3.51.4"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319599298","type":"print"},{"value":"9783319599304","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59930-4_28","type":"book-chapter","created":{"date-parts":[[2017,6,2]],"date-time":"2017-06-02T12:48:26Z","timestamp":1496407706000},"page":"316-320","source":"Crossref","is-referenced-by-count":1,"title":["Her\u00e1clito: Learning Environment to Teach Logic"],"prefix":"10.1007","author":[{"given":"Fabiane Flores Penteado","family":"Galafassi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristiano","family":"Galafassi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o Carlos","family":"Gluz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosa Maria","family":"Vicari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael Koch","family":"Peres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,3]]},"reference":[{"key":"28_CR1","unstructured":"Her\u00e1clito Environment. \nhttp:\/\/obaa.unisinos.br\/heraclito\/\n\n. Accessed 01 Feb 2017"},{"key":"28_CR2","unstructured":"Portal MEC: Diretrizes Curriculares - Cursos de Gradua\u00e7\u00e3o. Computa\u00e7\u00e3o. \nhttp:\/\/portal.mec.gov.br\/component\/docman\/?task=doc_download&gid=11205&Itemid=\n\n. Accessed 01 Feb 2017"},{"key":"28_CR3","unstructured":"PortalTAOS3: Sistema de Ensino de L\u00f3gica. \nhttp:\/\/obaa.unisinos.br\/drupal7\/?q=node\/33\n\n. Accessed 01 Feb 2017"},{"key":"28_CR4","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-319-19033-4_26","volume-title":"Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability - The PAAMS Collection","author":"FFP Galafassi","year":"2015","unstructured":"Galafassi, F.F.P., Santos, A.V., Peres, R.K., Vicari, R.M., Gluz, J.C.: Multi-plataform interface to an ITS of proposicional logic teaching. In: Bajo, J., Hallenborg, K., Pawlewski, P., Botti, V., S\u00e1nchez-Pi, N., Duque M\u00e9ndez, N.D., Lopes, F., Julian, V. (eds.) PAAMS 2015. CCIS, vol. 524, pp. 309\u2013319. Springer, Cham (2015). doi:\n10.1007\/978-3-319-19033-4_26"},{"key":"28_CR5","unstructured":"Galafassi, F.F.P.: Agente Pedag\u00f3gico para Media\u00e7\u00e3o do Processo de Ensino-Aprendizagem da Dedu\u00e7\u00e3o Natural na L\u00f3gica Proposicional. Disserta\u00e7\u00e3o de Mestrado. UNISINOS (2012). \nhttp:\/\/biblioteca.asav.org.br\/vinculos\/000003\/00000335.pdf\n\n. Accessed 01 Feb 2017"},{"key":"28_CR6","unstructured":"Gluz, J.C., Py, M.: L\u00f3gica para Computa\u00e7\u00e3o. Cole\u00e7\u00e3o EAD. Editora Unisinos (2010)"},{"key":"28_CR7","unstructured":"Viccari, R., Gluz, J., Passerino, L., et al.: The OBAA proposal for learning objects supported by agents. In: Proceedings of MASEIE Workshop \u2013 AAMAS 2010, Toronto, Canada (2010)"}],"container-title":["Lecture Notes in Computer Science","Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59930-4_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,2]],"date-time":"2017-06-02T12:56:40Z","timestamp":1496408200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59930-4_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319599298","9783319599304"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59930-4_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}