{"id":"https://openalex.org/W2116311359","doi":null,"title":"Automatic Hint Generation for Logic Proof Tutoring Using Historical Data","display_name":"Automatic Hint Generation for Logic Proof Tutoring Using Historical Data","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2116311359","mag":"2116311359"},"language":"en","primary_location":{"id":"mag:2116311359","doi":null,"is_oa":true,"landing_page_url":"http://www.ifets.info/journals/13_1/2.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S187377680","display_name":"Educational Technology & Society","issn_l":"1176-3647","issn":["1176-3647","1436-4522"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","doaj","erih-plus","jufo-2","norway-1","poland-200","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Educational Technology & Society","raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"http://www.ifets.info/journals/13_1/2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083076004","display_name":"Tiffany M. Barnes","orcid":"https://orcid.org/0000-0002-6500-9976","observed_orcids":["https://orcid.org/0000-0002-6500-9976"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tiffany Barnes","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-6500-9976","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5060576109","display_name":"John C. Stamper","orcid":"https://orcid.org/0000-0002-2291-1468","observed_orcids":["https://orcid.org/0000-0002-2291-1468"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Stamper","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-2291-1468","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.4162,"has_fulltext":false,"cited_by_count":44,"citation_normalized_percentile":{"value":0.89066756,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":99},"biblio":{"volume":"13","issue":"1","first_page":"3","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":1.0,"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":1.0,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.0,"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/T14414","display_name":"Artificial Intelligence in Education","score":0.0,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/intelligent-tutoring-systems","display_name":"intelligent tutoring systems","score":0.9390000104904175},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.9929999709129333},{"id":"https://openalex.org/keywords/production-rules","display_name":"production rules","score":0.5830000042915344},{"id":"https://openalex.org/keywords/interactive-problem-solving","display_name":"interactive problem solving","score":0.6449999809265137}],"concepts":[{"id":"https://openalex.org/C2778371403","wikidata":"https://www.wikidata.org/wiki/Q7672049","display_name":"TUTOR","level":2,"score":0.9038927555084229},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8205438852310181},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5771204233169556},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.5271522402763367},{"id":"https://openalex.org/C2779336797","wikidata":"https://www.wikidata.org/wiki/Q3055492","display_name":"Intelligent tutoring system","level":2,"score":0.49671512842178345},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.48834916949272156},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.45288801193237305},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.41348594427108765},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3750629425048828},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.3713024854660034},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3565180003643036},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18748033046722412},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2116311359","doi":null,"is_oa":true,"landing_page_url":"http://www.ifets.info/journals/13_1/2.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S187377680","display_name":"Educational Technology & Society","issn_l":"1176-3647","issn":["1176-3647","1436-4522"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","doaj","erih-plus","jufo-2","norway-1","poland-200","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Educational Technology & Society","raw_type":null}],"best_oa_location":{"id":"mag:2116311359","doi":null,"is_oa":true,"landing_page_url":"http://www.ifets.info/journals/13_1/2.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S187377680","display_name":"Educational Technology & Society","issn_l":"1176-3647","issn":["1176-3647","1436-4522"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","doaj","erih-plus","jufo-2","norway-1","poland-200","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Educational Technology & Society","raw_type":null},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality education","score":0.5385000109672546}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W68177936","https://openalex.org/W166480880","https://openalex.org/W1515294235","https://openalex.org/W1525421687","https://openalex.org/W1596314294","https://openalex.org/W1765030997","https://openalex.org/W1858868033","https://openalex.org/W2033528976","https://openalex.org/W2068100625","https://openalex.org/W2081354636","https://openalex.org/W2097679245","https://openalex.org/W2099273059","https://openalex.org/W2120932048","https://openalex.org/W2121863487","https://openalex.org/W2138637314","https://openalex.org/W2144732342","https://openalex.org/W2196725398"],"related_works":["https://openalex.org/W1514405275","https://openalex.org/W166480880","https://openalex.org/W7017431180","https://openalex.org/W4252006779","https://openalex.org/W7101185138","https://openalex.org/W1522107738","https://openalex.org/W2113795061","https://openalex.org/W1759655780","https://openalex.org/W4242009819","https://openalex.org/W2395351797"],"abstract_inverted_index":{"In":[0,60],"building":[1,22,46],"intelligent":[2,28,80],"tutoring":[3],"systems,":[4],"it":[5],"is":[6,30,43],"critical":[7],"to":[8,11,74,114,141,168],"be":[9,112,139],"able":[10,113,140],"understand":[12],"and":[13,105,133,162],"diagnose":[14],"student":[15,55,98],"responses":[16],"in":[17,45,100,122],"interactive":[18],"problem":[19],"solving.":[20],"However,":[21],"this":[23,41,89],"understanding":[24],"into":[25],"a":[26,31,54,58,66,101,123],"computer-based":[27],"tutor":[29,81],"time-intensive":[32],"process":[33],"usually":[34],"conducted":[35],"by":[36,91],"subject":[37],"experts.":[38],"Much":[39],"of":[40,69,88,97,146,165],"time":[42],"spent":[44],"production":[47],"rules":[48],"that":[49,82,109,130,153],"model":[50],"all":[51],"the":[52,86,107,147,163],"ways":[53],"might":[56],"solve":[57],"problem.":[59,125],"our":[61,134],"prior":[62],"work,":[63],"we":[64,110,154],"proposed":[65,135],"novel":[67],"application":[68],"Markov":[70],"decision":[71],"processes":[72],"(MDPs)":[73],"automatically":[75],"generate":[76,115],"hints":[77,116,143],"for":[78,117],"an":[79,170],"learns.":[83],"We":[84],"demonstrate":[85],"feasibility":[87],"approach":[90],"extracting":[92],"MDPs":[93,132],"from":[94],"four":[95],"semesters":[96],"solutions":[99],"logic":[102],"proof":[103],"tutor,":[104],"calculating":[106],"probability":[108],"will":[111,138],"students":[118],"at":[119],"any":[120],"point":[121],"given":[124],"Our":[126,149],"past":[127],"results":[128,150],"indicated":[129,152],"extracted":[131],"hint-generating":[136],"functions":[137],"provide":[142,156],"over":[144],"80%":[145],"time.":[148],"also":[151],"can":[155],"valuable":[157],"tradeoffs":[158],"between":[159],"hint":[160],"specificity":[161],"amount":[164],"data":[166],"used":[167],"create":[169],"MDP.":[171]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":4},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}