{"id":"https://openalex.org/W7125951474","doi":"https://doi.org/10.1109/smc58881.2025.11343729","title":"Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces","display_name":"Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces","publication_year":2025,"publication_date":"2025-10-05","ids":{"openalex":"https://openalex.org/W7125951474","doi":"https://doi.org/10.1109/smc58881.2025.11343729"},"language":null,"primary_location":{"id":"doi:10.1109/smc58881.2025.11343729","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc58881.2025.11343729","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","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/A5046534532","display_name":"Arabinda Ghosh","orcid":"https://orcid.org/0000-0003-0517-9399"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Arabinda Ghosh","raw_affiliation_strings":["Max Planck Institute for Software Systems,Germany"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems,Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025105412","display_name":"Mahmoud Salamati","orcid":"https://orcid.org/0000-0003-3790-3935"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mahmoud Salamati","raw_affiliation_strings":["Max Planck Institute for Software Systems,Germany"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems,Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017334634","display_name":"Sadegh Soudjani","orcid":"https://orcid.org/0000-0003-1922-6678"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sadegh Soudjani","raw_affiliation_strings":["Max Planck Institute for Software Systems,Germany"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems,Germany","institution_ids":["https://openalex.org/I4210121786"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5046534532"],"corresponding_institution_ids":["https://openalex.org/I4210121786"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.75340927,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"7186","last_page":"7192"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.21469999849796295,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.21469999849796295,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.15800000727176666,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.08820000290870667,"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/knowledge-base","display_name":"Knowledge base","score":0.7199000120162964},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5742999911308289},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.5080999732017517},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.40630000829696655},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.35260000824928284},{"id":"https://openalex.org/keywords/knowledge-extraction","display_name":"Knowledge extraction","score":0.3260999917984009},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.32249999046325684}],"concepts":[{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.7199000120162964},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6578999757766724},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5742999911308289},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.5080999732017517},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.40630000829696655},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.35260000824928284},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3499999940395355},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34380000829696655},{"id":"https://openalex.org/C120567893","wikidata":"https://www.wikidata.org/wiki/Q1582085","display_name":"Knowledge extraction","level":2,"score":0.3260999917984009},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.32249999046325684},{"id":"https://openalex.org/C2778712445","wikidata":"https://www.wikidata.org/wiki/Q5264352","display_name":"Design knowledge","level":3,"score":0.3005000054836273},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.2809999883174896},{"id":"https://openalex.org/C13687954","wikidata":"https://www.wikidata.org/wiki/Q4826847","display_name":"Autonomous agent","level":2,"score":0.26899999380111694},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.2671000063419342},{"id":"https://openalex.org/C9628104","wikidata":"https://www.wikidata.org/wiki/Q788009","display_name":"Autonomous system (mathematics)","level":2,"score":0.2662000060081482},{"id":"https://openalex.org/C84685590","wikidata":"https://www.wikidata.org/wiki/Q1540472","display_name":"Knowledge engineering","level":2,"score":0.2632000148296356},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.2563000023365021}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smc58881.2025.11343729","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc58881.2025.11343729","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4464370608329773,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W760002676","https://openalex.org/W1555563750","https://openalex.org/W1838714828","https://openalex.org/W1986219902","https://openalex.org/W2005484623","https://openalex.org/W2026807253","https://openalex.org/W2030953226","https://openalex.org/W2145465694","https://openalex.org/W2171915060","https://openalex.org/W2487779201","https://openalex.org/W2883274380","https://openalex.org/W2911529331","https://openalex.org/W3023616698","https://openalex.org/W3182709825","https://openalex.org/W4386580800","https://openalex.org/W4391316394"],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,6,51,58],"step":[4],"towards":[5],"formal":[7,54],"controller":[8,52,74,98],"design":[9,75],"method":[10,94,133],"for":[11,35,125],"autonomous":[12,36,137],"agents":[13,37,138],"based":[14],"on":[15],"knowledge":[16,33,68,101,146],"awareness":[17],"to":[18,24,49,139],"improve":[19],"decision-making.":[20],"Our":[21],"approach":[22],"is":[23,123],"first":[25],"create":[26],"an":[27,72,114],"organized":[28],"repository":[29],"of":[30,60,79,131],"information":[31],"(a":[32],"base)":[34],"which":[38],"can":[39],"be":[40],"accessed":[41],"and":[42,63,84,121,148],"then":[43],"translated":[44],"into":[45],"temporal":[46,85],"specifications.":[47,107],"Secondly,":[48],"develop":[50],"with":[53,118,144],"guarantees":[55],"that":[56],"meets":[57],"combination":[59],"mission-specific":[61,150],"objective":[62],"the":[64,67,88,97,100,106,129,132,136,140,145,149],"specification":[65],"from":[66],"base,":[69],"we":[70],"utilize":[71],"abstraction-based":[73],"(ABCD)":[76],"approach,":[77,92],"capable":[78],"managing":[80],"both":[81],"nonlinear":[82,110],"dynamics":[83],"requirements.":[86],"Unlike":[87],"conventional":[89],"offline":[90],"ABCD":[91],"our":[93],"dynamically":[95],"updates":[96],"whenever":[99],"base":[102,147],"prompts":[103],"changes":[104],"in":[105,134],"A":[108],"three-dimensional":[109],"car":[111],"model":[112],"navigating":[113],"urban":[115],"road":[116],"scenario":[117],"traffic":[119],"signs":[120],"obstacles":[122],"considered":[124],"validation.":[126],"Results":[127],"show":[128],"effectiveness":[130],"guiding":[135],"target":[141],"while":[142],"complying":[143],"objective.":[151]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2026-01-29T00:00:00"}