{"id":"https://openalex.org/W2076606028","doi":"https://doi.org/10.1007/bf01530791","title":"Relating logic programs via program maps","display_name":"Relating logic programs via program maps","publication_year":1993,"publication_date":"1993-09-01","ids":{"openalex":"https://openalex.org/W2076606028","doi":"https://doi.org/10.1007/bf01530791","mag":"2076606028"},"language":"en","primary_location":{"id":"doi:10.1007/bf01530791","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01530791","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/A5085305299","display_name":"Marc Kirschenbaum","orcid":null},"institutions":[{"id":"https://openalex.org/I4210105785","display_name":"Intelligent Systems Research (United States)","ror":"https://ror.org/01reevc91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210105785"]},{"id":"https://openalex.org/I183716014","display_name":"John Carroll University","ror":"https://ror.org/001gmya32","country_code":"US","type":"education","lineage":["https://openalex.org/I183716014"]},{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Marc Kirschenbaum","raw_affiliation_strings":["Department of Computer Engineering and Science, and Center for Automation and Intelligent Systems Research, Case Western Reserve University, 44106, Cleveland, OH, USA","Mathematics and Computer Science Department, John Carroll University, 44118, Cleveland, OH, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering and Science, and Center for Automation and Intelligent Systems Research, Case Western Reserve University, 44106, Cleveland, OH, USA","institution_ids":["https://openalex.org/I58956616","https://openalex.org/I4210105785"]},{"raw_affiliation_string":"Mathematics and Computer Science Department, John Carroll University, 44118, Cleveland, OH, USA","institution_ids":["https://openalex.org/I183716014"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079262002","display_name":"Leon Sterling","orcid":"https://orcid.org/0000-0002-4122-2465"},"institutions":[{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]},{"id":"https://openalex.org/I4210105785","display_name":"Intelligent Systems Research (United States)","ror":"https://ror.org/01reevc91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210105785"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Leon Sterling","raw_affiliation_strings":["Department of Computer Engineering and Science, and Center for Automation and Intelligent Systems Research, Case Western Reserve University, 44106, Cleveland, OH, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering and Science, and Center for Automation and Intelligent Systems Research, Case Western Reserve University, 44106, Cleveland, OH, USA","institution_ids":["https://openalex.org/I58956616","https://openalex.org/I4210105785"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033120323","display_name":"Ashish Jain","orcid":"https://orcid.org/0000-0002-9803-0050"},"institutions":[{"id":"https://openalex.org/I4210105785","display_name":"Intelligent Systems Research (United States)","ror":"https://ror.org/01reevc91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210105785"]},{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ashish Jain","raw_affiliation_strings":["Department of Computer Engineering and Science, and Center for Automation and Intelligent Systems Research, Case Western Reserve University, 44106, Cleveland, OH, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering and Science, and Center for Automation and Intelligent Systems Research, Case Western Reserve University, 44106, Cleveland, OH, USA","institution_ids":["https://openalex.org/I58956616","https://openalex.org/I4210105785"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5085305299"],"corresponding_institution_ids":["https://openalex.org/I183716014","https://openalex.org/I4210105785","https://openalex.org/I58956616"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.1643,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.82379674,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"3-4","first_page":"229","last_page":"245"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.989300012588501,"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.989300012588501,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9757999777793884,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9726999998092651,"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/computation","display_name":"Computation","score":0.7152043581008911},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6535645127296448},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.6410561800003052},{"id":"https://openalex.org/keywords/intuition","display_name":"Intuition","score":0.5746057629585266},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5480539798736572},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.46968749165534973},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.45010656118392944},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44943323731422424},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.41698095202445984},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3572140336036682},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3233646750450134},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.2666128873825073}],"concepts":[{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.7152043581008911},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6535645127296448},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.6410561800003052},{"id":"https://openalex.org/C132010649","wikidata":"https://www.wikidata.org/wiki/Q189222","display_name":"Intuition","level":2,"score":0.5746057629585266},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5480539798736572},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.46968749165534973},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.45010656118392944},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44943323731422424},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.41698095202445984},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3572140336036682},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3233646750450134},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2666128873825073},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/bf01530791","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01530791","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":"pmh:oai:researchbank.swinburne.edu.au:5076612b-4b23-4b8d-a1ad-e7f29bdb6183/1","is_oa":false,"landing_page_url":"http://hdl.handle.net/1959.3/312591","pdf_url":null,"source":{"id":"https://openalex.org/S4306401157","display_name":"Swinburne Research Bank (Swinburne University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I57093077","host_organization_name":"Swinburne University of Technology","host_organization_lineage":["https://openalex.org/I57093077"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Annals of Mathematics and Artificial Intelligence, Vol. 8, no. 3-Apr (1993), pp. 229-245","raw_type":"acceptedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.30.9440","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.9440","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ncc.up.pt/~amjorge/docs/Relating_Logic_Programs_Via_Program_Maps.ps.Z","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1486746067","https://openalex.org/W1518248869","https://openalex.org/W1532345533","https://openalex.org/W1541434994","https://openalex.org/W2026288226"],"related_works":["https://openalex.org/W2574774950","https://openalex.org/W2553706208","https://openalex.org/W4250566046","https://openalex.org/W2062643088","https://openalex.org/W648195185","https://openalex.org/W574022443","https://openalex.org/W2348463574","https://openalex.org/W2111221376","https://openalex.org/W1557487632","https://openalex.org/W2535967376"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}