{"id":"https://openalex.org/W7222838632","doi":"https://doi.org/10.1007/978-3-032-40121-2_1","title":"X-by-Construction Meets Intersymbolic AI","display_name":"X-by-Construction Meets Intersymbolic AI","publication_year":2026,"publication_date":"2026-10-17","ids":{"openalex":"https://openalex.org/W7222838632","doi":"https://doi.org/10.1007/978-3-032-40121-2_1"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-40121-2_1","doi":"https://doi.org/10.1007/978-3-032-40121-2_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-40121-2_1","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-40121-2_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","ki-jl-1","norway-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W7222817129","display_name":"Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI"},"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-40121-2_1.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064415269","display_name":"Maurice H. ter Beek","orcid":"https://orcid.org/0000-0002-2930-6367","observed_orcids":["https://orcid.org/0000-0002-2930-6367"]},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Maurice H. ter Beek","raw_affiliation_strings":["CNR\u2013ISTI, Pisa, Italy"],"raw_orcid":"https://orcid.org/0000-0002-2930-6367","affiliations":[{"raw_affiliation_string":"CNR\u2013ISTI, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054154442","display_name":"Clemens Dubslaff","orcid":"https://orcid.org/0000-0001-5718-8276","observed_orcids":["https://orcid.org/0000-0001-5718-8276"]},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE","NL"],"is_corresponding":false,"raw_author_name":"Clemens Dubslaff","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands","TU Braunschweig, Brunswick, Germany"],"raw_orcid":"https://orcid.org/0000-0001-5718-8276","affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"TU Braunschweig, Brunswick, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021773538","display_name":"Juliane P\u00e4\u00dfler","orcid":"https://orcid.org/0000-0001-8515-1809","observed_orcids":["https://orcid.org/0000-0001-8515-1809"]},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Juliane P\u00e4\u00dfler","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"raw_orcid":"https://orcid.org/0000-0001-8515-1809","affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065261670","display_name":"Ina Schaefer","orcid":"https://orcid.org/0000-0002-7153-761X","observed_orcids":["https://orcid.org/0000-0002-7153-761X"]},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ina Schaefer","raw_affiliation_strings":["KIT, Karlsruhe, Germany"],"raw_orcid":"https://orcid.org/0000-0002-7153-761X","affiliations":[{"raw_affiliation_string":"KIT, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5064415269"],"corresponding_institution_ids":["https://openalex.org/I122991210"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.86080002784729,"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.86080002784729,"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/T10126","display_name":"Logic, programming, and type systems","score":0.10869999974966049,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.009800000116229057,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness-by-construction","display_name":"correct-by-construction","score":0.8859999775886536},{"id":"https://openalex.org/keywords/symbolic-ai","display_name":"symbolic AI","score":0.8659999966621399},{"id":"https://openalex.org/keywords/formal-methods","display_name":"formal methods","score":0.7570000290870667},{"id":"https://openalex.org/keywords/non-functional-properties","display_name":"non-functional properties","score":0.8870000243186951}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8568999767303467},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.8130000233650208},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7368999719619751},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.6090999841690063},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.578499972820282},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5471000075340271},{"id":"https://openalex.org/C89992363","wikidata":"https://www.wikidata.org/wiki/Q5961558","display_name":"Track (disk drive)","level":2,"score":0.5291000008583069},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.48330000042915344},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.482699990272522},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43479999899864197},{"id":"https://openalex.org/C157170001","wikidata":"https://www.wikidata.org/wiki/Q4781507","display_name":"Applications of artificial intelligence","level":2,"score":0.34540000557899475},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.3287000060081482},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.31119999289512634},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2987000048160553},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.2865000069141388},{"id":"https://openalex.org/C105002631","wikidata":"https://www.wikidata.org/wiki/Q4833645","display_name":"Subject-matter expert","level":3,"score":0.28220000863075256},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.26840001344680786},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.2599000036716461},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.2542000114917755}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-40121-2_1","doi":"https://doi.org/10.1007/978-3-032-40121-2_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-40121-2_1","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-40121-2_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","ki-jl-1","norway-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-40121-2_1","doi":"https://doi.org/10.1007/978-3-032-40121-2_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-40121-2_1","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-40121-2_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","ki-jl-1","norway-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7222838632.pdf","grobid_xml":"https://content.openalex.org/works/W7222838632.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W2528361797","https://openalex.org/W2898239151","https://openalex.org/W3204683753","https://openalex.org/W4403774759","https://openalex.org/W4403774961","https://openalex.org/W4415018828","https://openalex.org/W7155092451","https://openalex.org/W7169876924","https://openalex.org/W7204971070","https://openalex.org/W7222799069","https://openalex.org/W7222800248","https://openalex.org/W7222801682","https://openalex.org/W7222806274","https://openalex.org/W7222814051","https://openalex.org/W7222815279","https://openalex.org/W7222818764","https://openalex.org/W7222824050","https://openalex.org/W7222831220","https://openalex.org/W7222840090"],"related_works":["https://openalex.org/W4403774961","https://openalex.org/W4399795245","https://openalex.org/W4403774759","https://openalex.org/W6979810943","https://openalex.org/W3088836971","https://openalex.org/W1819512283","https://openalex.org/W3094678513","https://openalex.org/W7213464378","https://openalex.org/W2146659468","https://openalex.org/W4411583277"],"abstract_inverted_index":{"Abstract":[0],"X-by-Construction":[1],"(XbC)":[2],"encompasses":[3],"extensions":[4],"beyond":[5],"correctness":[6],"concerns":[7],"which":[8,66,114],"are":[9],"common":[10],"in":[11,91],"the":[12,69,84,107,118,125,134,153,171],"traditional":[13],"Correctness-by-Construction":[14],"(CbC)":[15],"paradigm.":[16],"Like":[17],"CbC,":[18],"XbC":[19],"is":[20,62],"a":[21],"refinement":[22],"approach":[23],"to":[24,42,96,105,116,145,159],"engineer":[25],"systems":[26],"that":[27],"by":[28,177],"construction":[29],"satisfy":[30],"certain":[31],"(":[32],"non-functional":[33],")":[34],"properties.":[35],"An":[36,99],"ISoLA":[37,135],"2024":[38],"track":[39,102,137,173],"gathered":[40,103],"experts":[41,104],"discuss":[43,106,160],"possible":[44,161],"synergies":[45,162],"between":[46,163],"CbC/XbC":[47,164],"and":[48,75,124,148,165],"symbolic":[49,59],"or":[50],"subsymbolic":[51],"Artificial":[52],"Intelligence":[53],"(AI).":[54],"A":[55],"key":[56],"benefit":[57],"of":[58,71,110,120,127,133,155,170],"(rule-based)":[60],"AI":[61,81,112,122],"its":[63],"formal":[64,72,128],"rigor,":[65],"comes":[67],"at":[68],"cost":[70],"modeling":[73],"effort":[74],"computational":[76],"expensive":[77],"reasoning.":[78],"Subsymbolic":[79],"(data-driven)":[80],"approaches,":[82,123],"on":[83,138,152],"other":[85],"hand,":[86],"usually":[87],"outperform":[88],"rigorous":[89],"ones":[90],"performance":[92],"but":[93],"might":[94],"lead":[95],"unsound":[97],"results.":[98],"AISoLA":[100],"2025":[101],"emerging":[108],"field":[109],"Intersymbolic":[111,141,166],",":[113],"aims":[115],"exploit":[117],"benefits":[119],"both":[121],"role":[126],"methods":[129],"therein.":[130],"The":[131],"scope":[132],"2026":[136],"\u201cX-by-Construction":[139],"Meets":[140],"AI\u201d":[142],"(XbC-IAI)":[143],"was":[144],"gather":[146],"researchers":[147],"practitioners":[149],"who":[150],"work":[151],"topics":[154],"these":[156],"two":[157],"tracks":[158],"AI.":[167],"These":[168],"proceedings":[169],"XbC-IAI":[172],"contain":[174],"13":[175],"contributions":[176],"participants.":[178]},"counts_by_year":[],"updated_date":"2026-11-03T10:50:19.383937","created_date":"2026-10-18T00:00:00"}