{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T09:58:07Z","timestamp":1782986287042,"version":"3.54.5"},"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":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Emanuele Tuane","family":"Silva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anderson","family":"Santos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre Carlos Santos","family":"Azevedo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Priscylla","family":"Silva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marios Tacio","family":"Silva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hemilis","family":"Rocha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Caroline","family":"Lima","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"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"},{"key":"ref11","author":"russell","year":"2009","journal-title":"Artificial Intelligence A Modern Approach"},{"key":"ref12","author":"van dalen","year":"2008","journal-title":"Logic and Structure"},{"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"},{"key":"ref4","author":"bittencourt","year":"2009","journal-title":"A computational model for developing semantic web-based educational systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411"},{"key":"ref6","author":"enderton","year":"2001","journal-title":"A Mathematical Introduction to Logic"},{"key":"ref5","author":"de barros costa","year":"1997","journal-title":"A Model of Intelligent Learning Environment Based on Multi-agent Architecture"},{"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"},{"key":"ref1","author":"ainsworth","year":"1999","journal-title":"The functions of multiple representations"},{"key":"ref9","article-title":"W3C OWLWorking Group","year":"2009","journal-title":"OWL 2 Web Ontology Lan-guage Document Overview"}],"event":{"name":"2014 IEEE Frontiers in Education Conference (FIE)","location":"Madrid, Spain","start":{"date-parts":[[2014,10,22]]},"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]]}}}