{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T21:57:04Z","timestamp":1753739824641},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/fie.2014.7044342","type":"proceedings-article","created":{"date-parts":[[2015,2,20]],"date-time":"2015-02-20T15:29:14Z","timestamp":1424446154000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["An agent-based tutoring system for learning propositional logic using multiple linked representations"],"prefix":"10.1109","author":[{"given":"Evandro","family":"de Barros Costa","sequence":"first","affiliation":[]},{"given":"Emanuele Tuane","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Anderson","family":"Santos","sequence":"additional","affiliation":[]},{"given":"Alexandre Carlos Santos","family":"Azevedo","sequence":"additional","affiliation":[]},{"given":"Priscylla","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Marios Tacio","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Hemilis","family":"Rocha","sequence":"additional","affiliation":[]},{"given":"Caroline","family":"Lima","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Intelligent tutoring systems with multiple representations and self-explanation prompts support learning of fractions","author":"rau","year":"2009","journal-title":"Proc Artificial Intelligence in Education"},{"journal-title":"Artificial Intelligence A Modern Approach","year":"2009","author":"russell","key":"ref11"},{"journal-title":"Logic and Structure","year":"2008","author":"van dalen","key":"ref12"},{"key":"ref13","article-title":"The logic-ita in the classroom: A medium scale experiment","author":"yacef","year":"2005","journal-title":"International Journal of artificial Intelligence in Education"},{"journal-title":"A computational model for developing semantic web-based educational systems","year":"2009","author":"bittencourt","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411"},{"journal-title":"A Mathematical Introduction to Logic","year":"2001","author":"enderton","key":"ref6"},{"journal-title":"A Model of Intelligent Learning Environment Based on Multi-agent Architecture","year":"1997","author":"de barros costa","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/563340.563490"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47987-2_45"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1207\/S15327809JLS1101_2"},{"journal-title":"The functions of multiple representations","year":"1999","author":"ainsworth","key":"ref1"},{"journal-title":"OWL 2 Web Ontology Lan-guage Document Overview","article-title":"W3C OWLWorking Group","year":"2009","key":"ref9"}],"event":{"name":"2014 IEEE Frontiers in Education Conference (FIE)","start":{"date-parts":[[2014,10,22]]},"location":"Madrid, Spain","end":{"date-parts":[[2014,10,25]]}},"container-title":["2014 IEEE Frontiers in Education Conference (FIE) Proceedings"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7017968\/7043978\/07044342.pdf?arnumber=7044342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T23:35:35Z","timestamp":1490312135000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7044342\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/fie.2014.7044342","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}