{"id":"https://openalex.org/W338112540","doi":"https://doi.org/10.1007/bf01531082","title":"Most specific logic programs","display_name":"Most specific logic programs","publication_year":1990,"publication_date":"1990-09-01","ids":{"openalex":"https://openalex.org/W338112540","doi":"https://doi.org/10.1007/bf01531082","mag":"338112540"},"language":"en","primary_location":{"id":"doi:10.1007/bf01531082","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01531082","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and 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/A5085695563","display_name":"Kim Marriott","orcid":"https://orcid.org/0000-0002-9813-0377"},"institutions":[{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"K. Marriott","raw_affiliation_strings":["IBM Thomas J. Watson Research Center, 10598, Yorktown Heights, New York, USA","IBM Thomas J. Watson Research Center, Yorktown Heights, USA 10598#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Thomas J. Watson Research Center, 10598, Yorktown Heights, New York, USA","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"IBM Thomas J. Watson Research Center, Yorktown Heights, USA 10598#TAB#","institution_ids":["https://openalex.org/I4210114115"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013625793","display_name":"Lee Naish","orcid":"https://orcid.org/0000-0001-7185-0115"},"institutions":[{"id":"https://openalex.org/I165779595","display_name":"University of Melbourne","ror":"https://ror.org/01ej9dk98","country_code":"AU","type":"education","lineage":["https://openalex.org/I165779595"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["AU","US"],"is_corresponding":false,"raw_author_name":"L. Naish","raw_affiliation_strings":["Department of Computer Science, University of Melbourne, 3052, Parkville, Australia","IBM Thomas J. Watson Research Center, 10598, Yorktown Heights, New York, USA","IBM Thomas J. Watson Research Center, Yorktown Heights, USA 10598 and Department of Computer Science, University of Melbourne, Parkville, Australia 3052#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Melbourne, 3052, Parkville, Australia","institution_ids":["https://openalex.org/I165779595"]},{"raw_affiliation_string":"IBM Thomas J. Watson Research Center, 10598, Yorktown Heights, New York, USA","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"IBM Thomas J. Watson Research Center, Yorktown Heights, USA 10598 and Department of Computer Science, University of Melbourne, Parkville, Australia 3052#TAB#","institution_ids":["https://openalex.org/I4210114115","https://openalex.org/I165779595"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108188284","display_name":"Jean-Louis Lassez","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. -L. Lassez","raw_affiliation_strings":["IBM Thomas J. Watson Research Center, 10598, Yorktown Heights, New York, USA","IBM Thomas J. Watson Research Center, Yorktown Heights, USA 10598#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Thomas J. Watson Research Center, 10598, Yorktown Heights, New York, USA","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"IBM Thomas J. Watson Research Center, Yorktown Heights, USA 10598#TAB#","institution_ids":["https://openalex.org/I4210114115"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5085695563"],"corresponding_institution_ids":["https://openalex.org/I4210114115"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":5.374,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.95231424,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"1","issue":"1-4","first_page":"303","last_page":"338"},"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.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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9962999820709229,"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/T10142","display_name":"Formal Methods in Verification","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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-program","display_name":"Logic program","score":0.7720417976379395},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7152000665664673},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.6756933331489563},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6544632911682129},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5883773565292358},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5805838108062744},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.434217631816864},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40053892135620117},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3555554747581482},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.23897990584373474},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21298927068710327}],"concepts":[{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.7720417976379395},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7152000665664673},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.6756933331489563},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6544632911682129},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5883773565292358},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5805838108062744},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.434217631816864},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40053892135620117},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3555554747581482},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.23897990584373474},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21298927068710327},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/bf01531082","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01531082","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},{"id":"mag:338112540","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1514468887","https://openalex.org/W1541434994","https://openalex.org/W1829389880","https://openalex.org/W1963910234","https://openalex.org/W2030720224","https://openalex.org/W2039099537","https://openalex.org/W2147335415","https://openalex.org/W3021058630","https://openalex.org/W6631885503","https://openalex.org/W6821980200"],"related_works":["https://openalex.org/W2031552811","https://openalex.org/W1541434994","https://openalex.org/W31561947","https://openalex.org/W1983305931","https://openalex.org/W2522304419","https://openalex.org/W2043100293","https://openalex.org/W1846522280","https://openalex.org/W2060199124","https://openalex.org/W3145684201","https://openalex.org/W108583503","https://openalex.org/W2037474536","https://openalex.org/W1482576895","https://openalex.org/W1593969467","https://openalex.org/W145901300","https://openalex.org/W2202863966","https://openalex.org/W2953116807","https://openalex.org/W2094944943","https://openalex.org/W2038053930","https://openalex.org/W184346136","https://openalex.org/W2744857873"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}