{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T15:13:38Z","timestamp":1779117218126,"version":"3.51.4"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030242084","type":"print"},{"value":"9783030242091","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-24209-1_24","type":"book-chapter","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T13:49:13Z","timestamp":1561470553000},"page":"251-254","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Her\u00e1clito: Intelligent Tutoring System for 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":"Rosa Maria","family":"Vicari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o Carlos","family":"Gluz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,26]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","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. Master Thesis. UNISINOS (2012)","DOI":"10.5753\/CBIE.WCBIE.2013.249"},{"key":"24_CR2","unstructured":"FIPA-ACL. \u201cFIPA ACL Message Structure Specification\u201d. Foundation for Intelligent Physical Agents. Dispon\u00edvel em. \n                      http:\/\/www.fipa.org\/specs\/fipa00061\/SC00061G.html\n                      \n                    . Accessed 30 Mar 2019"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Bellifemine, F., Caire, G., Greenwood, D.: Developing multi-agent systems with JADE. In: Wooldridge, M. (ed.) Wiley Series in Agent Technology, Liverpool University, UK (2007)","DOI":"10.1002\/9780470058411"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in Agent Speak using Jason, vol. 8. Wiley, Hoboken (2007)","DOI":"10.1002\/9780470061848"},{"key":"24_CR5","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":"Fabiane F. P. Galafassi","year":"2015","unstructured":"Galafassi, P.F.F., Santos, A.V., Peres, R.K., Vicari, R.M., Gluz, J.C.: Multi-plataform interface to an ITS of proposicional logic teaching. In: 13 International Conference on Practical Applications of Agents and Multi-Agent Systems, 2015, Salamanca. Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability - The PAAMS Collection, vol. 524, pp. 309\u2013319 (2015)"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Gluz, J.C., Bueno, R., Peres, R.K., Galafassi, P.F.F.: Tutoria Inteligente Completa para os Conceitos Formais da L\u00f3gica Proposicional: Experimentos e Resultados. VI Congresso Brasileiro de Inform\u00e1tica na Educa\u00e7\u00e3o (CBIE 2017). In: Proceedings of the XXVIII Brazilian Symposium of Informatics in Education (2017)","DOI":"10.5753\/cbie.sbie.2017.1107"},{"key":"24_CR7","unstructured":"Gluz, J.C., Py, M.: L\u00f3gica para Computa\u00e7\u00e3o. Cole\u00e7\u00e3o EAD. Editora Unisinos (2010)"},{"key":"24_CR8","unstructured":"ISELab - Laborat\u00f3rio de Engenharia de Softwares Inteligentes. Projeto Her\u00e1clito: Ambiente Inteligente de Ensino de L\u00f3gica. \n                      http:\/\/obaa.unisinos.br\/drupal7\/?q=node\/25\n                      \n                    . Accessed 30 Mar 2019"},{"key":"24_CR9","unstructured":"AMBIENTE HER\u00c1CLITO. \n                      http:\/\/labsim.unipampa.edu.br:8080\/heraclito\/\n                      \n                    . Accessed 30 Mar 2019"}],"container-title":["Lecture Notes in Computer Science","Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-24209-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T13:52:50Z","timestamp":1561470770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-24209-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030242084","9783030242091"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-24209-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"26 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PAAMS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Practical Applications of Agents and Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"\u00c1vila","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","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":"26 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"paams2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.paams.net\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}