{"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":1779117217575,"version":"3.51.4"},"publisher-location":"Cham","reference-count":14,"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_6","type":"book-chapter","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T09:49:13Z","timestamp":1561456153000},"page":"66-77","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Identifying Knowledge from the Application of Natural Deduction Rules in Propositional Logic"],"prefix":"10.1007","author":[{"given":"Fabiane F. P.","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":"6_CR1","series-title":"International Centre for Mechanical Sciences","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-7091-2670-7_24","volume-title":"User Modeling","author":"C Conati","year":"1997","unstructured":"Conati, C., Gertner, A.S., VanLehn, K., Druzdzel, M.J.: On-line student modeling for coached problem solving using bayesian networks. In: Jameson, A., Paris, C., Tasso, C. (eds.) User Modeling. ICMS, vol. 383, pp. 231\u2013242. Springer, Vienna (1997). https:\/\/doi.org\/10.1007\/978-3-7091-2670-7_24"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1007\/3-540-55606-0_75","volume-title":"Intelligent Tutoring Systems","author":"Pierre Dillenbourg","year":"1992","unstructured":"Dillenbourg, P., Self, J.: People power: a human-computer collaborative learning system. In: Frasson, C., Gauthier, G., McCalla, G.I. (eds.) Intelligent Tutoring Systems ITS 1992. LNCS, pp. 651\u2013660. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55606-0_75"},{"key":"6_CR3","unstructured":"Eliot, C.R., Woolf, B.P.: A simulation-based tutor that reasons about multiple agents. In: Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96), pp. 409\u2013415. AAAI\/MIT Press, Cambridge (1996)"},{"key":"6_CR4","unstructured":"Flores, C.D.: Negocia\u00e7\u00e3o pedag\u00f3gica aplicada a um ambiente multiagente de aprendizagem colaborativa. Tese de Doutorado. Instituto de Computa\u00e7\u00e3o. UFRGS (2005)"},{"key":"6_CR5","unstructured":"Gluz, J.C., Galafassi, F.F.P., Mossmann, M., Vicari, R.M.: Her\u00e1clito: a dialectical tutor for logic. In: Proceedings 16th Portuguese Conference on Artificial Intelligence EPIA, A\u00e7ores, Portugal, vol. 8154. pp. 1\u20132. Springer, New York (2013)"},{"key":"6_CR6","unstructured":"Nwana, H.S.: Intelligent tutoring systems: an overview. Artif. Intell. Rev. 4(4), 251\u2013277 (1990)"},{"key":"6_CR7","unstructured":"PAT2Math. Personal Affective Tutor to Math. Dispon\u00edvel em (2018). http:\/\/pat2math.unisinos.br\/ . Acesso em 21 Jan 2019"},{"key":"6_CR8","unstructured":"Russel, J.S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd Edn. Editora Prentice Hall (Pearson Education), \u200eUpper Saddle River (2010)"},{"key":"6_CR9","unstructured":"Seixas, L.M.G.: Estrat\u00e9gias Pedag\u00f3gicas para um Ambiente Multiagente Probabil\u00edstico Inteligente de Aprendizagem \u2013 AMPLIA. CINTED\/UFRGS. Programa de P\u00f3s-Gradua\u00e7\u00e3o em Inform\u00e1tica na Educa\u00e7\u00e3o. Tese de Doutorado (2005)"},{"key":"6_CR10","first-page":"1","volume":"41","author":"JA Self","year":"1990","unstructured":"Self, J.A.: Bypassing the intractable problem of student modelling. Intell. Tutoring Syst.: Crossroads Artif. Intell. Educ. 41, 1\u201326 (1990)","journal-title":"Intell. Tutoring Syst.: Crossroads Artif. Intell. Educ."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Tomasello, M.: The Cultural Origins of Human Cognition. Harvard University Press, Cambridge (2001)","DOI":"10.4159\/9780674044371"},{"key":"6_CR12","unstructured":"Vicari, R.M.: Tend\u00eancias em intelig\u00eancia artificial na educa\u00e7\u00e3o no per\u00edodo de 2017 a 2030: SUM\u00c1RIO EXECUTIVO\/Servi\u00e7o Nacional de Aprendizagem Industrial, Servi\u00e7o Social da Ind\u00fastria. SENAI, Bras\u00edlia (2018)"},{"key":"6_CR13","volume-title":"Thought and Language","author":"LS Vygotsky","year":"1986","unstructured":"Vygotsky, L.S.: Thought and Language. M.I.T. Press, Cambridge (1986)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/B978-0-12-373594-2.00003-4","volume-title":"Building Intelligent Interactive Tutors","author":"Beverly Park Woolf","year":"2009","unstructured":"Woolf, B.P.: Building intelligent interactive tutors: student-centered strategies for revolutionizing e-learning. Department of Computer Science, University of Massachusetts. Editora Elsevier, Amherst (2009)"}],"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_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,21]],"date-time":"2022-09-21T17:05:44Z","timestamp":1663779944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-24209-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030242084","9783030242091"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-24209-1_6","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"}}]}}