{"id":"https://openalex.org/W1973475297","doi":"https://doi.org/10.1007/978-3-540-74610-2_23","title":"Automatic Binding-Related Error Diagnosis in Logic Programs","display_name":"Automatic Binding-Related Error Diagnosis in Logic Programs","publication_year":2007,"publication_date":"2007-08-24","ids":{"openalex":"https://openalex.org/W1973475297","doi":"https://doi.org/10.1007/978-3-540-74610-2_23","mag":"1973475297"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-74610-2_23","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74610-2_23","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-29983","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043232032","display_name":"Pawe\u0142 Pietrzak","orcid":"https://orcid.org/0000-0001-5310-264X"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Pawe\u0142 Pietrzak","raw_affiliation_strings":["School of Computer Science, Technical University of Madrid (UPM), \u00a0","School of Computer Science, Technical University of Madrid (UPM),"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, Technical University of Madrid (UPM), \u00a0","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"School of Computer Science, Technical University of Madrid (UPM),","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073531919","display_name":"Manuel V. Hermenegildo","orcid":"https://orcid.org/0000-0002-7583-323X"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]},{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]}],"countries":["ES","US"],"is_corresponding":false,"raw_author_name":"Manuel V. Hermenegildo","raw_affiliation_strings":["Depts. of CS and ECE, University of New Mexico, \u00a0","School of Computer Science, Technical University of Madrid (UPM), \u00a0","Depts. of CS and ECE, University of New Mexico,","School of Computer Science, Technical University of Madrid (UPM),"],"affiliations":[{"raw_affiliation_string":"Depts. of CS and ECE, University of New Mexico, \u00a0","institution_ids":["https://openalex.org/I169521973"]},{"raw_affiliation_string":"School of Computer Science, Technical University of Madrid (UPM), \u00a0","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Depts. of CS and ECE, University of New Mexico,","institution_ids":["https://openalex.org/I169521973"]},{"raw_affiliation_string":"School of Computer Science, Technical University of Madrid (UPM),","institution_ids":["https://openalex.org/I88060688"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5043232032"],"corresponding_institution_ids":["https://openalex.org/I88060688"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.2286,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.56778058,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"333","last_page":"347"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"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/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/abstract-interpretation","display_name":"Abstract interpretation","score":0.8013005256652832},{"id":"https://openalex.org/keywords/interpreter","display_name":"Interpreter","score":0.7622466087341309},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6860920190811157},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5195753574371338},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.511648952960968},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.46540647745132446},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.46404168009757996},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4633747637271881},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4562642574310303},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4487791657447815},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.4318392276763916},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42197930812835693},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.189959317445755}],"concepts":[{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.8013005256652832},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.7622466087341309},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6860920190811157},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5195753574371338},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.511648952960968},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46540647745132446},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.46404168009757996},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4633747637271881},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4562642574310303},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4487791657447815},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.4318392276763916},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42197930812835693},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.189959317445755},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-540-74610-2_23","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74610-2_23","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.991.4630","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.991.4630","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://oa.upm.es/14318/1/HERME_ARC_2007-1.pdf","raw_type":"text"},{"id":"pmh:oai:DiVA.org:ltu-29983","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-29983","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:oa.upm.es:14318","is_oa":true,"landing_page_url":"https://oa.upm.es/14318/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logic Programming | 23rd International Conference, ICLP 2007 | September 8-13, 2007 | Porto, Portugal","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:DiVA.org:ltu-29983","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-29983","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W12896800","https://openalex.org/W31561947","https://openalex.org/W95576201","https://openalex.org/W159226319","https://openalex.org/W207722629","https://openalex.org/W1508161107","https://openalex.org/W1514468887","https://openalex.org/W1514965137","https://openalex.org/W1522278016","https://openalex.org/W1532795106","https://openalex.org/W1533556407","https://openalex.org/W1541434994","https://openalex.org/W1579672261","https://openalex.org/W1594349561","https://openalex.org/W1597162797","https://openalex.org/W1605195718","https://openalex.org/W1608059426","https://openalex.org/W1611084195","https://openalex.org/W1753357466","https://openalex.org/W1965377774","https://openalex.org/W1999764179","https://openalex.org/W2010266648","https://openalex.org/W2043100293","https://openalex.org/W2045313089","https://openalex.org/W2052787977","https://openalex.org/W2069076448","https://openalex.org/W2102643211","https://openalex.org/W2116325485","https://openalex.org/W2132750992","https://openalex.org/W2163660741","https://openalex.org/W2478723878","https://openalex.org/W2886271628","https://openalex.org/W3022987785","https://openalex.org/W4206370914","https://openalex.org/W4210650974"],"related_works":["https://openalex.org/W3177169335","https://openalex.org/W2074638034","https://openalex.org/W1513061978","https://openalex.org/W1995638504","https://openalex.org/W3149732360","https://openalex.org/W1550912436","https://openalex.org/W2970480852","https://openalex.org/W4312991606","https://openalex.org/W2124137227","https://openalex.org/W1498295683"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}