{"id":"https://openalex.org/W227147738","doi":"https://doi.org/10.1016/s0004-3702(02)00227-8","title":"Abduction in logic programming: A new definition and an abductive procedure based on rewriting","display_name":"Abduction in logic programming: A new definition and an abductive procedure based on rewriting","publication_year":2002,"publication_date":"2002-09-01","ids":{"openalex":"https://openalex.org/W227147738","doi":"https://doi.org/10.1016/s0004-3702(02)00227-8","mag":"227147738"},"language":"en","primary_location":{"id":"doi:10.1016/s0004-3702(02)00227-8","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0004-3702(02)00227-8","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","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/A5102011179","display_name":"Fangzhen Lin","orcid":"https://orcid.org/0000-0002-3141-8675"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Fangzhen Lin","raw_affiliation_strings":["Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong","Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong,#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I200769079"]},{"raw_affiliation_string":"Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong,#TAB#","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103160823","display_name":"Jia-Huai You","orcid":"https://orcid.org/0000-0001-9372-4371"},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jia-Huai You","raw_affiliation_strings":["Department of Computing Science, University of Alberta, Edmonton, AB, Canada T6G 2E8","Department of Computing Science, University of Alberta.Edmonton, Alberta, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computing Science, University of Alberta, Edmonton, AB, Canada T6G 2E8","institution_ids":["https://openalex.org/I154425047"]},{"raw_affiliation_string":"Department of Computing Science, University of Alberta.Edmonton, Alberta, Canada","institution_ids":["https://openalex.org/I154425047"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5102011179"],"corresponding_institution_ids":["https://openalex.org/I200769079"],"apc_list":{"value":3670,"currency":"USD","value_usd":3670},"apc_paid":null,"fwci":0.8526,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.75338185,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"140","issue":"1-2","first_page":"175","last_page":"205"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.998199999332428,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.995199978351593,"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/rewriting","display_name":"Rewriting","score":0.8760049343109131},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.7497439384460449},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6938895583152771},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.6795222759246826},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6213250756263733},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5869113206863403},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5659739971160889},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.5650866031646729},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5620943307876587},{"id":"https://openalex.org/keywords/abductive-reasoning","display_name":"Abductive reasoning","score":0.5377286672592163},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.46854886412620544},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.4573468863964081},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.403672456741333},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24625444412231445},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.15208277106285095}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8760049343109131},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7497439384460449},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6938895583152771},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.6795222759246826},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6213250756263733},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5869113206863403},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5659739971160889},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.5650866031646729},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5620943307876587},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.5377286672592163},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.46854886412620544},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.4573468863964081},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.403672456741333},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24625444412231445},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.15208277106285095}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1016/s0004-3702(02)00227-8","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0004-3702(02)00227-8","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.20.7422","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.7422","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ust.hk/faculty/flin/papers/ijcai01.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.25.4821","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.4821","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://web.cs.ualberta.ca/~you/papers/ijcai01.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.7.1575","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.1575","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://web.cs.ualberta.ca/~you/papers/02AIJ.ps","raw_type":"text"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-773","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-773","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"mag:227147738","is_oa":false,"landing_page_url":"http://repository.ust.hk/ir/Record/1783.1-14914","pdf_url":null,"source":{"id":"https://openalex.org/S4306419999","display_name":"International Joint Conference on Artificial Intelligence","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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"International Joint Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W65775306","https://openalex.org/W81377374","https://openalex.org/W100105580","https://openalex.org/W108833919","https://openalex.org/W116275779","https://openalex.org/W145128706","https://openalex.org/W176609766","https://openalex.org/W186305455","https://openalex.org/W1483568252","https://openalex.org/W1541434994","https://openalex.org/W1599329468","https://openalex.org/W1601625095","https://openalex.org/W1639901403","https://openalex.org/W1672891595","https://openalex.org/W1766332311","https://openalex.org/W1914057355","https://openalex.org/W1967802770","https://openalex.org/W1970598347","https://openalex.org/W1979101142","https://openalex.org/W1988827098","https://openalex.org/W2005752553","https://openalex.org/W2011124182","https://openalex.org/W2022472812","https://openalex.org/W2024943265","https://openalex.org/W2039985169","https://openalex.org/W2069453418","https://openalex.org/W2069972706","https://openalex.org/W2071787143","https://openalex.org/W2076698873","https://openalex.org/W2078139775","https://openalex.org/W2092911568","https://openalex.org/W2093089155","https://openalex.org/W2128770734","https://openalex.org/W2152131859","https://openalex.org/W2399343913","https://openalex.org/W2772521659","https://openalex.org/W2912818154","https://openalex.org/W6602679530","https://openalex.org/W6603286511","https://openalex.org/W6604090038","https://openalex.org/W6604381209","https://openalex.org/W6605927302","https://openalex.org/W6607254775","https://openalex.org/W6635839784","https://openalex.org/W6636944559","https://openalex.org/W6637298476","https://openalex.org/W6638065767","https://openalex.org/W6639892127","https://openalex.org/W6674151944","https://openalex.org/W6686337745","https://openalex.org/W6712688321","https://openalex.org/W6746359647","https://openalex.org/W6759055872"],"related_works":["https://openalex.org/W2046191606","https://openalex.org/W1981144118","https://openalex.org/W2611813309","https://openalex.org/W1609107717","https://openalex.org/W2074767926","https://openalex.org/W2185000142","https://openalex.org/W2043198854","https://openalex.org/W1499632220","https://openalex.org/W1554712823","https://openalex.org/W200731164","https://openalex.org/W1678615379","https://openalex.org/W2952903809","https://openalex.org/W2023141722","https://openalex.org/W2060470146","https://openalex.org/W2017637575","https://openalex.org/W1985980194","https://openalex.org/W150743059","https://openalex.org/W3100069569","https://openalex.org/W2087432892","https://openalex.org/W298067001"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}