{"id":"https://openalex.org/W2042771461","doi":"https://doi.org/10.1145/1297658.1297665","title":"Outlier detection by logic programming","display_name":"Outlier detection by logic programming","publication_year":2007,"publication_date":"2007-12-01","ids":{"openalex":"https://openalex.org/W2042771461","doi":"https://doi.org/10.1145/1297658.1297665","mag":"2042771461"},"language":"en","primary_location":{"id":"doi:10.1145/1297658.1297665","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1297658.1297665","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","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/A5075369704","display_name":"Fabrizio Angiulli","orcid":"https://orcid.org/0000-0002-9860-7569"},"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":true,"raw_author_name":"Fabrizio Angiulli","raw_affiliation_strings":["University of Calabria, Rende (CS), Italy"],"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende (CS), Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"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":["University of Calabria, Rende (CS), Italy"],"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende (CS), Italy","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":["University of Calabria, Rende (CS), Italy"],"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende (CS), Italy","institution_ids":["https://openalex.org/I45204951"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5075369704"],"corresponding_institution_ids":["https://openalex.org/I45204951"],"apc_list":null,"apc_paid":null,"fwci":5.32,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.95365854,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"9","issue":"1","first_page":"7","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9937999844551086,"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.9937999844551086,"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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.989300012588501,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.974399983882904,"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/anomaly-detection","display_name":"Anomaly detection","score":0.7878612279891968},{"id":"https://openalex.org/keywords/outlier","display_name":"Outlier","score":0.7151905298233032},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6522586941719055},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5781246423721313},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.4914635419845581},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.47319719195365906},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.43638020753860474},{"id":"https://openalex.org/keywords/population","display_name":"Population","score":0.42900392413139343},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4231507182121277},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3639119863510132},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21893543004989624}],"concepts":[{"id":"https://openalex.org/C739882","wikidata":"https://www.wikidata.org/wiki/Q3560506","display_name":"Anomaly detection","level":2,"score":0.7878612279891968},{"id":"https://openalex.org/C79337645","wikidata":"https://www.wikidata.org/wiki/Q779824","display_name":"Outlier","level":2,"score":0.7151905298233032},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6522586941719055},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5781246423721313},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.4914635419845581},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.47319719195365906},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43638020753860474},{"id":"https://openalex.org/C2908647359","wikidata":"https://www.wikidata.org/wiki/Q2625603","display_name":"Population","level":2,"score":0.42900392413139343},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4231507182121277},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3639119863510132},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21893543004989624},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C149923435","wikidata":"https://www.wikidata.org/wiki/Q37732","display_name":"Demography","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/1297658.1297665","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1297658.1297665","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.101.9068","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.9068","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://tocl.acm.org/accepted/253angiulli.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.103.7203","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.7203","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.icar.cnr.it/angiulli/papers/jelia2004full.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.341.6412","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.6412","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/cs/0409019v1.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.342.8290","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.8290","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/cs/0409019v2.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":113,"referenced_works":["https://openalex.org/W100105580","https://openalex.org/W105821165","https://openalex.org/W108833919","https://openalex.org/W116906878","https://openalex.org/W142467014","https://openalex.org/W1482555259","https://openalex.org/W1484786551","https://openalex.org/W1486547030","https://openalex.org/W1487569371","https://openalex.org/W1488364561","https://openalex.org/W1500989946","https://openalex.org/W1506378440","https://openalex.org/W1509180139","https://openalex.org/W1517113043","https://openalex.org/W1520957705","https://openalex.org/W1528214484","https://openalex.org/W1530232915","https://openalex.org/W1540024383","https://openalex.org/W1545302662","https://openalex.org/W1552339598","https://openalex.org/W1552909908","https://openalex.org/W1554085250","https://openalex.org/W1556344493","https://openalex.org/W1558832481","https://openalex.org/W1565838812","https://openalex.org/W1567176099","https://openalex.org/W1569903868","https://openalex.org/W1575798436","https://openalex.org/W1582116930","https://openalex.org/W1585686429","https://openalex.org/W1589487547","https://openalex.org/W1594022926","https://openalex.org/W1594099509","https://openalex.org/W1657296557","https://openalex.org/W1672891595","https://openalex.org/W1732487661","https://openalex.org/W1797873548","https://openalex.org/W1838803811","https://openalex.org/W1964167056","https://openalex.org/W1969965298","https://openalex.org/W1970655212","https://openalex.org/W1976055110","https://openalex.org/W1978685405","https://openalex.org/W1981320906","https://openalex.org/W1983382292","https://openalex.org/W1989783863","https://openalex.org/W1992673035","https://openalex.org/W2003192160","https://openalex.org/W2005465900","https://openalex.org/W2006912660","https://openalex.org/W2008999657","https://openalex.org/W2011039300","https://openalex.org/W2014459399","https://openalex.org/W2021675560","https://openalex.org/W2023141722","https://openalex.org/W2026565317","https://openalex.org/W2043226702","https://openalex.org/W2046191606","https://openalex.org/W2057234686","https://openalex.org/W2060533443","https://openalex.org/W2060669333","https://openalex.org/W2061122559","https://openalex.org/W2061240327","https://openalex.org/W2072181151","https://openalex.org/W2075056819","https://openalex.org/W2076698873","https://openalex.org/W2077518845","https://openalex.org/W2077949207","https://openalex.org/W2082732197","https://openalex.org/W2085022454","https://openalex.org/W2092911568","https://openalex.org/W2100657934","https://openalex.org/W2101003484","https://openalex.org/W2105072737","https://openalex.org/W2105197521","https://openalex.org/W2106614716","https://openalex.org/W2108309071","https://openalex.org/W2110993096","https://openalex.org/W2112965492","https://openalex.org/W2113065536","https://openalex.org/W2124536999","https://openalex.org/W2125336114","https://openalex.org/W2129281431","https://openalex.org/W2132750992","https://openalex.org/W2132776097","https://openalex.org/W2139003762","https://openalex.org/W2141496499","https://openalex.org/W2144182447","https://openalex.org/W2144386448","https://openalex.org/W2149420462","https://openalex.org/W2150147654","https://openalex.org/W2155322595","https://openalex.org/W2170314592","https://openalex.org/W2278970812","https://openalex.org/W2331052961","https://openalex.org/W2346933546","https://openalex.org/W2404506223","https://openalex.org/W2478547901","https://openalex.org/W2602753196","https://openalex.org/W2608239929","https://openalex.org/W2748837517","https://openalex.org/W2878795730","https://openalex.org/W2884728082","https://openalex.org/W2899766884","https://openalex.org/W3021191074","https://openalex.org/W4253461361","https://openalex.org/W4254182148","https://openalex.org/W4285719527","https://openalex.org/W6604090038","https://openalex.org/W6634468986","https://openalex.org/W6637758597","https://openalex.org/W6682919253","https://openalex.org/W6990023262"],"related_works":["https://openalex.org/W2120204135","https://openalex.org/W1796293478","https://openalex.org/W174435416","https://openalex.org/W2168276503","https://openalex.org/W2499612753","https://openalex.org/W3111802945","https://openalex.org/W2946096271","https://openalex.org/W2295423552","https://openalex.org/W3107369729","https://openalex.org/W2991618286"],"abstract_inverted_index":{"The":[0,114,135,167],"development":[1],"of":[2,36,68,87,95,111,121,127,150,159,170,218],"effective":[3,213],"knowledge":[4],"discovery":[5],"techniques":[6,128],"has":[7,23],"become":[8],"a":[9,42,64,139],"very":[10],"active":[11],"research":[12],"area":[13],"in":[14,25,51,79,92,103,108,153,162,175,186],"recent":[15],"years":[16],"due":[17],"to":[18,47,56,76,144],"the":[19,80,85,93,109,148,157,187],"important":[20],"impact":[21],"it":[22],"had":[24],"several":[26],"relevant":[27],"application":[28],"domains.":[29],"One":[30],"interesting":[31],"task":[32],"therein":[33],"is":[34,61,89,119,138,165,179],"that":[35,100,120,194],"singling":[37],"out":[38],"anomalous":[39],"individuals":[40,72],"from":[41],"given":[43],"population,":[44],"for":[45,129,185],"example,":[46],"detect":[48],"rare":[49],"events":[50],"time-series":[52],"analysis":[53],"settings,":[54],"or":[55],"identify":[57],"objects":[58],"whose":[59],"behavior":[60],"deviant":[62],"w.r.t.":[63],"codified":[65],"standard":[66],"set":[67],"rules.":[69],"Such":[70],"exceptional":[71],"are":[73,132,192],"usually":[74],"referred":[75],"as":[77],"outliers":[78,151],"literature.":[81],"In":[82],"this":[83,176],"article,":[84],"concept":[86],"outlier":[88,130,163,171,197,211],"formally":[90],"stated":[91],"context":[94,110],"knowledge-based":[96],"systems,":[97],"by":[98],"generalizing":[99],"originally":[101],"proposed":[102,136,193],"Angiulli":[104],"et":[105],"al.":[106],"[2003]":[107],"default":[112],"theories.":[113],"chosen":[115],"formal":[116],"framework":[117],"here":[118],"logic":[122,154],"programming,":[123],"wherein":[124],"potential":[125],"applications":[126],"detection":[131,164,172,198],"thoroughly":[133,181],"discussed.":[134],"formalization":[137],"novel":[140,177],"one":[141],"and":[142,183,214],"helps":[143],"shed":[145],"light":[146],"on":[147,216],"nature":[149],"occurring":[152],"bases.":[155],"Also":[156],"exploitation":[158],"minimality":[160],"criteria":[161],"illustrated.":[166],"computational":[168],"complexity":[169],"problems":[173],"arising":[174],"setting":[178],"also":[180],"investigated":[182],"accounted":[184],"paper.":[188],"Finally,":[189],"rewriting":[190],"algorithms":[191],"transform":[195],"any":[196,219],"problem":[199,204],"into":[200],"an":[201],"equivalent":[202],"inference":[203],"under":[205],"stable":[206,220],"model":[207,221],"semantics,":[208],"thereby":[209],"making":[210],"computation":[212],"realizable":[215],"top":[217],"solver.":[222]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}