{"id":"https://openalex.org/W2034254723","doi":"https://doi.org/10.1017/s026988890000816x","title":"Logic Programming and Education","display_name":"Logic Programming and Education","publication_year":1995,"publication_date":"1995-06-01","ids":{"openalex":"https://openalex.org/W2034254723","doi":"https://doi.org/10.1017/s026988890000816x","mag":"2034254723"},"language":"en","primary_location":{"id":"doi:10.1017/s026988890000816x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s026988890000816x","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Knowledge Engineering Review","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/A5024960226","display_name":"Rosa Maria Bottino","orcid":"https://orcid.org/0000-0001-6709-0053"},"institutions":[{"id":"https://openalex.org/I4210137033","display_name":"Istituto di Matematica Applicata e Tecnologie Informatiche","ror":"https://ror.org/03m0n3c07","country_code":"IT","type":"education","lineage":["https://openalex.org/I4210137033","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Rosa Maria Bottino","raw_affiliation_strings":["Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via De Marini 6, 16149 Genova, Italy","Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via De Marini 6, 16149 Genova, Italy ("],"affiliations":[{"raw_affiliation_string":"Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via De Marini 6, 16149 Genova, Italy","institution_ids":["https://openalex.org/I4210137033"]},{"raw_affiliation_string":"Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via De Marini 6, 16149 Genova, Italy (","institution_ids":["https://openalex.org/I4210137033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051619172","display_name":"Paola Forcheri","orcid":null},"institutions":[{"id":"https://openalex.org/I4210137033","display_name":"Istituto di Matematica Applicata e Tecnologie Informatiche","ror":"https://ror.org/03m0n3c07","country_code":"IT","type":"education","lineage":["https://openalex.org/I4210137033","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paola Forcheri","raw_affiliation_strings":["Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via De Marini 6, 16149 Genova, Italy","Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via De Marini 6, 16149 Genova, Italy ("],"affiliations":[{"raw_affiliation_string":"Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via De Marini 6, 16149 Genova, Italy","institution_ids":["https://openalex.org/I4210137033"]},{"raw_affiliation_string":"Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via De Marini 6, 16149 Genova, Italy (","institution_ids":["https://openalex.org/I4210137033"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042650933","display_name":"Maria Teresa Molfino","orcid":null},"institutions":[{"id":"https://openalex.org/I4210137033","display_name":"Istituto di Matematica Applicata e Tecnologie Informatiche","ror":"https://ror.org/03m0n3c07","country_code":"IT","type":"education","lineage":["https://openalex.org/I4210137033","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maria Teresa Molfino","raw_affiliation_strings":["Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via De Marini 6, 16149 Genova, Italy","Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via De Marini 6, 16149 Genova, Italy ("],"affiliations":[{"raw_affiliation_string":"Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via De Marini 6, 16149 Genova, Italy","institution_ids":["https://openalex.org/I4210137033"]},{"raw_affiliation_string":"Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via De Marini 6, 16149 Genova, Italy (","institution_ids":["https://openalex.org/I4210137033"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5024960226"],"corresponding_institution_ids":["https://openalex.org/I4210137033"],"apc_list":null,"apc_paid":null,"fwci":0.5682,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.74402795,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"10","issue":"2","first_page":"209","last_page":"211"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9979000091552734,"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.9979000091552734,"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.9886000156402588,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9843000173568726,"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/computer-science","display_name":"Computer science","score":0.6462489366531372},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5648768544197083},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.455707848072052}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6462489366531372},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5648768544197083},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.455707848072052}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s026988890000816x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s026988890000816x","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Knowledge Engineering Review","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W623200599","https://openalex.org/W1524763740","https://openalex.org/W1785572709","https://openalex.org/W1980955412","https://openalex.org/W6631238230"],"related_works":["https://openalex.org/W1999702466","https://openalex.org/W2140386967","https://openalex.org/W4248067243","https://openalex.org/W4246503451","https://openalex.org/W4205997139","https://openalex.org/W4206249920","https://openalex.org/W2540089100","https://openalex.org/W1534488117","https://openalex.org/W4255405881","https://openalex.org/W3018143143"],"abstract_inverted_index":{"An":[0],"abstract":[1],"is":[2],"not":[3],"available":[4],"for":[5,21],"this":[6,27],"content":[7],"so":[8],"a":[9],"preview":[10],"has":[11],"been":[12],"provided.":[13],"Please":[14],"use":[15],"the":[16],"Get":[17],"access":[18,26],"link":[19],"above":[20],"information":[22],"on":[23],"how":[24],"to":[25],"content.":[28]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-01-08T20:05:33.558190","created_date":"2025-10-10T00:00:00"}