{"id":"https://openalex.org/W1830411459","doi":"https://doi.org/10.1007/978-0-387-34747-9_5","title":"Detecting and Repairing Anomalous Evolutions in Noisy Environments: Logic Programming Formalization and Complexity Results","display_name":"Detecting and Repairing Anomalous Evolutions in Noisy Environments: Logic Programming Formalization and Complexity Results","publication_year":2006,"publication_date":"2006-10-08","ids":{"openalex":"https://openalex.org/W1830411459","doi":"https://doi.org/10.1007/978-0-387-34747-9_5","mag":"1830411459"},"language":"en","primary_location":{"id":"doi:10.1007/978-0-387-34747-9_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-0-387-34747-9_5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-0-387-34747-9_5.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-0-387-34747-9_5.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075369704","display_name":"Fabrizio Angiulli","orcid":"https://orcid.org/0000-0002-9860-7569"},"institutions":[{"id":"https://openalex.org/I4210137435","display_name":"Interactions, Corpus, Apprentissages, Repr\u00e9sentations","ror":"https://ror.org/04mn0nr69","country_code":"FR","type":"facility","lineage":["https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I188626449","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210137435"]},{"id":"https://openalex.org/I3005160176","display_name":"Institute for High Performance Computing and Networking","ror":"https://ror.org/04r5fge26","country_code":"IT","type":"facility","lineage":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]}],"countries":["FR","IT"],"is_corresponding":true,"raw_author_name":"Fabrizio Angiulli","raw_affiliation_strings":["ICAR-CNR, Rende, Italy","ICAR, CNR"],"affiliations":[{"raw_affiliation_string":"ICAR-CNR, Rende, Italy","institution_ids":["https://openalex.org/I3005160176"]},{"raw_affiliation_string":"ICAR, CNR","institution_ids":["https://openalex.org/I4210137435"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087340443","display_name":"Gianluigi Greco","orcid":"https://orcid.org/0000-0002-5799-6828"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianluigi Greco","raw_affiliation_strings":["Dept. of Mathematics, Univ. della Calabria, Rende, Italy","Univ. della Calabria"],"affiliations":[{"raw_affiliation_string":"Dept. of Mathematics, Univ. della Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"Univ. della Calabria","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055479421","display_name":"Luigi Palopoli","orcid":"https://orcid.org/0000-0003-4915-5137"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luigi Palopoli","raw_affiliation_strings":["DEIS, Univ. della Calabria, Rende, Italy","Univ. della Calabria"],"affiliations":[{"raw_affiliation_string":"DEIS, Univ. della Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"Univ. della Calabria","institution_ids":["https://openalex.org/I45204951"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5075369704"],"corresponding_institution_ids":["https://openalex.org/I3005160176","https://openalex.org/I4210137435"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17366503,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"41","last_page":"50"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9905999898910522,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9864000082015991,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.7319389581680298},{"id":"https://openalex.org/keywords/anomaly-detection","display_name":"Anomaly detection","score":0.6844282150268555},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.67212975025177},{"id":"https://openalex.org/keywords/anomaly","display_name":"Anomaly (physics)","score":0.6258796453475952},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.603556752204895},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5572293996810913},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40581315755844116},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39310216903686523},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.34740567207336426},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.34312182664871216}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7319389581680298},{"id":"https://openalex.org/C739882","wikidata":"https://www.wikidata.org/wiki/Q3560506","display_name":"Anomaly detection","level":2,"score":0.6844282150268555},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.67212975025177},{"id":"https://openalex.org/C12997251","wikidata":"https://www.wikidata.org/wiki/Q567560","display_name":"Anomaly (physics)","level":2,"score":0.6258796453475952},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.603556752204895},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5572293996810913},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40581315755844116},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39310216903686523},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.34740567207336426},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.34312182664871216},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C26873012","wikidata":"https://www.wikidata.org/wiki/Q214781","display_name":"Condensed matter physics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-0-387-34747-9_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-0-387-34747-9_5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-0-387-34747-9_5.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.895.7444","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.895.7444","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://sedici.unlp.edu.ar/bitstream/handle/10915/23854/Documento_completo.pdf?sequence%3D1","raw_type":"text"},{"id":"pmh:oai:sedici.unlp.edu.ar:10915/23854","is_oa":true,"landing_page_url":"http://hdl.handle.net/10915/23854","pdf_url":null,"source":{"id":"https://openalex.org/S4306400803","display_name":"El Servicio de Difusi\u00f3n de la Creaci\u00f3n Intelectual (National University of La Plata)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I874386039","host_organization_name":"Universidad Nacional de La Plata","host_organization_lineage":["https://openalex.org/I874386039"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Objeto de conferencia"}],"best_oa_location":{"id":"doi:10.1007/978-0-387-34747-9_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-0-387-34747-9_5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-0-387-34747-9_5.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1830411459.pdf","grobid_xml":"https://content.openalex.org/works/W1830411459.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W3087254","https://openalex.org/W18493798","https://openalex.org/W1482555259","https://openalex.org/W1498731127","https://openalex.org/W1516981545","https://openalex.org/W1520957705","https://openalex.org/W1566007944","https://openalex.org/W1583896216","https://openalex.org/W1594022926","https://openalex.org/W1782386753","https://openalex.org/W1800916125","https://openalex.org/W1976055110","https://openalex.org/W1980251859","https://openalex.org/W2009810952","https://openalex.org/W2025008902","https://openalex.org/W2048746006","https://openalex.org/W2061504687","https://openalex.org/W2064134784","https://openalex.org/W2068829386","https://openalex.org/W2072046078","https://openalex.org/W2076698873","https://openalex.org/W2116509046","https://openalex.org/W2120848913","https://openalex.org/W2135989067","https://openalex.org/W2398854682","https://openalex.org/W2569901565","https://openalex.org/W3098378096","https://openalex.org/W6656687278"],"related_works":["https://openalex.org/W2806741695","https://openalex.org/W3210364259","https://openalex.org/W4290647774","https://openalex.org/W3189286258","https://openalex.org/W3207797160","https://openalex.org/W4300558037","https://openalex.org/W2667207928","https://openalex.org/W2912112202","https://openalex.org/W4377864969","https://openalex.org/W3030345572"],"abstract_inverted_index":{"SummaryIn":[0],"systems":[1],"where":[2,76],"agents":[3,50],"are":[4,155],"required":[5],"to":[6,19,40,51,136],"interact":[7],"with":[8,99],"a":[9,57,74,100,119,137],"partially":[10],"known":[11],"and":[12,129,151],"dynamic":[13],"world,":[14,116],"sensors":[15,27],"can":[16],"be":[17,29,61],"used":[18],"obtain":[20],"further":[21],"knowledge":[22,113],"about":[23,87,114],"the":[24,66,88,115,130,145],"environment.":[25],"However,":[26],"may":[28,34,48],"unreliable,":[30],"that":[31,59,94],"is,":[32],"they":[33,47],"deliver":[35],"wrong":[36,53],"information":[37],"(due,":[38],"e.g.,":[39],"hardware":[41],"or":[42,80],"software":[43],"malfunctioning)":[44],"and,":[45],"consequently,":[46],"cause":[49],"take":[52],"decisions,":[54],"which":[55],"is":[56,83,97],"scenario":[58],"should":[60],"avoided.":[62],"The":[63],"paper":[64],"considers":[65],"problem":[67],"of":[68,90,121,133,140,147],"reasoning":[69],"in":[70,73,85,126],"noisy":[71],"environments":[72],"setting":[75],"no":[77],"(either":[78],"certain":[79],"probabilistic)":[81],"data":[82,128],"available":[84],"advance":[86],"reliability":[89],"sensors.":[91],"Therefore,":[92],"assuming":[93],"each":[95],"agent":[96,134],"equipped":[98],"background":[101],"theory":[102],"(in":[103],"our":[104],"setting,":[105],"an":[106,123],"extended":[107],"logic":[108],"program)":[109],"encoding":[110],"its":[111],"general":[112],"we":[117],"define":[118],"concept":[120,132],"detecting":[122],"anomaly":[124,149,152],"perceived":[125],"sensor":[127],"related":[131],"recovering":[135],"coherent":[138],"status":[139],"information.":[141],"In":[142],"this":[143],"context,":[144],"complexities":[146],"various":[148],"detection":[150],"recovery":[153],"problems":[154],"studied.":[156]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}