{"id":"https://openalex.org/W2034766600","doi":"https://doi.org/10.1145/2790449.2790522","title":"Debugging of wrong and missing answers for datalog programs with constraint handling rules","display_name":"Debugging of wrong and missing answers for datalog programs with constraint handling rules","publication_year":2015,"publication_date":"2015-06-29","ids":{"openalex":"https://openalex.org/W2034766600","doi":"https://doi.org/10.1145/2790449.2790522","mag":"2034766600"},"language":"en","primary_location":{"id":"doi:10.1145/2790449.2790522","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2790449.2790522","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming","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/A5101687567","display_name":"Rafael Caballero","orcid":"https://orcid.org/0000-0001-8181-5532"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Rafael Caballero","raw_affiliation_strings":["Universidad Complutense de Madrid (UCM)","Universidad Complutense de Madrid (ucm)"],"affiliations":[{"raw_affiliation_string":"Universidad Complutense de Madrid (UCM)","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Universidad Complutense de Madrid (ucm)","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038262142","display_name":"Yolanda Garc\u00eda-Ruiz","orcid":null},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Yolanda Garc\u00eda-Ruiz","raw_affiliation_strings":["Universidad Complutense de Madrid (UCM)","Universidad Complutense de Madrid (ucm)"],"affiliations":[{"raw_affiliation_string":"Universidad Complutense de Madrid (UCM)","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Universidad Complutense de Madrid (ucm)","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046988140","display_name":"Fernando S\u00e1enz-P\u00e9rez","orcid":"https://orcid.org/0000-0001-6075-4398"},"institutions":[{"id":"https://openalex.org/I4210147268","display_name":"Usibelli Coal Mine (United States)","ror":"https://ror.org/04axzyr33","country_code":"US","type":"company","lineage":["https://openalex.org/I4210147268"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Fernando S\u00e1enz-P\u00e9rez","raw_affiliation_strings":["UCM"],"affiliations":[{"raw_affiliation_string":"UCM","institution_ids":["https://openalex.org/I4210147268"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101687567"],"corresponding_institution_ids":["https://openalex.org/I121748325"],"apc_list":null,"apc_paid":null,"fwci":1.1061,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.792948,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"55","last_page":"66"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9958999752998352,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9958999752998352,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9948999881744385,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9902999997138977,"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/debugger","display_name":"Debugger","score":0.9838567972183228},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.9401999711990356},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.9245222806930542},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8679227828979492},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8341958522796631},{"id":"https://openalex.org/keywords/algorithmic-program-debugging","display_name":"Algorithmic program debugging","score":0.8243153095245361},{"id":"https://openalex.org/keywords/deductive-database","display_name":"Deductive database","score":0.5627017617225647},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.5385912656784058},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.438416987657547},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.43756788969039917},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43142229318618774},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4213674068450928},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3490489721298218}],"concepts":[{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.9838567972183228},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9401999711990356},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9245222806930542},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8679227828979492},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8341958522796631},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.8243153095245361},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.5627017617225647},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.5385912656784058},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.438416987657547},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.43756788969039917},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43142229318618774},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4213674068450928},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3490489721298218},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2790449.2790522","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2790449.2790522","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6299999952316284}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W303139982","https://openalex.org/W325479143","https://openalex.org/W1502641483","https://openalex.org/W1509428113","https://openalex.org/W1514468887","https://openalex.org/W1522278016","https://openalex.org/W1532454703","https://openalex.org/W1556735226","https://openalex.org/W1575308494","https://openalex.org/W1590360882","https://openalex.org/W1600055947","https://openalex.org/W1972185528","https://openalex.org/W2044701300","https://openalex.org/W2098347737","https://openalex.org/W2111353076","https://openalex.org/W2127948899","https://openalex.org/W2155882070","https://openalex.org/W2158284198","https://openalex.org/W2163964352","https://openalex.org/W2196831625","https://openalex.org/W2293299776","https://openalex.org/W2570710533","https://openalex.org/W6610773549"],"related_works":["https://openalex.org/W1565767456","https://openalex.org/W4242285398","https://openalex.org/W4387146963","https://openalex.org/W79246384","https://openalex.org/W2593015871","https://openalex.org/W2034766600","https://openalex.org/W2986627701","https://openalex.org/W2124217695","https://openalex.org/W4387667008","https://openalex.org/W1600055947"],"abstract_inverted_index":{"This":[0,110],"paper":[1],"presents":[2],"a":[3,92,147],"proposal":[4],"for":[5,114],"debugging":[6,31,54,68,126],"deductive":[7,62],"database":[8,63],"programs.":[9],"Although":[10],"inspired":[11],"in":[12,35,141,146,155],"the":[13,20,50,58,61,72,80,85,99,103,116,125,128,132,137,142,153,159,162,176],"logic":[14,36],"programming":[15],"paradigm,":[16],"these":[17],"programs":[18],"have":[19],"particularity":[21],"of":[22,26,52,60,87,105,122,144,161,175],"involving":[23],"large":[24],"sets":[25],"data.":[27],"In":[28],"this":[29],"context,":[30],"tools":[32],"employed":[33,113],"usually":[34],"programs,":[37],"such":[38],"as":[39,164,166,173],"traditional":[40],"trace":[41],"debuggers,":[42],"become":[43],"impractical.":[44],"Our":[45],"technique":[46],"is":[47,94,112,139],"based":[48],"on":[49],"principles":[51],"algorithmic":[53],"but":[55],"adapted":[56],"to":[57,101,157],"particularities":[59],"query":[64],"language":[65],"Datalog.":[66],"The":[67,96,168],"process":[69,127],"starts":[70],"when":[71],"user":[73,100,133],"detects":[74],"an":[75],"initial":[76],"erroneous":[77],"result.":[78],"Then,":[79],"debugger":[81,97,138,169],"asks":[82],"questions":[83,118],"about":[84],"validity/nonvalidity":[86],"some":[88],"intermediate":[89],"results":[90],"until":[91],"bug":[93],"located.":[95],"allows":[98],"report":[102],"existence":[104],"wrong":[106],"or":[107,134],"missing":[108],"answers.":[109],"information":[111,129],"simplifying":[115],"following":[117],"using":[119],"different":[120],"forms":[121],"slicing.":[123],"During":[124],"provided":[130],"by":[131,136],"inferred":[135],"stored":[140],"form":[143],"constraints":[145],"CHR":[148],"program":[149],"that":[150],"combines":[151],"all":[152],"data":[154],"order":[156],"detect":[158],"source":[160],"error":[163],"soon":[165],"possible.":[167],"has":[170],"been":[171],"implemented":[172],"part":[174],"Datalog":[177],"system":[178],"DES.":[179]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}