{"id":"https://openalex.org/W2093799064","doi":"https://doi.org/10.1109/fie.2014.7044342","title":"An agent-based tutoring system for learning propositional logic using multiple linked representations","display_name":"An agent-based tutoring system for learning propositional logic using multiple linked representations","publication_year":2014,"publication_date":"2014-10-01","ids":{"openalex":"https://openalex.org/W2093799064","doi":"https://doi.org/10.1109/fie.2014.7044342","mag":"2093799064"},"language":"en","primary_location":{"id":"doi:10.1109/fie.2014.7044342","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fie.2014.7044342","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE Frontiers in Education Conference (FIE) Proceedings","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039992864","display_name":"Evandro Costa","orcid":"https://orcid.org/0000-0003-4663-8715"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Evandro de Barros Costa","raw_affiliation_strings":["Pederal University of Alagoas, Alagoas, Brazil"],"affiliations":[{"raw_affiliation_string":"Pederal University of Alagoas, Alagoas, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055916608","display_name":"Emanuele Tuane Silva","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Emanuele Tuane Silva","raw_affiliation_strings":["Pederal University of Alagoas, Alagoas, Brazil"],"affiliations":[{"raw_affiliation_string":"Pederal University of Alagoas, Alagoas, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018103920","display_name":"Anderson Santos","orcid":"https://orcid.org/0000-0001-6968-623X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Anderson Santos","raw_affiliation_strings":["Pederal University of Alagoas, Alagoas, Brazil"],"affiliations":[{"raw_affiliation_string":"Pederal University of Alagoas, Alagoas, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077033592","display_name":"Alexandre Carlos Santos Azevedo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alexandre Carlos Santos Azevedo","raw_affiliation_strings":["Pederal University of Alagoas, Alagoas, Brazil"],"affiliations":[{"raw_affiliation_string":"Pederal University of Alagoas, Alagoas, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006036247","display_name":"Priscylla Silva","orcid":"https://orcid.org/0000-0001-6599-8981"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Priscylla Silva","raw_affiliation_strings":["Pederal University of Alagoas, Alagoas, Brazil"],"affiliations":[{"raw_affiliation_string":"Pederal University of Alagoas, Alagoas, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040245898","display_name":"Marios Tacio Silva","orcid":null},"institutions":[{"id":"https://openalex.org/I4210155484","display_name":"Federal Institute of Education, Science and Technology Alagoas","ror":"https://ror.org/040ys9e84","country_code":"BR","type":"education","lineage":["https://openalex.org/I4210155484"]},{"id":"https://openalex.org/I41455075","display_name":"Universidade Federal de Campina Grande","ror":"https://ror.org/00eftnx64","country_code":"BR","type":"education","lineage":["https://openalex.org/I41455075"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marios Tacio Silva","raw_affiliation_strings":["Federal Institute of Education, Science and Technology, Alagoas, Brazil","Federal University of Campina Grande, Para\u00edba, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal Institute of Education, Science and Technology, Alagoas, Brazil","institution_ids":["https://openalex.org/I4210155484"]},{"raw_affiliation_string":"Federal University of Campina Grande, Para\u00edba, Brazil","institution_ids":["https://openalex.org/I41455075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061164397","display_name":"Hemilis Joyse Barbosa Rocha","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hemilis Rocha","raw_affiliation_strings":["Pederal University of Alagoas, Alagoas, Brazil"],"affiliations":[{"raw_affiliation_string":"Pederal University of Alagoas, Alagoas, Brazil","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042098826","display_name":"Caroline Silva de Ara\u00fajo Lima","orcid":"https://orcid.org/0000-0003-2537-292X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Caroline Lima","raw_affiliation_strings":["Pederal University of Alagoas, Alagoas, Brazil"],"affiliations":[{"raw_affiliation_string":"Pederal University of Alagoas, Alagoas, Brazil","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5039992864"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.227,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.85100844,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/viewpoints","display_name":"Viewpoints","score":0.9224339127540588},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.764193058013916},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.6189039349555969},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5709327459335327},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5669923424720764},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.5644398927688599},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.48956236243247986},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35847389698028564},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2540547251701355}],"concepts":[{"id":"https://openalex.org/C2776035091","wikidata":"https://www.wikidata.org/wiki/Q7928819","display_name":"Viewpoints","level":2,"score":0.9224339127540588},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.764193058013916},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.6189039349555969},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5709327459335327},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5669923424720764},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.5644398927688599},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.48956236243247986},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35847389698028564},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2540547251701355},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fie.2014.7044342","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fie.2014.7044342","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE Frontiers in Education Conference (FIE) Proceedings","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.7400000095367432}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1537854563","https://openalex.org/W1781237739","https://openalex.org/W1904065432","https://openalex.org/W2041278544","https://openalex.org/W2069105008","https://openalex.org/W2080211134","https://openalex.org/W2105505307","https://openalex.org/W2108906160","https://openalex.org/W2120797448","https://openalex.org/W2122410182","https://openalex.org/W2135507888","https://openalex.org/W2623293810","https://openalex.org/W6638189944","https://openalex.org/W6677814605"],"related_works":["https://openalex.org/W2385368906","https://openalex.org/W2902924992","https://openalex.org/W2626642044","https://openalex.org/W2619807045","https://openalex.org/W2388758053","https://openalex.org/W93537448","https://openalex.org/W2949734191","https://openalex.org/W2017333877","https://openalex.org/W2048332520","https://openalex.org/W1507247265"],"abstract_inverted_index":{"In":[0],"this":[1,39],"paper,":[2],"we":[3,110],"propose":[4],"an":[5],"agent-based":[6],"ITS":[7],"for":[8,38],"learning":[9],"propositional":[10],"logic":[11],"using":[12],"two":[13,49,59],"linked":[14],"viewpoints":[15,60],"and":[16,32,80,93,97,118,124],"representations":[17],"to":[18,45,54],"address":[19],"the":[20,24,43,58,70,91,112,115],"problem":[21,66],"on":[22,86],"checking":[23],"validation":[25],"of":[26,114],"a":[27,77],"given":[28],"argument,":[29],"articulating":[30],"syntactic":[31],"semantic":[33],"inference":[34],"approaches.":[35],"One":[36],"motivation":[37],"integration":[40],"comes":[41],"from":[42],"importance":[44],"involve":[46],"students":[47,53,75],"in":[48,65,76],"complementary":[50],"viewpoints,":[51],"permitting":[52],"make":[55],"connections":[56],"between":[57],"involving":[61],"different":[62],"strategies,":[63],"used":[64],"solving":[67],"situations.":[68],"Basically,":[69],"system":[71,92],"works":[72],"by":[73],"placing":[74],"problem-solving":[78],"situation":[79],"providing":[81],"needed":[82],"knowledge":[83],"support":[84],"based":[85],"his":[87],"performance.":[88],"We":[89],"discuss":[90],"show":[94],"its":[95,102],"architecture":[96],"functionality,":[98],"as":[99,101],"well":[100],"implementation":[103],"details.":[104],"Through":[105],"scenarios":[106],"with":[107],"adequate":[108],"coverage,":[109],"evaluate":[111],"value":[113],"proposed":[116],"approach":[117],"conclude":[119],"that":[120],"it":[121],"is":[122],"feasible":[123],"useful.":[125]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}