{"id":"https://openalex.org/W4415965976","doi":"https://doi.org/10.1145/3769994.3770004","title":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","display_name":"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions","publication_year":2025,"publication_date":"2025-11-06","ids":{"openalex":"https://openalex.org/W4415965976","doi":"https://doi.org/10.1145/3769994.3770004"},"language":null,"primary_location":{"id":"doi:10.1145/3769994.3770004","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3769994.3770004","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th Koli Calling International Conference on Computing Education Research","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3769994.3770004","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5099881288","display_name":"Ali Alfageeh","orcid":"https://orcid.org/0009-0001-9106-0433"},"institutions":[{"id":"https://openalex.org/I44461941","display_name":"University of Houston","ror":"https://ror.org/048sx0r50","country_code":"US","type":"education","lineage":["https://openalex.org/I44461941"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ali Alfageeh","raw_affiliation_strings":["University of Houston, Houston, TX, USA"],"raw_orcid":"https://orcid.org/0009-0001-9106-0433","affiliations":[{"raw_affiliation_string":"University of Houston, Houston, TX, USA","institution_ids":["https://openalex.org/I44461941"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120282744","display_name":"Sadegh Almahdi Kazemi Zarkouei","orcid":"https://orcid.org/0009-0008-5667-7674"},"institutions":[{"id":"https://openalex.org/I44461941","display_name":"University of Houston","ror":"https://ror.org/048sx0r50","country_code":"US","type":"education","lineage":["https://openalex.org/I44461941"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sadegh Almahdi Kazemi Zarkouei","raw_affiliation_strings":["University of Houston, Houston, TX, USA"],"raw_orcid":"https://orcid.org/0009-0008-5667-7674","affiliations":[{"raw_affiliation_string":"University of Houston, Houston, TX, USA","institution_ids":["https://openalex.org/I44461941"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040818628","display_name":"Daye Nam","orcid":"https://orcid.org/0009-0006-3846-6924"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daye Nam","raw_affiliation_strings":["University of California, Irvine, Irvine, CA, USA"],"raw_orcid":"https://orcid.org/0009-0006-3846-6924","affiliations":[{"raw_affiliation_string":"University of California, Irvine, Irvine, CA, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099881287","display_name":"Daniel Prol","orcid":"https://orcid.org/0009-0006-6522-4322"},"institutions":[{"id":"https://openalex.org/I44461941","display_name":"University of Houston","ror":"https://ror.org/048sx0r50","country_code":"US","type":"education","lineage":["https://openalex.org/I44461941"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Prol","raw_affiliation_strings":["University of Houston, Houston, TX, USA"],"raw_orcid":"https://orcid.org/0009-0006-6522-4322","affiliations":[{"raw_affiliation_string":"University of Houston, Houston, TX, USA","institution_ids":["https://openalex.org/I44461941"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000974457","display_name":"Matin Amoozadeh","orcid":"https://orcid.org/0009-0009-4201-1609"},"institutions":[{"id":"https://openalex.org/I44461941","display_name":"University of Houston","ror":"https://ror.org/048sx0r50","country_code":"US","type":"education","lineage":["https://openalex.org/I44461941"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matin Amoozadeh","raw_affiliation_strings":["University of Houston, Houston, TX, USA"],"raw_orcid":"https://orcid.org/0009-0009-4201-1609","affiliations":[{"raw_affiliation_string":"University of Houston, Houston, TX, USA","institution_ids":["https://openalex.org/I44461941"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059243154","display_name":"Souti Chattopadhyay","orcid":"https://orcid.org/0000-0003-1644-7344"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Souti Chattopadhyay","raw_affiliation_strings":["University of Southern California, Los Angeles, CA, USA"],"raw_orcid":"https://orcid.org/0000-0003-1644-7344","affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065053503","display_name":"James Prather","orcid":"https://orcid.org/0000-0003-2807-6042"},"institutions":[{"id":"https://openalex.org/I60205797","display_name":"Abilene Christian University","ror":"https://ror.org/004srrf86","country_code":"US","type":"education","lineage":["https://openalex.org/I60205797"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James Prather","raw_affiliation_strings":["Abilene Christian University, Abilene, TX, USA"],"raw_orcid":"https://orcid.org/0000-0003-2807-6042","affiliations":[{"raw_affiliation_string":"Abilene Christian University, Abilene, TX, USA","institution_ids":["https://openalex.org/I60205797"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032890999","display_name":"Paul Denny","orcid":"https://orcid.org/0000-0002-5150-9806"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Paul Denny","raw_affiliation_strings":["University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0002-5150-9806","affiliations":[{"raw_affiliation_string":"University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041367899","display_name":"Juho Leinonen","orcid":"https://orcid.org/0000-0001-6829-9449"},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Juho Leinonen","raw_affiliation_strings":["Aalto University, Espoo, Finland"],"raw_orcid":"https://orcid.org/0000-0001-6829-9449","affiliations":[{"raw_affiliation_string":"Aalto University, Espoo, Finland","institution_ids":["https://openalex.org/I9927081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088362471","display_name":"Michael Hilton","orcid":"https://orcid.org/0000-0001-9195-6902"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Hilton","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":"https://orcid.org/0000-0001-9195-6902","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014639509","display_name":"Sruti Srinivasa Ragavan","orcid":"https://orcid.org/0000-0001-6197-2194"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sruti Srinivasa Ragavan","raw_affiliation_strings":["Indian Institute of Technology, Kanpur, Kanpur, India"],"raw_orcid":"https://orcid.org/0000-0001-6197-2194","affiliations":[{"raw_affiliation_string":"Indian Institute of Technology, Kanpur, Kanpur, India","institution_ids":["https://openalex.org/I94234084"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090034689","display_name":"Mohammad Amin Alipour","orcid":"https://orcid.org/0000-0002-6479-7202"},"institutions":[{"id":"https://openalex.org/I44461941","display_name":"University of Houston","ror":"https://ror.org/048sx0r50","country_code":"US","type":"education","lineage":["https://openalex.org/I44461941"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amin Alipour","raw_affiliation_strings":["University of Houston, Houston, TX, USA"],"raw_orcid":"https://orcid.org/0000-0002-6479-7202","affiliations":[{"raw_affiliation_string":"University of Houston, Houston, TX, USA","institution_ids":["https://openalex.org/I44461941"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8873,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.88629166,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.4878999888896942,"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.4878999888896942,"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.28700000047683716,"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/T11122","display_name":"Online Learning and Analytics","score":0.033399999141693115,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/through-the-lens-metering","display_name":"Through-the-lens metering","score":0.4867999851703644},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.48190000653266907},{"id":"https://openalex.org/keywords/lens","display_name":"Lens (geology)","score":0.4521999955177307},{"id":"https://openalex.org/keywords/craft","display_name":"Craft","score":0.4368000030517578},{"id":"https://openalex.org/keywords/qualitative-research","display_name":"Qualitative research","score":0.3734000027179718},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.31610000133514404}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5810999870300293},{"id":"https://openalex.org/C43091099","wikidata":"https://www.wikidata.org/wiki/Q1067788","display_name":"Through-the-lens metering","level":3,"score":0.4867999851703644},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.48190000653266907},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4535999894142151},{"id":"https://openalex.org/C15336307","wikidata":"https://www.wikidata.org/wiki/Q1766051","display_name":"Lens (geology)","level":2,"score":0.4521999955177307},{"id":"https://openalex.org/C2779732396","wikidata":"https://www.wikidata.org/wiki/Q2207288","display_name":"Craft","level":2,"score":0.4368000030517578},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.41200000047683716},{"id":"https://openalex.org/C190248442","wikidata":"https://www.wikidata.org/wiki/Q839486","display_name":"Qualitative research","level":2,"score":0.3734000027179718},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.31610000133514404},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3125999867916107},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.3057999908924103},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.29600000381469727},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.29249998927116394},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.28859999775886536},{"id":"https://openalex.org/C133462117","wikidata":"https://www.wikidata.org/wiki/Q4929239","display_name":"Data collection","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2660999894142151},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.25600001215934753}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3769994.3770004","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3769994.3770004","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th Koli Calling International Conference on Computing Education Research","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3769994.3770004","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3769994.3770004","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th Koli Calling International Conference on Computing Education Research","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2546187194","display_name":"Understanding and Mitigating the Impacts of Code Intelligence Systems in Introductory Programming Courses","funder_award_id":"2225373","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W2136995917","https://openalex.org/W4283705032","https://openalex.org/W4323037544","https://openalex.org/W4366548330","https://openalex.org/W4382654294","https://openalex.org/W4386099272","https://openalex.org/W4390985631","https://openalex.org/W4392542324","https://openalex.org/W4392564669","https://openalex.org/W4392669898","https://openalex.org/W4394745423","https://openalex.org/W4396832139","https://openalex.org/W4398796607","https://openalex.org/W4400268471","https://openalex.org/W4400642852","https://openalex.org/W4401379837","https://openalex.org/W4402810568","https://openalex.org/W4404316547","https://openalex.org/W4407771093","https://openalex.org/W4408614977","https://openalex.org/W4411120065","https://openalex.org/W4411272368"],"related_works":[],"abstract_inverted_index":{"Background":[0],"and":[1,24,37],"Context.":[2],"The":[3],"increasing":[4],"integration":[5],"of":[6,57],"large":[7],"language":[8],"models":[9],"(LLMs)":[10],"in":[11,18],"computing":[12],"education":[13],"presents":[14],"an":[15],"emerging":[16],"challenge":[17],"understanding":[19],"how":[20],"students":[21],"use":[22],"LLMs":[23],"craft":[25],"prompts":[26],"to":[27,40,51],"solve":[28],"computational":[29],"tasks.":[30],"Prior":[31],"research":[32],"has":[33],"used":[34],"both":[35],"qualitative":[36],"quantitative":[38],"methods":[39],"analyze":[41],"prompting":[42],"behavior,":[43],"but":[44],"these":[45],"approaches":[46],"lack":[47],"scalability":[48],"or":[49],"fail":[50],"effectively":[52],"capture":[53],"the":[54],"semantic":[55],"evolution":[56],"prompts.":[58]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-11-06T00:00:00"}