{"id":"https://openalex.org/W7130431861","doi":"https://doi.org/10.1109/mitp.2026.3655853","title":"Using Formal Methods to Help Explain Real-Time Operator Support in Metal Additive Manufacturing","display_name":"Using Formal Methods to Help Explain Real-Time Operator Support in Metal Additive Manufacturing","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7130431861","doi":"https://doi.org/10.1109/mitp.2026.3655853"},"language":null,"primary_location":{"id":"doi:10.1109/mitp.2026.3655853","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mitp.2026.3655853","pdf_url":null,"source":{"id":"https://openalex.org/S86192639","display_name":"IT Professional","issn_l":"1520-9202","issn":["1520-9202","1941-045X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IT Professional","raw_type":"journal-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/A5006266975","display_name":"Cathal Hoare","orcid":"https://orcid.org/0000-0002-4507-7269"},"institutions":[{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"education","lineage":["https://openalex.org/I230495080"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Cathal Hoare","raw_affiliation_strings":["I-Form Centre for Advanced Manufacturing, Department of Computer Science and Information Technology, University of Limerick, Limerick, Ireland"],"raw_orcid":"https://orcid.org/0000-0002-4507-7269","affiliations":[{"raw_affiliation_string":"I-Form Centre for Advanced Manufacturing, Department of Computer Science and Information Technology, University of Limerick, Limerick, Ireland","institution_ids":["https://openalex.org/I230495080"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126350342","display_name":"Denis Dowling","orcid":null},"institutions":[{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"education","lineage":["https://openalex.org/I230495080"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Denis Dowling","raw_affiliation_strings":["I-Form Centre for Advanced Manufacturing, Department of Computer Science and Information Technology, University of Limerick, Limerick, Ireland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"I-Form Centre for Advanced Manufacturing, Department of Computer Science and Information Technology, University of Limerick, Limerick, Ireland","institution_ids":["https://openalex.org/I230495080"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013165259","display_name":"Tiziana Margaria","orcid":"https://orcid.org/0000-0002-5547-9739"},"institutions":[{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"education","lineage":["https://openalex.org/I230495080"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Tiziana Margaria","raw_affiliation_strings":["I-Form Centre for Advanced Manufacturing, Department of Computer Science and Information Technology, University of Limerick, Limerick, Ireland"],"raw_orcid":"https://orcid.org/0000-0002-5547-9739","affiliations":[{"raw_affiliation_string":"I-Form Centre for Advanced Manufacturing, Department of Computer Science and Information Technology, University of Limerick, Limerick, Ireland","institution_ids":["https://openalex.org/I230495080"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I230495080"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11669542,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"28","issue":"1","first_page":"93","last_page":"98"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10705","display_name":"Additive Manufacturing Materials and Processes","score":0.19900000095367432,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical 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/T10705","display_name":"Additive Manufacturing Materials and Processes","score":0.19900000095367432,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical 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/T11948","display_name":"Machine Learning in Materials Science","score":0.16689999401569366,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10783","display_name":"Additive Manufacturing and 3D Printing Technologies","score":0.15289999544620514,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"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/flexibility","display_name":"Flexibility (engineering)","score":0.6855999827384949},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.6539000272750854},{"id":"https://openalex.org/keywords/bridge","display_name":"Bridge (graph theory)","score":0.5774999856948853},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4828000068664551},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.43689998984336853},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.41670000553131104},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4002000093460083},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.36149999499320984}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7037000060081482},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.6855999827384949},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.6539000272750854},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.5774999856948853},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4828000068664551},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.43689998984336853},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.41670000553131104},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4002000093460083},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36480000615119934},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.36149999499320984},{"id":"https://openalex.org/C13736549","wikidata":"https://www.wikidata.org/wiki/Q4489420","display_name":"Industrial engineering","level":1,"score":0.33970001339912415},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3352000117301941},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.320499986410141},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3068000078201294},{"id":"https://openalex.org/C120567893","wikidata":"https://www.wikidata.org/wiki/Q1582085","display_name":"Knowledge extraction","level":2,"score":0.30250000953674316},{"id":"https://openalex.org/C53688548","wikidata":"https://www.wikidata.org/wiki/Q1122190","display_name":"Computer-integrated manufacturing","level":2,"score":0.29829999804496765},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.29249998927116394},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2913999855518341},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.290800005197525},{"id":"https://openalex.org/C84685590","wikidata":"https://www.wikidata.org/wiki/Q1540472","display_name":"Knowledge engineering","level":2,"score":0.2831999957561493},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.271699994802475},{"id":"https://openalex.org/C117671659","wikidata":"https://www.wikidata.org/wiki/Q11049265","display_name":"Manufacturing engineering","level":1,"score":0.27059999108314514},{"id":"https://openalex.org/C146380142","wikidata":"https://www.wikidata.org/wiki/Q1137726","display_name":"Directed graph","level":2,"score":0.2637999951839447},{"id":"https://openalex.org/C76363472","wikidata":"https://www.wikidata.org/wiki/Q1437394","display_name":"Formal concept analysis","level":2,"score":0.25429999828338623}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mitp.2026.3655853","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mitp.2026.3655853","pdf_url":null,"source":{"id":"https://openalex.org/S86192639","display_name":"IT Professional","issn_l":"1520-9202","issn":["1520-9202","1941-045X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IT Professional","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5201268792152405}],"awards":[{"id":"https://openalex.org/G4301744453","display_name":null,"funder_award_id":"16/RC/3872","funder_id":"https://openalex.org/F8766430056","funder_display_name":"Research Ireland"}],"funders":[{"id":"https://openalex.org/F8766430056","display_name":"Research Ireland","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W2006359199","https://openalex.org/W2584508145","https://openalex.org/W2918526887","https://openalex.org/W3013251342","https://openalex.org/W3045990532","https://openalex.org/W3134522984","https://openalex.org/W3164503557","https://openalex.org/W3187860052","https://openalex.org/W4308219552","https://openalex.org/W4322619024","https://openalex.org/W4391855187","https://openalex.org/W4401722656","https://openalex.org/W4405803596","https://openalex.org/W4410789708","https://openalex.org/W4411342751"],"related_works":[],"abstract_inverted_index":{"Metal":[0],"Additive":[1],"Manufacturing":[2,37],"(MAM)":[3],"offers":[4],"significant":[5],"advantages":[6],"in":[7],"design":[8],"flexibility":[9],"and":[10,21,82,108,116],"material":[11],"efficiency,":[12],"yet":[13],"industrial":[14],"adoption":[15],"is":[16,105],"limited":[17],"by":[18],"process":[19],"instability":[20],"the":[22,32,75,90,97,103,118],"complexity":[23],"of":[24,77],"integrating":[25],"machine":[26],"learning.":[27],"To":[28],"bridge":[29],"this":[30,88],"gap,":[31],"I-Form":[33],"Centre":[34],"for":[35,120],"Advanced":[36],"has":[38],"developed":[39],"a":[40,49,65],"novel":[41],"recommender":[42],"system":[43,54,91],"that":[44,102],"represents":[45],"MAM":[46],"processes":[47],"as":[48],"real-time":[50],"knowledge":[51,63,80],"graph.":[52],"This":[53,111],"leverages":[55],"formal":[56],"methods,":[57],"specifically,":[58],"logics,":[59],"to":[60,72],"express":[61],"operator":[62,85,114],"about":[64,74],"manufacturing":[66],"process.":[67],"These":[68],"rules":[69],"are":[70],"used":[71],"reason":[73],"state":[76],"an":[78],"in-process":[79],"graph":[81],"generate":[83],"actionable":[84],"recommendations.":[86],"In":[87],"way,":[89],"translates":[92],"complex":[93],"data-driven":[94],"insights":[95],"into":[96],"operator\u2019s":[98],"domain":[99],"vocabulary,":[100],"ensuring":[101],"logic":[104],"both":[106],"deterministic":[107],"trivially":[109],"explainable.":[110],"approach":[112],"builds":[113],"confidence":[115],"removes":[117],"need":[119],"deep":[121],"data":[122],"science":[123],"expertise.":[124]},"counts_by_year":[],"updated_date":"2026-08-12T21:12:35.861297","created_date":"2026-02-19T00:00:00"}