{"id":"https://openalex.org/W74874319","doi":null,"title":"Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs.","display_name":"Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs.","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W74874319","mag":"74874319"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.116.4722","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.4722","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dimi.uniud.it/~comini/Papers/EffDetIncErr/EffDetIncErr95.pdf.gz","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5051344054","display_name":"Marco Comini","orcid":"https://orcid.org/0000-0002-8069-3411","observed_orcids":["https://orcid.org/0000-0002-8069-3411"]},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Comini","raw_affiliation_strings":["University of Pisa,#TAB#"],"raw_orcid":"https://orcid.org/0000-0002-8069-3411","affiliations":[{"raw_affiliation_string":"University of Pisa,#TAB#","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110006157","display_name":"Giorgio Levi","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giorgio Levi","raw_affiliation_strings":["University of Pisa,#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pisa,#TAB#","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062389131","display_name":"Giuliana Vitiello","orcid":"https://orcid.org/0000-0001-7130-996X","observed_orcids":["https://orcid.org/0000-0001-7130-996X"]},"institutions":[{"id":"https://openalex.org/I131729948","display_name":"University of Salerno","ror":"https://ror.org/0192m2k53","country_code":"IT","type":"education","lineage":["https://openalex.org/I131729948"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuliana Vitiello","raw_affiliation_strings":["University of Salerno"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Salerno","institution_ids":["https://openalex.org/I131729948"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.1769,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.86821489,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"159","last_page":"174"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.5360999703407288,"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.5360999703407288,"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.3019999861717224,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.11069999635219574,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/logic-programs","display_name":"logic programs","score":0.9150000214576721},{"id":"https://openalex.org/keywords/observables","display_name":"observables","score":0.6859999895095825},{"id":"https://openalex.org/keywords/declarative-debugging","display_name":"declarative debugging","score":0.8980000019073486},{"id":"https://openalex.org/keywords/program-specification","display_name":"program specification","score":0.30799999833106995}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8862882852554321},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.8000940084457397},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7676833868026733},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7456446290016174},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6494830846786499},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.6406338810920715},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.6315048336982727},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6208568811416626},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5647547245025635},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.506916344165802},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43886998295783997},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34760504961013794},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11416387557983398},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"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/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.116.4722","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.4722","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dimi.uniud.it/~comini/Papers/EffDetIncErr/EffDetIncErr95.pdf.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.48.1625","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.1625","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://strudel.di.unipi.it/papers/./sub-25000-900427045/EffDetIncErr95.ps.gz","raw_type":"text"},{"id":"mag:74874319","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/aadebug/aadebug95.html#CominiLV95","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W73989821","https://openalex.org/W200735450","https://openalex.org/W1480557038","https://openalex.org/W1514468887","https://openalex.org/W1541434994","https://openalex.org/W1544975770","https://openalex.org/W1605195718","https://openalex.org/W1972185528","https://openalex.org/W2002343112","https://openalex.org/W2014764321","https://openalex.org/W2023578426","https://openalex.org/W2027026606","https://openalex.org/W2036292005","https://openalex.org/W2042386232","https://openalex.org/W2043100293","https://openalex.org/W2054839338","https://openalex.org/W2055807110","https://openalex.org/W2081810835","https://openalex.org/W2089111669","https://openalex.org/W2108911687","https://openalex.org/W2120869002","https://openalex.org/W2120913343","https://openalex.org/W2165069483","https://openalex.org/W2394611921"],"related_works":["https://openalex.org/W1804654308","https://openalex.org/W7095269543","https://openalex.org/W7100199743","https://openalex.org/W2042386232","https://openalex.org/W1890875952","https://openalex.org/W2000890615","https://openalex.org/W7095458168","https://openalex.org/W2059196002","https://openalex.org/W1498037409","https://openalex.org/W7100067235"],"abstract_inverted_index":{"Abstract.":[0],"Abstract":[1],"debugging":[2],"of":[3,9,17,26,46,89,115],"logic":[4],"programs":[5,90],"is":[6,41,56,78],"an":[7],"extension":[8],"declarative":[10],"debugging,":[11],"where":[12],"we":[13],"deal":[14],"with":[15],"specifications":[16],"operational":[18],"properties,":[19],"which":[20,40],"can":[21,100],"be":[22,59,101],"characterized":[23],"as":[24],"abstractions":[25],"SLD-trees":[27],"(observables).":[28],"We":[29,72,93],"introduce":[30],"a":[31,69,86,112],"simple":[32],"and":[33,61],"efficient":[34],"method":[35,55],"to":[36,51,58,85,111],"detect":[37],"incompleteness":[38],"errors,":[39],"based":[42],"on":[43],"the":[44,47,52,64,82,97,108],"application":[45],"immediate":[48,65],"consequences":[49,66],"operator":[50,67],"specification.":[53],"The":[54],"proved":[57,102],"correct":[60],"complete":[62],"whenever":[63],"has":[68],"unique":[70],"fixpoint.":[71],"then":[73],"prove":[74],"that":[75,96],"this":[76],"property":[77,99],"always":[79],"satisfied":[80],"if":[81,107],"program":[83,105],"belongs":[84,110],"large":[87],"class":[88,114],"(acceptable":[91],"programs).":[92],"finally":[94],"show":[95],"same":[98],"for":[103],"any":[104],"P,":[106],"observable":[109],"suitable":[113],"observables.":[116],"1":[117]},"counts_by_year":[],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}