{"id":"https://openalex.org/W4404345923","doi":"https://doi.org/10.48550/arxiv.2411.00773","title":"LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation","display_name":"LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation","publication_year":2024,"publication_date":"2024-11-01","ids":{"openalex":"https://openalex.org/W4404345923","doi":"https://doi.org/10.48550/arxiv.2411.00773"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2411.00773","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2411.00773","pdf_url":"https://arxiv.org/pdf/2411.00773","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2411.00773","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100387262","display_name":"Bowen Li","orcid":"https://orcid.org/0000-0001-7525-9672"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Li, Bowen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100726727","display_name":"Zhaoyu Li","orcid":"https://orcid.org/0000-0002-5222-6832"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Zhaoyu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101120732","display_name":"Qiwei Du","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Du, Qiwei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066050640","display_name":"Jinqi Luo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Luo, Jinqi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101634794","display_name":"Wenshan Wang","orcid":"https://orcid.org/0000-0002-4488-5619"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Wenshan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032012609","display_name":"Yaqi Xie","orcid":"https://orcid.org/0009-0001-5703-2500"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xie, Yaqi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048668442","display_name":"Simon Stepputtis","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stepputtis, Simon","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100337582","display_name":"Chen Wang","orcid":"https://orcid.org/0000-0002-4630-0805"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Chen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087505541","display_name":"Katia Sycara","orcid":"https://orcid.org/0000-0001-5635-1406"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sycara, Katia P.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053209283","display_name":"Pradeep Ravikumar","orcid":"https://orcid.org/0000-0001-5635-5765"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ravikumar, Pradeep Kumar","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005255629","display_name":"Alexander Gray","orcid":"https://orcid.org/0000-0003-0337-7359"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gray, Alexander G.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059074509","display_name":"Xujie Si","orcid":"https://orcid.org/0000-0002-3739-2269"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Si, Xujie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5106892631","display_name":"Sebastian Scherer","orcid":"https://orcid.org/0000-0002-8380-2361"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Scherer, Sebastian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":13,"corresponding_author_ids":["https://openalex.org/A5100387262"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"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/T12290","display_name":"Human Motion and Animation","score":0.7092999815940857,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12290","display_name":"Human Motion and Animation","score":0.7092999815940857,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10775","display_name":"Generative Adversarial Networks and Image Synthesis","score":0.6805999875068665,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T14339","display_name":"Image Processing and 3D Reconstruction","score":0.6672999858856201,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/computer-science","display_name":"Computer science","score":0.5772398710250854},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.45542827248573303},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.4301868677139282},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.18646657466888428}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5772398710250854},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45542827248573303},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.4301868677139282},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.18646657466888428},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2411.00773","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2411.00773","pdf_url":"https://arxiv.org/pdf/2411.00773","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2411.00773","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2411.00773","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2411.00773","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2411.00773","pdf_url":"https://arxiv.org/pdf/2411.00773","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1912064254","display_name":null,"funder_award_id":"2137603","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2507572247","display_name":null,"funder_award_id":"2138286","funder_id":"https://openalex.org/F4320337377","funder_display_name":"Office of Advanced Cyberinfrastructure"},{"id":"https://openalex.org/G4010157413","display_name":null,"funder_award_id":"2138259","funder_id":"https://openalex.org/F4320337377","funder_display_name":"Office of Advanced Cyberinfrastructure"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G509285653","display_name":null,"funder_award_id":"2138307","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5464919783","display_name":null,"funder_award_id":"2137603","funder_id":"https://openalex.org/F4320337377","funder_display_name":"Office of Advanced Cyberinfrastructure"},{"id":"https://openalex.org/G6664589177","display_name":null,"funder_award_id":"2138307","funder_id":"https://openalex.org/F4320337377","funder_display_name":"Office of Advanced Cyberinfrastructure"},{"id":"https://openalex.org/G7567487553","display_name":null,"funder_award_id":"FA8750-23-2-1015","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G8300691027","display_name":null,"funder_award_id":"2138286","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"},{"id":"https://openalex.org/F4320309949","display_name":"Canadian Institute for Advanced Research","ror":"https://ror.org/01sdtdd95"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320337377","display_name":"Office of Advanced Cyberinfrastructure","ror":"https://ror.org/04nh1dc89"},{"id":"https://openalex.org/F4320338290","display_name":"National Renewable Energy Laboratory","ror":"https://ror.org/036266993"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4404345923.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Recent":[0],"years":[1],"have":[2],"witnessed":[3],"the":[4,23,67,110,116,134,175,192,203,240,247],"rapid":[5],"development":[6],"of":[7,22,112,136,143,162,194,206,243],"Neuro-Symbolic":[8],"(NeSy)":[9],"AI":[10,28],"systems,":[11],"which":[12],"integrate":[13],"symbolic":[14],"reasoning":[15,33],"into":[16],"deep":[17],"neural":[18],"networks.":[19],"However,":[20],"most":[21],"existing":[24],"benchmarks":[25],"for":[26,76,148,155],"NeSy":[27,163,195,244],"fail":[29],"to":[30,104,127],"provide":[31],"long-horizon":[32,171,212],"tasks":[34],"with":[35,80,129],"complex":[36,209],"multi-agent":[37,213],"interactions.":[38],"Furthermore,":[39],"they":[40,122],"are":[41,102,120,251],"usually":[42],"constrained":[43],"by":[44],"fixed":[45],"and":[46,91,97,118,174,185,226,249],"simplistic":[47],"logical":[48,156],"rules":[49,107,119],"over":[50],"limited":[51],"entities,":[52],"making":[53],"them":[54],"far":[55],"from":[56],"real-world":[57],"complexities.":[58],"To":[59,158],"address":[60],"these":[61],"crucial":[62],"gaps,":[63],"we":[64,201,230],"introduce":[65],"LogiCity,":[66],"first":[68],"simulator":[69],"based":[70],"on":[71,178],"customizable":[72,152],"first-order":[73],"logic":[74],"(FOL)":[75],"an":[77],"urban-like":[78],"environment":[79],"multiple":[81],"dynamic":[82],"agents.":[83,114],"LogiCity":[84,144,165,232],"models":[85],"diverse":[86,137],"urban":[87],"elements":[88],"using":[89],"semantic":[90],"spatial":[92],"concepts,":[93],"such":[94],"as":[95],"IsAmbulance(X)":[96],"IsClose(X,":[98],"Y).":[99],"These":[100],"concepts":[101,117],"used":[103],"define":[105],"FOL":[106],"that":[108],"govern":[109],"behavior":[111],"various":[113,160,224],"Since":[115],"abstractions,":[121,150],"can":[123],"be":[124],"universally":[125],"applied":[126],"cities":[128],"any":[130],"agent":[131,186],"compositions,":[132],"facilitating":[133],"instantiation":[135],"scenarios.":[138],"Besides,":[139],"a":[140,234],"key":[141],"feature":[142],"is":[145],"its":[146,221],"support":[147],"user-configurable":[149],"enabling":[151],"simulation":[153],"complexities":[154],"reasoning.":[157,199],"explore":[159],"aspects":[161],"AI,":[164],"introduces":[166],"two":[167],"tasks,":[168],"one":[169],"features":[170],"sequential":[172],"decision-making,":[173],"other":[176],"focuses":[177],"one-step":[179],"visual":[180],"reasoning,":[181],"varying":[182],"in":[183,197,211,238],"difficulty":[184],"behaviors.":[187],"Our":[188],"extensive":[189],"evaluation":[190],"reveals":[191],"advantage":[193],"frameworks":[196],"abstract":[198],"Moreover,":[200],"highlight":[202],"significant":[204],"challenges":[205],"handling":[207],"more":[208],"abstractions":[210],"scenarios":[214],"or":[215],"under":[216],"high-dimensional,":[217],"imbalanced":[218],"data.":[219],"With":[220],"flexible":[222],"design,":[223],"features,":[225],"newly":[227],"raised":[228],"challenges,":[229],"believe":[231],"represents":[233],"pivotal":[235],"step":[236],"forward":[237],"advancing":[239],"next":[241],"generation":[242],"AI.":[245],"All":[246],"code":[248],"data":[250],"open-sourced":[252],"at":[253],"our":[254],"website:":[255],"https://jaraxxus-me.github.io/LogiCity/":[256]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-04-29T09:16:38.111599","created_date":"2025-10-10T00:00:00"}