{"id":"https://openalex.org/W2062622131","doi":"https://doi.org/10.1093/jigpal/jzq055","title":"Special Issue: Formal Representations in Model-based Reasoning and Abduction","display_name":"Special Issue: Formal Representations in Model-based Reasoning and Abduction","publication_year":2010,"publication_date":"2010-12-20","ids":{"openalex":"https://openalex.org/W2062622131","doi":"https://doi.org/10.1093/jigpal/jzq055","mag":"2062622131"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzq055","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzq055","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of IGPL","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/A5014761588","display_name":"Lorenzo Magnani","orcid":"https://orcid.org/0000-0003-2344-4379"},"institutions":[{"id":"https://openalex.org/I25217355","display_name":"University of Pavia","ror":"https://ror.org/00s6t1f81","country_code":"IT","type":"education","lineage":["https://openalex.org/I25217355"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"L. Magnani","raw_affiliation_strings":["University of Pavia, Pavia, Italy And Sun Yat-Sen University, Guangzhou, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pavia, Pavia, Italy And Sun Yat-Sen University, Guangzhou, P. R. China","institution_ids":["https://openalex.org/I25217355"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019891741","display_name":"Walter Carnielli","orcid":"https://orcid.org/0000-0003-0524-2917"},"institutions":[{"id":"https://openalex.org/I181391015","display_name":"Universidade Estadual de Campinas (UNICAMP)","ror":"https://ror.org/04wffgt70","country_code":"BR","type":"education","lineage":["https://openalex.org/I181391015"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"W. Carnielli","raw_affiliation_strings":["University of Campinas, Campinas, Brazil","University of Campinas,  Campinas, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Campinas, Campinas, Brazil","institution_ids":["https://openalex.org/I181391015"]},{"raw_affiliation_string":"University of Campinas,  Campinas, Brazil","institution_ids":["https://openalex.org/I181391015"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017218228","display_name":"Claudio Pizzi","orcid":"https://orcid.org/0000-0002-6245-6332"},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"C. Pizzi","raw_affiliation_strings":["University of Siena, Siena, Italy Pavia, Italy, June 2010"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Siena, Siena, Italy Pavia, Italy, June 2010","institution_ids":["https://openalex.org/I102064193"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.11916138,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"20","issue":"2","first_page":"367","last_page":"369"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"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.9990000128746033,"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.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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9915000200271606,"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/library-science","display_name":"Library science","score":0.5035993456840515},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.421953022480011},{"id":"https://openalex.org/keywords/classics","display_name":"Classics","score":0.33391863107681274},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.3273494839668274},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3112263083457947},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.28431087732315063}],"concepts":[{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.5035993456840515},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.421953022480011},{"id":"https://openalex.org/C74916050","wikidata":"https://www.wikidata.org/wiki/Q841090","display_name":"Classics","level":1,"score":0.33391863107681274},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3273494839668274},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3112263083457947},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.28431087732315063}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/jigpal/jzq055","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzq055","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of IGPL","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/5","score":0.7300000190734863,"display_name":"Gender equality"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W93312527","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829"],"abstract_inverted_index":{"Lorenzo":[0],"Magnani,":[1],"Walter":[2],"Carnielli,":[3],"Claudio":[4],"Pizzi;":[5],"Special":[6],"Issue:":[7],"Formal":[8],"Representations":[9],"in":[10],"Model-based":[11],"Reasoning":[12],"and":[13],"Abduction,":[14],"Logic":[15],"Journal":[16],"of":[17],"the":[18],"IGPL,":[19]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-17T06:14:20.161405","created_date":"2025-10-10T00:00:00"}