{"id":"https://openalex.org/W4414360336","doi":"https://doi.org/10.24963/ijcai.2025/1065","title":"LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration","display_name":"LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration","publication_year":2025,"publication_date":"2025-09-01","ids":{"openalex":"https://openalex.org/W4414360336","doi":"https://doi.org/10.24963/ijcai.2025/1065"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2025/1065","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/1065","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","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/A5101941980","display_name":"Zirong Chen","orcid":"https://orcid.org/0000-0002-6466-4549"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Zirong Chen","raw_affiliation_strings":["Vanderbilt University"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002719380","display_name":"Ziyan An","orcid":"https://orcid.org/0000-0002-1083-0011"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ziyan An","raw_affiliation_strings":["Vanderbilt University"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001011594","display_name":"Jennifer F. Reynolds","orcid":"https://orcid.org/0000-0002-4301-1004"},"institutions":[{"id":"https://openalex.org/I4210152138","display_name":"Metro Urology","ror":"https://ror.org/04r1rka16","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210152138"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jennifer Reynolds","raw_affiliation_strings":["Metro Nashville Department of Emergency Communications"],"affiliations":[{"raw_affiliation_string":"Metro Nashville Department of Emergency Communications","institution_ids":["https://openalex.org/I4210152138"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Kristin Mullen","orcid":null},"institutions":[{"id":"https://openalex.org/I4210152138","display_name":"Metro Urology","ror":"https://ror.org/04r1rka16","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210152138"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kristin Mullen","raw_affiliation_strings":["Metro Nashville Department of Emergency Communications"],"affiliations":[{"raw_affiliation_string":"Metro Nashville Department of Emergency Communications","institution_ids":["https://openalex.org/I4210152138"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119679432","display_name":"Stephen Maritini","orcid":null},"institutions":[{"id":"https://openalex.org/I4210152138","display_name":"Metro Urology","ror":"https://ror.org/04r1rka16","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210152138"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen Maritini","raw_affiliation_strings":["Metro Nashville Department of Emergency Communications"],"affiliations":[{"raw_affiliation_string":"Metro Nashville Department of Emergency Communications","institution_ids":["https://openalex.org/I4210152138"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007967134","display_name":"Meiyi Ma","orcid":"https://orcid.org/0000-0001-6916-8774"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Meiyi Ma","raw_affiliation_strings":["Vanderbilt University"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University","institution_ids":["https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5101941980"],"corresponding_institution_ids":["https://openalex.org/I200719446"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12887016,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"9582","last_page":"9590"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.7021999955177307,"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/T10028","display_name":"Topic Modeling","score":0.7021999955177307,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.6912000179290771,"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/debriefing","display_name":"Debriefing","score":0.9257000088691711},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.527400016784668},{"id":"https://openalex.org/keywords/logic-model","display_name":"Logic model","score":0.517300009727478},{"id":"https://openalex.org/keywords/quality-assurance","display_name":"Quality assurance","score":0.5044999718666077},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4677000045776367},{"id":"https://openalex.org/keywords/empirical-research","display_name":"Empirical research","score":0.35420000553131104},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.3343000113964081}],"concepts":[{"id":"https://openalex.org/C202695956","wikidata":"https://www.wikidata.org/wiki/Q2669680","display_name":"Debriefing","level":2,"score":0.9257000088691711},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7348999977111816},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.527400016784668},{"id":"https://openalex.org/C2775940519","wikidata":"https://www.wikidata.org/wiki/Q17067742","display_name":"Logic model","level":2,"score":0.517300009727478},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.5044999718666077},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4677000045776367},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46459999680519104},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.3939000070095062},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.35420000553131104},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3343000113964081},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.33250001072883606},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3156999945640564},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.3084999918937683},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.26420000195503235},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2628999948501587},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.2581000030040741},{"id":"https://openalex.org/C184356942","wikidata":"https://www.wikidata.org/wiki/Q830382","display_name":"Best practice","level":2,"score":0.2581000030040741},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2574999928474426},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2533999979496002},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.2515999972820282},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.25119999051094055}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2025/1065","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/1065","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Emergency":[0,150],"response":[1],"services":[2],"are":[3],"critical":[4,112],"to":[5,31,47,105,121],"public":[6],"safety,":[7],"with":[8,42,70,118,168],"9-1-1":[9,62,91],"call-takers":[10],"playing":[11],"a":[12,98,175],"key":[13],"role":[14],"in":[15,155,185],"ensuring":[16],"timely":[17],"and":[18,33,50,111,124,178],"effective":[19],"emergency":[20],"operations.":[21],"To":[22],"ensure":[23,122],"call-taking":[24,82,187],"performance":[25,78],"consistency,":[26],"quality":[27,131],"assurance":[28,132],"is":[29],"implemented":[30],"evaluate":[32],"refine":[34],"call-takers'":[35],"skillsets.":[36],"However,":[37],"traditional":[38,61],"human-led":[39],"evaluations":[40],"struggle":[41],"high":[43],"call":[44,63],"volumes,":[45],"leading":[46],"low":[48],"coverage":[49],"delayed":[51],"assessments.":[52],"We":[53],"introduce":[54],"LogiDebrief,":[55],"an":[56],"AI-driven":[57],"framework":[58],"that":[59],"automates":[60],"debriefing":[64,156],"by":[65],"integrating":[66],"Signal-Temporal":[67],"Logic":[68],"(STL)":[69],"Large":[71],"Language":[72],"Models":[73],"(LLMs)":[74],"for":[75],"fully-covered":[76],"rigorous":[77],"evaluation.":[79],"LogiDebrief":[80,138],"formalizes":[81],"requirements":[83],"as":[84],"logical":[85],"specifications,":[86],"enabling":[87],"systematic":[88],"assessment":[89],"of":[90,128,149,163],"calls":[92],"against":[93],"procedural":[94],"guidelines.":[95],"It":[96],"employs":[97],"three-step":[99],"verification":[100],"process:":[101],"(1)":[102],"contextual":[103],"understanding":[104],"identify":[106],"responder":[107],"types,":[108],"incident":[109],"classifications,":[110],"conditions;":[113],"(2)":[114],"STL-based":[115],"runtime":[116],"checking":[117],"LLM":[119],"integration":[120],"compliance;":[123],"(3)":[125],"automated":[126],"aggregation":[127],"results":[129],"into":[130],"reports.":[133],"Beyond":[134],"its":[135,172,183],"technical":[136],"contributions,":[137],"has":[139,153],"demonstrated":[140],"real-world":[141,158,169],"impact.":[142],"Successfully":[143],"deployed":[144],"at":[145],"Metro":[146],"Nashville":[147],"Department":[148],"Communications,":[151],"it":[152],"assisted":[154],"1,701":[157],"calls,":[159],"saving":[160],"311.85":[161],"hours":[162],"active":[164],"engagement.":[165],"Empirical":[166],"evaluation":[167],"data":[170],"confirms":[171],"accuracy,":[173],"while":[174],"case":[176],"study":[177,181],"extensive":[179],"user":[180],"highlight":[182],"effectiveness":[184],"enhancing":[186],"performance.":[188]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}