{"id":"https://openalex.org/W7168797716","doi":"https://doi.org/10.24963/kr.2026/68","title":"Optimal In-Station Train Dispatching via Symbolic Pattern Planning","display_name":"Optimal In-Station Train Dispatching via Symbolic Pattern Planning","publication_year":2026,"publication_date":"2026-07-01","ids":{"openalex":"https://openalex.org/W7168797716","doi":"https://doi.org/10.24963/kr.2026/68"},"language":null,"primary_location":{"id":"doi:10.24963/kr.2026/68","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2026/68","pdf_url":"https://proceedings.kr.org/2026/68/kr2026-0068-cardellini-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyThird International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2026/68/kr2026-0068-cardellini-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080659970","display_name":"Matteo Cardellini","orcid":"https://orcid.org/0000-0003-3788-9475"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Matteo Cardellini","raw_affiliation_strings":["Universit\u00e0 degli Studi di Genova"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Genova","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004609930","display_name":"Enrico Giunchiglia","orcid":"https://orcid.org/0000-0001-5758-2556"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Enrico Giunchiglia","raw_affiliation_strings":["Universit\u00e0 degli Studi di Genova"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Genova","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036611143","display_name":"Davide Anguita","orcid":"https://orcid.org/0000-0001-7523-5291"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Davide Anguita","raw_affiliation_strings":["Universit\u00e0 degli Studi di Genova"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Genova","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005933528","display_name":"Carmelo Lofiego","orcid":null},"institutions":[{"id":"https://openalex.org/I65143321","display_name":"Hitachi (Japan)","ror":"https://ror.org/02exqgm79","country_code":"JP","type":"company","lineage":["https://openalex.org/I65143321"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Carmelo Lofiego","raw_affiliation_strings":["Hitachi Rail STS"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hitachi Rail STS","institution_ids":["https://openalex.org/I65143321"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5141015063","display_name":"Luca Oneto","orcid":null},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Oneto","raw_affiliation_strings":["Universit\u00e0 degli Studi di Genova"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Genova","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5140987706","display_name":"Pietro Ratto","orcid":null},"institutions":[{"id":"https://openalex.org/I65143321","display_name":"Hitachi (Japan)","ror":"https://ror.org/02exqgm79","country_code":"JP","type":"company","lineage":["https://openalex.org/I65143321"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Pietro Ratto","raw_affiliation_strings":["Hitachi Rail STS"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hitachi Rail STS","institution_ids":["https://openalex.org/I65143321"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"723","last_page":"733"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/train","display_name":"Train","score":0.7759000062942505},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.7059000134468079},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6251999735832214},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5475999712944031},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4535999894142151},{"id":"https://openalex.org/keywords/route-planning","display_name":"Route planning","score":0.3944000005722046}],"concepts":[{"id":"https://openalex.org/C190839683","wikidata":"https://www.wikidata.org/wiki/Q2448197","display_name":"Train","level":2,"score":0.7759000062942505},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.7059000134468079},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6251999735832214},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5670999884605408},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5475999712944031},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4535999894142151},{"id":"https://openalex.org/C2989549987","wikidata":"https://www.wikidata.org/wiki/Q350882","display_name":"Route planning","level":2,"score":0.3944000005722046},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3765999972820282},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.36970001459121704},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36160001158714294},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3463999927043915},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.30140000581741333},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.295199990272522},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2842999994754791},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.2696000039577484},{"id":"https://openalex.org/C2778334786","wikidata":"https://www.wikidata.org/wiki/Q1586270","display_name":"Variation (astronomy)","level":2,"score":0.25859999656677246}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2026/68","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2026/68","pdf_url":"https://proceedings.kr.org/2026/68/kr2026-0068-cardellini-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyThird International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2026/68","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2026/68","pdf_url":"https://proceedings.kr.org/2026/68/kr2026-0068-cardellini-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyThird International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7168797716.pdf","grobid_xml":"https://content.openalex.org/works/W7168797716.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0],"Optimal":[1],"In-Station":[2],"Train":[3],"Dispatching":[4],"(InSTraDi)":[5],"problem":[6,96],"consists":[7],"in":[8,49,115],"commanding":[9],"the":[10,39,45,65,87,94,121,128,134],"movements":[11],"of":[12,41,77],"trains":[13],"inside":[14],"a":[15,36,50,72,98,118],"railway":[16,139],"station":[17],"while":[18],"both":[19],"(i)":[20],"respecting":[21],"safety,":[22],"time,":[23,117],"and":[24,27,105,107],"travel":[25],"constraints":[26],"(ii)":[28],"minimizing":[29],"delays.":[30],"In":[31,89],"Symbolic":[32],"Pattern":[33],"Planning":[34,100],"(SPP),":[35],"pattern,":[37],"suggesting":[38],"sequence":[40],"happenings":[42],"to":[43,56,113],"reach":[44],"goal,":[46],"is":[47,63,67],"encoded":[48],"logic":[51],"formula":[52],"whose":[53],"models":[54],"correspond":[55],"valid":[57,61,73],"plans.":[58],"If":[59],"no":[60],"plan":[62,123],"found,":[64],"pattern":[66,119],"extended":[68],"until":[69],"it":[70],"covers":[71],"plan.":[74],"However,":[75],"plans":[76],"better":[78],"quality":[79],"could":[80],"exist":[81],"if":[82],"we":[83,92,108],"had":[84],"continued":[85],"extending":[86,133],"pattern.":[88,135],"this":[90],"paper,":[91],"formalize":[93],"InSTraDi":[95],"as":[97],"Temporal":[99],"Task":[101],"with":[102],"Intermediate":[103],"Conditions":[104],"Effects,":[106],"show":[109],"an":[110],"InSTraDi-dependent":[111],"way":[112],"construct,":[114],"polynomial":[116],"ensuring":[120],"optimal":[122],"can":[124],"be":[125],"found":[126],"by":[127],"SPP":[129],"approach":[130],"without":[131],"never":[132],"Analysis":[136],"on":[137],"realistic":[138],"data":[140],"validate":[141],"our":[142],"approach.":[143]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2026-07-17T00:00:00"}