{"id":"https://openalex.org/W2757862037","doi":"https://doi.org/10.3233/978-1-61499-800-6-21","title":"Intelligent Problem Solver in Education for Discrete Mathematics","display_name":"Intelligent Problem Solver in Education for Discrete Mathematics","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2757862037","doi":"https://doi.org/10.3233/978-1-61499-800-6-21","mag":"2757862037"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-800-6-21","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-800-6-21","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","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/A5048931285","display_name":"Hien D. Nguyen","orcid":"https://orcid.org/0000-0002-8527-0602"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Nguyen Hien D.","raw_affiliation_strings":["National Institute of Informatics, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077785525","display_name":"V. Nhon","orcid":null},"institutions":[{"id":"https://openalex.org/I123565023","display_name":"Vietnam National University Ho Chi Minh City","ror":"https://ror.org/00waaqh38","country_code":"VN","type":"education","lineage":["https://openalex.org/I123565023"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"Do Nhon V.","raw_affiliation_strings":["Vietnam National University Ho Chi Minh City, Ho Chi Minh City, Vietnam"],"affiliations":[{"raw_affiliation_string":"Vietnam National University Ho Chi Minh City, Ho Chi Minh City, Vietnam","institution_ids":["https://openalex.org/I123565023"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5048931285"],"corresponding_institution_ids":["https://openalex.org/I184597095"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16934046,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14025","display_name":"Educational Technology and Assessment","score":0.6686000227928162,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T14025","display_name":"Educational Technology and Assessment","score":0.6686000227928162,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/problem-solver","display_name":"Problem solver","score":0.8348398208618164},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6270716190338135},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5727624297142029},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"Mathematics education","score":0.42818740010261536},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.3583482503890991},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29261207580566406},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19134172797203064}],"concepts":[{"id":"https://openalex.org/C3019612716","wikidata":"https://www.wikidata.org/wiki/Q730920","display_name":"Problem solver","level":2,"score":0.8348398208618164},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6270716190338135},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5727624297142029},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.42818740010261536},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.3583482503890991},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29261207580566406},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19134172797203064}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/978-1-61499-800-6-21","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-800-6-21","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2011621332","https://openalex.org/W1605093979","https://openalex.org/W2152572054","https://openalex.org/W2920969592","https://openalex.org/W2074269745","https://openalex.org/W2568362682","https://openalex.org/W1836984851","https://openalex.org/W4235638484","https://openalex.org/W2990609819","https://openalex.org/W4296118853"],"abstract_inverted_index":{"A":[0],"grand":[1],"challenge":[2],"for":[3,15,73,83,122,175,234],"artificial":[4],"intelligence":[5],"in":[6,55,112,125,148,185,202,262,275],"education":[7],"is":[8,46,79,100],"building":[9],"the":[10,32,35,40,43,48,52,56,59,63,66,74,84,89,101,116,135,162,165,173,182,191,194,206,220,232,249,257,273],"Intelligent":[11],"Problem":[12],"Solver":[13],"(IPS)":[14],"Science":[16],"Technology":[17],"Engineering":[18],"and":[19,71,97,128,153,178,215,228],"Math":[20],"(STEM)":[21],"Education.":[22],"The":[23,266],"IPS":[24,146],"system":[25,147,160],"has":[26,39,156,236,252,268],"to":[27,30,171,255],"be":[28],"able":[29],"solve":[31,51,256],"exercises":[33,54],"of":[34,58,103,137,164,197,198,209,243,259,277],"course":[36,60,82],"automatically.":[37],"It":[38,168],"following":[41],"criteria:":[42],"knowledge":[44,64,94,149,221,241,247,264],"base":[45,222],"sufficient,":[47],"program":[49,267],"can":[50],"common":[53],"curriculum":[57,87],"based":[61,239],"on":[62,240],"base,":[65,248],"solutions":[67],"are":[68,119],"readable,":[69],"pedagogical":[70],"suitable":[72],"learner's":[75],"level.":[76],"Discrete":[77],"Mathematics":[78],"an":[80,145],"important":[81],"undergrad":[85],"technological":[86],"at":[88,231],"university.":[90],"In":[91,142,217],"this":[92,143,218,246,263],"course,":[93],"about":[95,151,223],"logic":[96,127,152,227],"Boolean":[98,154,211,229],"algebra":[99,155,230],"foundation":[102],"logical":[104,113,183,200],"thinking,":[105],"it":[106],"helps":[107,169],"students":[108,170,274],"improve":[109],"their":[110],"skills":[111],"reasoning,":[114],"solving":[115,123,176],"problems.":[117],"There":[118],"many":[120],"programs":[121],"problems":[124,261],"propositional":[126,186,224],"first-order":[129],"logic;":[130],"nevertheless,":[131],"they":[132],"cannot":[133],"meet":[134],"requirements":[136],"a":[138,199,210],"learning":[139],"support":[140],"system.":[141],"paper,":[144],"domain":[150],"been":[157,237,253,269],"proposed.":[158],"This":[159],"satisfies":[161],"criteria":[163],"STEM":[166],"education.":[167],"understand":[172],"methods":[174],"basic":[177],"advanced":[179],"problems:":[180],"simplify":[181],"expression":[184,196,201,208],"logic,":[187,204,225],"reasoning":[188],"checking,":[189],"determine":[190],"value":[192],"or":[193],"negative":[195],"predicate":[203,226],"find":[205],"minimization":[207],"function":[212],"with":[213],"parameter":[214],"non-parameter.":[216],"system,":[219],"university":[233],"undergraduates":[235],"built":[238],"model":[242],"operators.":[244],"Via":[245],"inference":[250],"engine":[251],"designed":[254],"kinds":[258],"general":[260],"domain.":[265],"also":[270],"tested":[271],"by":[272],"University":[276],"Information":[278],"Technology,":[279],"VNU-HCM.":[280]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2017-10-06T00:00:00"}