{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T15:14:27Z","timestamp":1779117267869,"version":"3.51.4"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319190327","type":"print"},{"value":"9783319190334","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19033-4_26","type":"book-chapter","created":{"date-parts":[[2015,5,12]],"date-time":"2015-05-12T08:27:34Z","timestamp":1431419254000},"page":"309-319","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Multi-plataform Interface to an ITS of Proposicional Logic Teaching"],"prefix":"10.1007","author":[{"given":"Fabiane F. P.","family":"Galafassi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan Velasques","family":"Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael Koch","family":"Peres","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":[[2015,5,13]]},"reference":[{"key":"26_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. Disserta\u00e7\u00e3o de Mestrado. UNISINOS 2012. http:\/\/biblioteca.asav.org.br\/vinculos\/000003\/00000335.pdf. Acesso em 9 January 2015","DOI":"10.5753\/CBIE.WCBIE.2013.249"},{"key":"26_CR2","unstructured":"Vicari, R., Gluz, J., Passerino, L., et al.: The OBAA proposal for learning objects supported by agents. In: Procs. of MASEIE Workshop \u2013 AAMAS 2010, Toronto, Canad\u00e1 (2010)"},{"key":"26_CR3","unstructured":"Gluz, J.C., Py, M.: L\u00f3gica para Computa\u00e7\u00e3o. Cole\u00e7\u00e3o EAD. Editora Unisinos (2010)"},{"key":"26_CR4","unstructured":"Gluz, J.C., Vicari, R.M.: MILOS: Infraestrutura de Agentes para Suporte a Objetos de Aprendizagem OBAA. Anais do XXI SBIE (2010)"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Galafassi, F.F.P., Gluz, J.C., Gomes, L., Mossmann, M.: Sistema Her\u00e1clito: Objeto de Aprendizagem para o Ensino da Dedu\u00e7\u00e3o Natural na L\u00f3gica Proposicional. In: Anais dos Workshops do CBIE 2013. http:\/\/www.br-ie.org\/pub\/index.php\/wcbie\/article\/view\/2674. Acesso em 10 Jan 2015","DOI":"10.5753\/CBIE.WCBIE.2013.249"},{"key":"26_CR6","unstructured":"Bootstrap: Framework web gratuito da empresa twitter. http:\/\/getbootstrap.com\/. Acesso em 10 Jan 2015"},{"key":"26_CR7","unstructured":"COQ Proof Assistent. http:\/\/coq.inria.fr\/. Acesso em 08 Mar 2015"},{"key":"26_CR8","unstructured":"HOL4. http:\/\/hol.sourceforge.net\/. Acesso em 08 Mar 2015"},{"key":"26_CR9","unstructured":"JAPE. http:\/\/www.cs.ox.ac.uk\/people\/bernard.sufrin\/jape.html. Acesso em 08 Mar 2015"},{"key":"26_CR10","unstructured":"OTTER. http:\/\/www.cs.unm.edu\/~mccune\/otter\/. Acesso em 08 Mar 2015"},{"key":"26_CR11","unstructured":"PANDORA. http:\/\/www.doc.ic.ac.uk\/pandora\/newpandora\/. Acesso em 08 Mar 2015"},{"key":"26_CR12","unstructured":"PROVER9. http:\/\/www.cs.unm.edu\/~mccune\/prover9\/. Acesso em 08 Mar 2015"},{"key":"26_CR13","unstructured":"SPASS: An Automated Theorem Prover for First-Order Logic with Equality. http:\/\/www.spass-prover.org\/. Acesso em 08 Mar 2015"},{"key":"26_CR14","unstructured":"The E Theorem Prover. http:\/\/www4.informatik.tu-muenchen.de\/~schulz\/E\/E.html. Acesso em 08 Mar 2015"},{"key":"26_CR15","unstructured":"Barnes, T.; Stamper, J.: Automatic hint generation for logic proof tutoring using historical data. J. Educ. Technol. Soc., Special issue on Intelligent Tutoring Systems. 13(1), 3\u201315 (2010). http:\/\/www.academia.edu\/442299\/Automatic_Hint_Generation_for_Logic_Proof_Tutoring_Using_Historical_Data. Acesso em 08 Mar 2015"},{"key":"26_CR16","unstructured":"Lesta, L., Yacef, K.: An intelligent teaching assistant system for logic. In: 12th International Conference on Artificial Intelligence in Education. http:\/\/sydney.edu.au\/engineering\/it\/~kalina\/publis\/lesta_yacef_its02.pdf. Acesso em 08 Mar 2015"},{"key":"26_CR17","unstructured":"Croy, M., Barnes, T., Stamper, J.: Towards an Intelligent Tutoring System for Propositional Proof Construction. University of North Carolina, Charlotte. http:\/\/www.philosophy.uncc.edu\/mjcroy\/croy_pubs\/Croy_Barnes_Stamper_ECAP.pdf. Acesso em 08 Mar 2015"},{"key":"26_CR18","unstructured":"Alonso, J.A; Aranda, Gonzalo A.; Martin-Mateos, F.J.: KRRT: Knowledge Representation and Reasoning Tutor System. http:\/\/150.214.140.135\/~jalonso\/publicaciones\/2007-EUROCAST.pdf. Acesso em 08 Mar 2015"},{"key":"26_CR19","unstructured":"Moreno, A.: Mathematical Logic Tutor - Propositional Calculus. http:\/\/aracne.usal.es\/congress\/PDF\/AntonioMoreno.pdf. Acesso em 08 Mar 2015"},{"key":"26_CR20","unstructured":"Lukins, S., Levicki, A., Burg, J.A.: Tutorial Program for Propositional Logic with Human\/Computer Interactive Learning. Department of Computer Science Wake Forest University. Winston-Salem, NC. http:\/\/csweb.cs.wfu.edu\/~burg\/BurgMain\/public\/media\/PropLogic.pdf. Acesso em 08 Mar 2015"}],"container-title":["Communications in Computer and Information Science","Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability - The PAAMS Collection"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19033-4_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T07:58:49Z","timestamp":1676015929000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19033-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319190327","9783319190334"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19033-4_26","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"13 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}