{"id":"https://openalex.org/W4387444873","doi":"https://doi.org/10.1109/fdl59689.2023.10272095","title":"Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper","display_name":"Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper","publication_year":2023,"publication_date":"2023-09-13","ids":{"openalex":"https://openalex.org/W4387444873","doi":"https://doi.org/10.1109/fdl59689.2023.10272095"},"language":"en","primary_location":{"id":"doi:10.1109/fdl59689.2023.10272095","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl59689.2023.10272095","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 Forum on Specification & Design Languages (FDL)","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/A5000042469","display_name":"Luigi Capogrosso","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Luigi Capogrosso","raw_affiliation_strings":["University of Verona,Dept. of Engineering for Innovation Medicine,Italy","Dept. of Engineering for Innovation Medicine, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Dept. of Engineering for Innovation Medicine, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006895284","display_name":"Alessio Mascolini","orcid":"https://orcid.org/0000-0003-4213-7729"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alessio Mascolini","raw_affiliation_strings":["Polytechnic of Turin,Dept. of Control and Computer Engineering,Italy","Dept. of Control and Computer Engineering, Polytechnic of Turin, Italy"],"affiliations":[{"raw_affiliation_string":"Polytechnic of Turin,Dept. of Control and Computer Engineering,Italy","institution_ids":[]},{"raw_affiliation_string":"Dept. of Control and Computer Engineering, Polytechnic of Turin, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033008214","display_name":"Federico Girella","orcid":"https://orcid.org/0009-0001-6400-8859"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Federico Girella","raw_affiliation_strings":["University of Verona,Dept. of Engineering for Innovation Medicine,Italy","Dept. of Engineering for Innovation Medicine, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Dept. of Engineering for Innovation Medicine, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060453305","display_name":"Geri Skenderi","orcid":"https://orcid.org/0000-0001-9968-7727"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Geri Skenderi","raw_affiliation_strings":["University of Verona,Dept. of Engineering for Innovation Medicine,Italy","Dept. of Engineering for Innovation Medicine, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Dept. of Engineering for Innovation Medicine, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034861698","display_name":"Sebastiano Gaiardelli","orcid":"https://orcid.org/0000-0002-9451-1957"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Sebastiano Gaiardelli","raw_affiliation_strings":["University of Verona,Dept. of Engineering for Innovation Medicine,Italy","Dept. of Engineering for Innovation Medicine, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Dept. of Engineering for Innovation Medicine, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036512005","display_name":"Nicola Dall\u2019Ora","orcid":"https://orcid.org/0000-0003-0656-9786"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Nicola Dall'Ora","raw_affiliation_strings":["University of Verona,Dept. of Engineering for Innovation Medicine,Italy","Dept. of Engineering for Innovation Medicine, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Dept. of Engineering for Innovation Medicine, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031161800","display_name":"Francesco Ponzio","orcid":"https://orcid.org/0000-0002-8472-8247"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Francesco Ponzio","raw_affiliation_strings":["Polytechnic of Turin,Dept. of Regional and Urban Studies and Planning,Italy","Dept. of Regional and Urban Studies and Planning, Polytechnic of Turin, Italy"],"affiliations":[{"raw_affiliation_string":"Polytechnic of Turin,Dept. of Regional and Urban Studies and Planning,Italy","institution_ids":[]},{"raw_affiliation_string":"Dept. of Regional and Urban Studies and Planning, Polytechnic of Turin, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068919830","display_name":"Enrico Fraccaroli","orcid":"https://orcid.org/0000-0002-9739-6501"},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Enrico Fraccaroli","raw_affiliation_strings":["University of North Carolina at Chapel Hill,Dept. of Computer Science,USA","Dept. of Computer Science, University of North Carolina at Chapel Hill, USA"],"affiliations":[{"raw_affiliation_string":"University of North Carolina at Chapel Hill,Dept. of Computer Science,USA","institution_ids":["https://openalex.org/I114027177"]},{"raw_affiliation_string":"Dept. of Computer Science, University of North Carolina at Chapel Hill, USA","institution_ids":["https://openalex.org/I114027177"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028610334","display_name":"Santa Di Cataldo","orcid":"https://orcid.org/0000-0002-6239-8945"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Santa Di Cataldo","raw_affiliation_strings":["Polytechnic of Turin,Dept. of Control and Computer Engineering,Italy","Dept. of Control and Computer Engineering, Polytechnic of Turin, Italy"],"affiliations":[{"raw_affiliation_string":"Polytechnic of Turin,Dept. of Control and Computer Engineering,Italy","institution_ids":[]},{"raw_affiliation_string":"Dept. of Control and Computer Engineering, Polytechnic of Turin, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070652829","display_name":"Sara Vinco","orcid":"https://orcid.org/0000-0001-9666-5194"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sara Vinco","raw_affiliation_strings":["Polytechnic of Turin,Dept. of Control and Computer Engineering,Italy","Dept. of Control and Computer Engineering, Polytechnic of Turin, Italy"],"affiliations":[{"raw_affiliation_string":"Polytechnic of Turin,Dept. of Control and Computer Engineering,Italy","institution_ids":[]},{"raw_affiliation_string":"Dept. of Control and Computer Engineering, Polytechnic of Turin, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005432629","display_name":"Enrico Macii","orcid":"https://orcid.org/0000-0001-9046-5618"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Enrico Macii","raw_affiliation_strings":["Polytechnic of Turin,Dept. of Regional and Urban Studies and Planning,Italy","Dept. of Regional and Urban Studies and Planning, Polytechnic of Turin, Italy"],"affiliations":[{"raw_affiliation_string":"Polytechnic of Turin,Dept. of Regional and Urban Studies and Planning,Italy","institution_ids":[]},{"raw_affiliation_string":"Dept. of Regional and Urban Studies and Planning, Polytechnic of Turin, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040302302","display_name":"Franco Fummi","orcid":"https://orcid.org/0000-0002-4404-5791"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Fummi","raw_affiliation_strings":["University of Verona,Dept. of Engineering for Innovation Medicine,Italy","Dept. of Engineering for Innovation Medicine, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Dept. of Engineering for Innovation Medicine, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033671063","display_name":"Marco Cristani","orcid":"https://orcid.org/0000-0002-0523-6042"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Cristani","raw_affiliation_strings":["University of Verona,Dept. of Engineering for Innovation Medicine,Italy","Dept. of Engineering for Innovation Medicine, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Dept. of Engineering for Innovation Medicine, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":13,"corresponding_author_ids":["https://openalex.org/A5000042469"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":0.8741,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.79094697,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9977999925613403,"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"}},"topics":[{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9977999925613403,"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"}},{"id":"https://openalex.org/T12859","display_name":"Cell Image Analysis Techniques","score":0.9487000107765198,"subfield":{"id":"https://openalex.org/subfields/1304","display_name":"Biophysics"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12205","display_name":"Time Series Analysis and Forecasting","score":0.944599986076355,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.6731018424034119},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.6644611954689026},{"id":"https://openalex.org/keywords/anomaly-detection","display_name":"Anomaly detection","score":0.6208815574645996},{"id":"https://openalex.org/keywords/interdependence","display_name":"Interdependence","score":0.6048186421394348},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5786430239677429},{"id":"https://openalex.org/keywords/industrial-engineering","display_name":"Industrial engineering","score":0.5722557306289673},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5407915115356445},{"id":"https://openalex.org/keywords/manufacturing","display_name":"Manufacturing","score":0.4677310883998871},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.38455522060394287},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3838382065296173},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2251797616481781},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19999083876609802}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6731018424034119},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6644611954689026},{"id":"https://openalex.org/C739882","wikidata":"https://www.wikidata.org/wiki/Q3560506","display_name":"Anomaly detection","level":2,"score":0.6208815574645996},{"id":"https://openalex.org/C185874996","wikidata":"https://www.wikidata.org/wiki/Q269699","display_name":"Interdependence","level":2,"score":0.6048186421394348},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5786430239677429},{"id":"https://openalex.org/C13736549","wikidata":"https://www.wikidata.org/wiki/Q4489420","display_name":"Industrial engineering","level":1,"score":0.5722557306289673},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5407915115356445},{"id":"https://openalex.org/C175700187","wikidata":"https://www.wikidata.org/wiki/Q187939","display_name":"Manufacturing","level":2,"score":0.4677310883998871},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38455522060394287},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3838382065296173},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2251797616481781},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19999083876609802},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fdl59689.2023.10272095","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl59689.2023.10272095","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 Forum on Specification & Design Languages (FDL)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5799999833106995,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W2122646361","https://openalex.org/W2129069237","https://openalex.org/W2144902422","https://openalex.org/W2811266402","https://openalex.org/W2963167376","https://openalex.org/W3034368386","https://openalex.org/W3036167779","https://openalex.org/W3040266635","https://openalex.org/W3091816306","https://openalex.org/W3135550350","https://openalex.org/W3138154797","https://openalex.org/W3145877409","https://openalex.org/W3200351420","https://openalex.org/W4287077916","https://openalex.org/W4294010056","https://openalex.org/W4319320344","https://openalex.org/W4385801725","https://openalex.org/W4387195417","https://openalex.org/W6681302627","https://openalex.org/W6779823529","https://openalex.org/W6797211245","https://openalex.org/W6842667729","https://openalex.org/W6842762852","https://openalex.org/W6846156640"],"related_works":["https://openalex.org/W2770234245","https://openalex.org/W96612179","https://openalex.org/W4229499248","https://openalex.org/W2566006169","https://openalex.org/W1567818861","https://openalex.org/W2987774938","https://openalex.org/W4256492088","https://openalex.org/W632915154","https://openalex.org/W2055733372","https://openalex.org/W2139079562"],"abstract_inverted_index":{"Industry":[0,33,69],"4.0":[1,34,70],"involves":[2],"the":[3,41,53,81,116,120],"integration":[4,114],"of":[5,43,98,122],"digital":[6],"technologies,":[7],"such":[8],"as":[9],"IoT,":[10],"Big":[11],"Data,":[12],"and":[13,17,23,31,45],"AI,":[14],"into":[15,115],"manufacturing":[16,54,117],"industrial":[18,78],"processes":[19],"to":[20,59],"increase":[21],"efficiency":[22],"productivity.":[24],"As":[25],"these":[26],"technologies":[27],"become":[28,36],"more":[29,37],"interconnected":[30],"interdependent,":[32],"systems":[35],"complex,":[38],"which":[39],"brings":[40],"difficulty":[42],"identifying":[44],"stopping":[46],"anomalies":[47],"that":[48],"may":[49],"cause":[50],"disturbances":[51],"in":[52,68,80],"process.":[55,118],"This":[56],"paper":[57],"aims":[58],"propose":[60,92],"a":[61,73,93],"diffusion-based":[62],"model":[63],"for":[64,106,112],"real-time":[65],"anomaly":[66],"prediction":[67],"processes.":[71],"Using":[72],"neuro-symbolic":[74],"approach,":[75],"we":[76,91],"integrate":[77],"ontologies":[79],"model,":[82],"thereby":[83],"adding":[84],"formal":[85],"knowledge":[86],"on":[87,108],"smart":[88],"manufacturing.":[89],"Finally,":[90],"simple":[94],"yet":[95],"effective":[96],"way":[97],"distilling":[99],"diffusion":[100],"models":[101],"through":[102],"Random":[103],"Fourier":[104],"Features":[105],"deployment":[107],"an":[109],"embedded":[110],"system":[111],"direct":[113],"To":[119],"best":[121],"our":[123],"knowledge,":[124],"this":[125],"approach":[126],"has":[127],"never":[128],"been":[129],"explored":[130],"before.":[131]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}