乐胖代购免代理版

{"id":"https://openalex.org/W4382318777","doi":"https://doi.org/10.1609/aaai.v37i13.26884","title":"FOLL-E: Teaching First Order Logic to Children","display_name":"FOLL-E: Teaching First Order Logic to Children","publication_year":2023,"publication_date":"2023-06-26","ids":{"openalex":"https://openalex.org/W4382318777","doi":"https://doi.org/10.1609/aaai.v37i13.26884"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v37i13.26884","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/26884/26656","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ojs.aaai.org/index.php/AAAI/article/download/26884/26656","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002566426","display_name":"Simon Vandevelde","orcid":"https://orcid.org/0000-0001-7312-3675"},"institutions":[{"id":"https://openalex.org/I4210116480","display_name":"Flanders Make (Belgium)","ror":"https://ror.org/02ndjfz59","country_code":"BE","type":"company","lineage":["https://openalex.org/I4210116480"]},{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"funder","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Simon Vandevelde","raw_affiliation_strings":["KU Leuven, De Nayer Campus, Belgium\nLeuven.AI -- KU Leuven Institute for AI\nFlanders Make -- DTAI-FET"],"affiliations":[{"raw_affiliation_string":"KU Leuven, De Nayer Campus, Belgium\nLeuven.AI -- KU Leuven Institute for AI\nFlanders Make -- DTAI-FET","institution_ids":["https://openalex.org/I4210116480","https://openalex.org/I99464096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071976409","display_name":"Joost Vennekens","orcid":"https://orcid.org/0000-0002-0791-0176"},"institutions":[{"id":"https://openalex.org/I4210116480","display_name":"Flanders Make (Belgium)","ror":"https://ror.org/02ndjfz59","country_code":"BE","type":"company","lineage":["https://openalex.org/I4210116480"]},{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"funder","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Joost Vennekens","raw_affiliation_strings":["KU Leuven, De Nayer Campus, Belgium\nLeuven.AI -- KU Leuven Institute for AI\nFlanders Make -- DTAI-FET"],"affiliations":[{"raw_affiliation_string":"KU Leuven, De Nayer Campus, Belgium\nLeuven.AI -- KU Leuven Institute for AI\nFlanders Make -- DTAI-FET","institution_ids":["https://openalex.org/I4210116480","https://openalex.org/I99464096"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.786,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":1,"citation_normalized_percentile":{"value":0.674658,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":65,"max":76},"biblio":{"volume":"37","issue":"13","first_page":"15869","last_page":"15876"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9989,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T10533","display_name":"Teaching and Learning Programming","score":0.9989,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T10636","display_name":"Innovative Teaching and Learning Methods","score":0.9626,"subfield":{"id":"https://openalex.org/subfields/3204","display_name":"Developmental and Educational Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10130","display_name":"Mathematics Education and Teaching Techniques","score":0.9429,"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/foundation","display_name":"Foundation (evidence)","score":0.43851468}],"concepts":[{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.774947},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6477586},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.64093876},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.47758415},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4700602},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.45437333},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44569775},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.44102734},{"id":"https://openalex.org/C2780966255","wikidata":"https://www.wikidata.org/wiki/Q5474306","display_name":"Foundation (evidence)","level":2,"score":0.43851468},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39831138},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.36578584},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.34518677},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.16583979},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11045316},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.09610304},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v37i13.26884","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/26884/26656","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/20.500.12942/706237","pdf_url":"https://lirias.kuleuven.be/bitstream/20.500.12942/706237/2/blockidp.pdf","source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":["KU Leuven"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v37i13.26884","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/26884/26656","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"display_name":"Quality education","score":0.88,"id":"https://metadata.un.org/sdg/4"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":16,"referenced_works":["https://openalex.org/W1511712400","https://openalex.org/W151303992","https://openalex.org/W1519357286","https://openalex.org/W164443355","https://openalex.org/W1963557108","https://openalex.org/W1994349244","https://openalex.org/W2028371337","https://openalex.org/W2096009882","https://openalex.org/W2096410668","https://openalex.org/W2109018550","https://openalex.org/W2180020340","https://openalex.org/W2535073923","https://openalex.org/W2885197435","https://openalex.org/W4226119840","https://openalex.org/W4281613699","https://openalex.org/W4388256871"],"related_works":["https://openalex.org/W4390482104","https://openalex.org/W322408318","https://openalex.org/W2963177394","https://openalex.org/W2504004674","https://openalex.org/W2498744856","https://openalex.org/W2381393187","https://openalex.org/W2332779545","https://openalex.org/W1595229445","https://openalex.org/W149041114","https://openalex.org/W140887552"],"abstract_inverted_index":{"First-order":[0],"logic":[1],"(FO)":[2],"is":[3,41,99],"an":[4],"important":[5],"foundation":[6],"of":[7,58,63,113,116],"many":[8],"domains,":[9],"including":[10],"computer":[11,84],"science":[12],"and":[13,23,51,78,109,132,134],"artificial":[14],"intelligence.":[15],"In":[16,34],"recent":[17],"efforts":[18],"to":[19,26,43,54,76,86,90,101],"teach":[20],"basic":[21],"CS":[22],"AI":[24],"concepts":[25],"children,":[27,123],"FO":[28],"has":[29],"so":[30],"far":[31],"remained":[32],"absent.":[33],"this":[35],"paper,":[36],"we":[37],"examine":[38],"whether":[39],"it":[40],"possible":[42],"design":[44],"a":[45,68,79],"learning":[46,65],"environment":[47,66,81],"that":[48,126,135],"both":[49],"motivates":[50],"enables":[52],"children":[53,89],"learn":[55],"the":[56,64,88,114,129,140],"basics":[57],"FO.":[59],"The":[60,95],"key":[61],"components":[62],"are":[67],"syntax-free":[69],"blocks-based":[70],"notation":[71,130],"for":[72],"FO,":[73],"graphics-based":[74],"puzzles":[75],"solve,":[77],"tactile":[80],"which":[82],"uses":[83],"vision":[85],"allow":[87],"work":[91],"with":[92,122,139],"wooden":[93],"blocks.":[94],"resulting":[96],"FOLL-E":[97],"system":[98],"intended":[100],"sharpen":[102],"childrens'":[103],"reasoning":[104],"skills,":[105],"encourage":[106],"critical":[107],"thinking":[108],"make":[110],"them":[111],"aware":[112],"ambiguities":[115],"natural":[117],"language.":[118],"During":[119],"preliminary":[120],"testing":[121],"they":[124,127,136],"reported":[125],"found":[128],"intuitive":[131],"inviting,":[133],"enjoyed":[137],"interacting":[138],"application.":[141]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4382318777","counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-04-13T19:18:15.747618","created_date":"2023-06-28"}