{"id":"https://openalex.org/W2039985169","doi":"https://doi.org/10.1016/0743-1066(95)94697-x","title":"An argumentation-theoretic foundation for logic programming","display_name":"An argumentation-theoretic foundation for logic programming","publication_year":1995,"publication_date":"1995-02-01","ids":{"openalex":"https://openalex.org/W2039985169","doi":"https://doi.org/10.1016/0743-1066(95)94697-x","mag":"2039985169"},"language":"en","primary_location":{"id":"doi:10.1016/0743-1066(95)94697-x","doi":"https://doi.org/10.1016/0743-1066(95)94697-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/0743-1066(95)94697-x","pdf_url":"https://www.sciencedirect.com/science/article/pii/074310669594697X/pdf","source":{"id":"https://openalex.org/S86488779","display_name":"The Journal of Logic Programming","issn_l":"0743-1066","issn":["0743-1066","1873-5789"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"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":"The Journal of Logic Programming","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.sciencedirect.com/science/article/pii/074310669594697X/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111817377","display_name":"Phan Minh D\u0169ng","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I38538140","display_name":"Asian Institute of Technology","ror":"https://ror.org/0403qcr87","country_code":"TH","type":"education","lineage":["https://openalex.org/I38538140"]}],"countries":["TH"],"is_corresponding":true,"raw_author_name":"Phan Minh Dung","raw_affiliation_strings":["Computer Science Program , School of Advanced Technol- ogy , Asian Institute of Technology , P. O. Box 2754 , Bangkok 10501 , Thailand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Program , School of Advanced Technol- ogy , Asian Institute of Technology , P. O. Box 2754 , Bangkok 10501 , Thailand","institution_ids":["https://openalex.org/I38538140"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5111817377"],"corresponding_institution_ids":["https://openalex.org/I38538140"],"apc_list":null,"apc_paid":null,"fwci":5.66,"has_fulltext":true,"cited_by_count":109,"citation_normalized_percentile":{"value":0.95840328,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":"22","issue":"2","first_page":"151","last_page":"177"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9911999702453613,"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.9911999702453613,"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.005200000014156103,"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.0008999999845400453,"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-programming-semantics","display_name":"logic programming semantics","score":0.9639999866485596},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"argumentation theory","score":0.8519999980926514},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"well-founded semantics","score":0.7760000228881836},{"id":"https://openalex.org/keywords/stable-models","display_name":"stable models","score":0.9470000267028809},{"id":"https://openalex.org/keywords/proof-procedure","display_name":"proof procedure","score":0.5920000076293945}],"concepts":[{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.6768057346343994},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.656887412071228},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6296998858451843},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.5433685183525085},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5244907736778259},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5135136246681213},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43741557002067566},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.41519731283187866},{"id":"https://openalex.org/C58041814","wikidata":"https://www.wikidata.org/wiki/Q792533","display_name":"Axiomatic semantics","level":5,"score":0.411052942276001},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.40972834825515747},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3812764883041382},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.293667733669281},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.12696942687034607}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/0743-1066(95)94697-x","doi":"https://doi.org/10.1016/0743-1066(95)94697-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/0743-1066(95)94697-x","pdf_url":"https://www.sciencedirect.com/science/article/pii/074310669594697X/pdf","source":{"id":"https://openalex.org/S86488779","display_name":"The Journal of Logic Programming","issn_l":"0743-1066","issn":["0743-1066","1873-5789"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"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":"The Journal of Logic Programming","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/0743-1066(95)94697-x","doi":"https://doi.org/10.1016/0743-1066(95)94697-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/0743-1066(95)94697-x","pdf_url":"https://www.sciencedirect.com/science/article/pii/074310669594697X/pdf","source":{"id":"https://openalex.org/S86488779","display_name":"The Journal of Logic Programming","issn_l":"0743-1066","issn":["0743-1066","1873-5789"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"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":"The Journal of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2039985169.pdf","grobid_xml":"https://content.openalex.org/works/W2039985169.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W19957210","https://openalex.org/W75962216","https://openalex.org/W98858009","https://openalex.org/W100882334","https://openalex.org/W106051579","https://openalex.org/W108833919","https://openalex.org/W149849566","https://openalex.org/W159747946","https://openalex.org/W161763525","https://openalex.org/W176609766","https://openalex.org/W189573324","https://openalex.org/W198859399","https://openalex.org/W205761009","https://openalex.org/W834709404","https://openalex.org/W1494051470","https://openalex.org/W1523296148","https://openalex.org/W1541434994","https://openalex.org/W1562593161","https://openalex.org/W1672891595","https://openalex.org/W1709754610","https://openalex.org/W1762401663","https://openalex.org/W1766332311","https://openalex.org/W1780039904","https://openalex.org/W1970598347","https://openalex.org/W1984715534","https://openalex.org/W1987660355","https://openalex.org/W2020153579","https://openalex.org/W2031868932","https://openalex.org/W2069972706","https://openalex.org/W2092911568","https://openalex.org/W2093089155","https://openalex.org/W2399343913","https://openalex.org/W2403442136","https://openalex.org/W2539866670","https://openalex.org/W2601974362","https://openalex.org/W2913920290","https://openalex.org/W3160286556","https://openalex.org/W4206370914","https://openalex.org/W4289767071"],"related_works":["https://openalex.org/W2755706355","https://openalex.org/W7096910610","https://openalex.org/W7099629926","https://openalex.org/W1588413856","https://openalex.org/W1643135166","https://openalex.org/W60507602","https://openalex.org/W2062562355","https://openalex.org/W7099412629","https://openalex.org/W2542505095","https://openalex.org/W1586012806"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":3}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}