乐胖代购免代理版

{"id":"https://openalex.org/W3012567678","doi":"https://doi.org/10.3390/info11030167","title":"Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives","display_name":"Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives","publication_year":2020,"publication_date":"2020-03-22","ids":{"openalex":"https://openalex.org/W3012567678","doi":"https://doi.org/10.3390/info11030167","mag":"3012567678"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.3390/info11030167","pdf_url":"https://www.mdpi.com/2078-2489/11/3/167/pdf?version=1584866952","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2078-2489/11/3/167/pdf?version=1584866952","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090610404","display_name":"Roberta Calegari","orcid":"https://orcid.org/0000-0003-3794-2942"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Roberta Calegari","raw_affiliation_strings":["Alma AI\u2014Alma Mater Research Institute for Human-Centered Artificial Intelligence, Alma Mater Studiorum\u2013Universit\u00e0 di Bologna, 40121 Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"Alma AI\u2014Alma Mater Research Institute for Human-Centered Artificial Intelligence, Alma Mater Studiorum\u2013Universit\u00e0 di Bologna, 40121 Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021681181","display_name":"Giovanni Ciatto","orcid":"https://orcid.org/0000-0002-1841-8996"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giovanni Ciatto","raw_affiliation_strings":["Dipartimento di Informatica\u2013Scienza e Ingegneria (DISI), Alma Mater Studiorum\u2013Universit\u00e0 di Bologna, 47522 Cesena, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica\u2013Scienza e Ingegneria (DISI), Alma Mater Studiorum\u2013Universit\u00e0 di Bologna, 47522 Cesena, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053848564","display_name":"Enrico Denti","orcid":"https://orcid.org/0000-0003-1687-8793"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Enrico Denti","raw_affiliation_strings":["Dipartimento di Informatica\u2013Scienza e Ingegneria (DISI), Alma Mater Studiorum\u2013Universit\u00e0 di Bologna, 40136 Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica\u2013Scienza e Ingegneria (DISI), Alma Mater Studiorum\u2013Universit\u00e0 di Bologna, 40136 Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082586707","display_name":"Andrea Omicini","orcid":"https://orcid.org/0000-0002-6655-3869"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Omicini","raw_affiliation_strings":["Dipartimento di Informatica\u2013Scienza e Ingegneria (DISI), Alma Mater Studiorum\u2013Universit\u00e0 di Bologna, 47522 Cesena, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica\u2013Scienza e Ingegneria (DISI), Alma Mater Studiorum\u2013Universit\u00e0 di Bologna, 47522 Cesena, Italy","institution_ids":["https://openalex.org/I9360294"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5090610404"],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515,"provenance":"doaj"},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515,"provenance":"doaj"},"fwci":3.018,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":48,"citation_normalized_percentile":{"value":0.999983,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"11","issue":"3","first_page":"167","last_page":"167"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9956,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9956,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.993,"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.9926,"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":[],"concepts":[{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.82304454},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.66461915},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45114067},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.44782296},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.4415726},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.42273247},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0954932},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0863629}],"mesh":[],"locations_count":3,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.3390/info11030167","pdf_url":"https://www.mdpi.com/2078-2489/11/3/167/pdf?version=1584866952","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://doaj.org/article/c46900e301704475b42cb2c0b993c2a5","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://hdl.handle.net/11585/752671","pdf_url":"https://cris.unibo.it/bitstream/11585/752671/1/information-11-00167.pdf","source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":["Istituto di Ematologia di Bologna"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.3390/info11030167","pdf_url":"https://www.mdpi.com/2078-2489/11/3/167/pdf?version=1584866952","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":175,"referenced_works":["https://openalex.org/W1491526799","https://openalex.org/W1493657719","https://openalex.org/W1495532802","https://openalex.org/W1497120980","https://openalex.org/W1520714863","https://openalex.org/W152805870","https://openalex.org/W1529875955","https://openalex.org/W1530491305","https://openalex.org/W1539763149","https://openalex.org/W1552250714","https://openalex.org/W1571070340","https://openalex.org/W1573644693","https://openalex.org/W157669941","https://openalex.org/W1578088218","https://openalex.org/W1582487692","https://openalex.org/W1584251685","https://openalex.org/W1585005850","https://openalex.org/W1588296695","https://openalex.org/W1590074943","https://openalex.org/W1590828018","https://openalex.org/W1601924398","https://openalex.org/W1605926062","https://openalex.org/W1645738616","https://openalex.org/W1698033501","https://openalex.org/W1750885886","https://openalex.org/W1781237739","https://openalex.org/W181821166","https://openalex.org/W1821716322","https://openalex.org/W1862275504","https://openalex.org/W1901367599","https://openalex.org/W1967596639","https://openalex.org/W1969602225","https://openalex.org/W1969810892","https://openalex.org/W1975134293","https://openalex.org/W1978375458","https://openalex.org/W1982482731","https://openalex.org/W1983572867","https://openalex.org/W1990088911","https://openalex.org/W1993155759","https://openalex.org/W1993610369","https://openalex.org/W1998915208","https://openalex.org/W2002016471","https://openalex.org/W2002317457","https://openalex.org/W2002947720","https://openalex.org/W2004796166","https://openalex.org/W2005818379","https://openalex.org/W2007744038","https://openalex.org/W2012287356","https://openalex.org/W2015248025","https://openalex.org/W2016089260","https://openalex.org/W2016540947","https://openalex.org/W2017587301","https://openalex.org/W2017960715","https://openalex.org/W2019004430","https://openalex.org/W2020561933","https://openalex.org/W2021753533","https://openalex.org/W2024152751","https://openalex.org/W2026851509","https://openalex.org/W2027140251","https://openalex.org/W2028236458","https://openalex.org/W2028389683","https://openalex.org/W2030535407","https://openalex.org/W2031280719","https://openalex.org/W2032117162","https://openalex.org/W2035855976","https://openalex.org/W2038175477","https://openalex.org/W2039020269","https://openalex.org/W2056229702","https://openalex.org/W2060498389","https://openalex.org/W2060793167","https://openalex.org/W2063046703","https://openalex.org/W2063555740","https://openalex.org/W2063689928","https://openalex.org/W2063727779","https://openalex.org/W2065204741","https://openalex.org/W2069466022","https://openalex.org/W2070201823","https://openalex.org/W2071797744","https://openalex.org/W2072739149","https://openalex.org/W2077467868","https://openalex.org/W2078988604","https://openalex.org/W2082393683","https://openalex.org/W2086061492","https://openalex.org/W2088166168","https://openalex.org/W2091409608","https://openalex.org/W2092266314","https://openalex.org/W2095350947","https://openalex.org/W2098595404","https://openalex.org/W2100738443","https://openalex.org/W2102826504","https://openalex.org/W2104126268","https://openalex.org/W2105048945","https://openalex.org/W2107222792","https://openalex.org/W2107658650","https://openalex.org/W2108657373","https://openalex.org/W2114289373","https://openalex.org/W2115309705","https://openalex.org/W2115400699","https://openalex.org/W2118782187","https://openalex.org/W2119831128","https://openalex.org/W2120398332","https://openalex.org/W2122212387","https://openalex.org/W2123396057","https://openalex.org/W2128589657","https://openalex.org/W2129025832","https://openalex.org/W2130459723","https://openalex.org/W2131559875","https://openalex.org/W2134991157","https://openalex.org/W2136579066","https://openalex.org/W2145899763","https://openalex.org/W2148717074","https://openalex.org/W2149713648","https://openalex.org/W2150378486","https://openalex.org/W2150382432","https://openalex.org/W2151799802","https://openalex.org/W2152106139","https://openalex.org/W2155322595","https://openalex.org/W2158407045","https://openalex.org/W2159569510","https://openalex.org/W2163478942","https://openalex.org/W2177768973","https://openalex.org/W2297028316","https://openalex.org/W2314781148","https://openalex.org/W2325775534","https://openalex.org/W2340952989","https://openalex.org/W2413232727","https://openalex.org/W24740538","https://openalex.org/W2484153108","https://openalex.org/W2486175468","https://openalex.org/W2487140311","https://openalex.org/W2487983056","https://openalex.org/W2493514692","https://openalex.org/W2499611802","https://openalex.org/W2506890206","https://openalex.org/W2506940380","https://openalex.org/W2506987745","https://openalex.org/W2550787675","https://openalex.org/W2570831569","https://openalex.org/W2581964379","https://openalex.org/W2621103247","https://openalex.org/W2736314372","https://openalex.org/W2749819226","https://openalex.org/W2783054479","https://openalex.org/W2789338984","https://openalex.org/W2793972952","https://openalex.org/W2802761526","https://openalex.org/W2805206884","https://openalex.org/W2807492317","https://openalex.org/W2809925683","https://openalex.org/W2885077523","https://openalex.org/W2904264195","https://openalex.org/W2905747278","https://openalex.org/W2912804155","https://openalex.org/W2942953412","https://openalex.org/W2962772482","https://openalex.org/W2981731882","https://openalex.org/W2991533879","https://openalex.org/W2997707685","https://openalex.org/W3014683728","https://openalex.org/W3106529651","https://openalex.org/W3148177255","https://openalex.org/W4210498713","https://openalex.org/W4210585635","https://openalex.org/W4234354000","https://openalex.org/W4237388560","https://openalex.org/W4238025312","https://openalex.org/W4239696231","https://openalex.org/W4242632910","https://openalex.org/W4251135721","https://openalex.org/W4256682192","https://openalex.org/W4288351558","https://openalex.org/W4292002026","https://openalex.org/W4292545615","https://openalex.org/W562479810","https://openalex.org/W996183064"],"related_works":["https://openalex.org/W4312814274","https://openalex.org/W4285370786","https://openalex.org/W3207760230","https://openalex.org/W2536018345","https://openalex.org/W2358353312","https://openalex.org/W2353836703","https://openalex.org/W2296488620","https://openalex.org/W17155033","https://openalex.org/W1590307681","https://openalex.org/W1496222301"],"abstract_inverted_index":{"Together":[0],"with":[1],"the":[2,43,52,74,134,154],"disruptive":[3],"development":[4],"of":[5,45,51,55,73,95,115],"modern":[6],"sub-symbolic":[7],"approaches":[8,14,40,97,140,152],"to":[9,15,29,64,82,124,149],"artificial":[10],"intelligence":[11],"(AI),":[12],"symbolic":[13,46],"classical":[16],"AI":[17,31],"are":[18,118,146],"re-gaining":[19],"momentum,":[20],"as":[21,79,81,120,141,143],"more":[22,24,32,59,131,147],"and":[23,35,71,98,104],"researchers":[25],"exploit":[26,138],"their":[27,49,102,107],"potential":[28],"make":[30],"comprehensible,":[33],"explainable,":[34],"therefore":[36],"trustworthy.":[37],"Since":[38],"logic-based":[39,96,116,139,151],"lay":[41],"at":[42],"core":[44],"AI,":[47],"summarizing":[48],"state":[50],"art":[53],"is":[54],"paramount":[56],"importance":[57],"now":[58],"than":[60],"ever,":[61],"in":[62,122,153],"order":[63,123],"identify":[65,83,125],"trends,":[66],"benefits,":[67],"key":[68],"features,":[69],"gaps,":[70],"limitations":[72],"techniques":[75],"proposed":[76],"so":[77],"far,":[78],"well":[80,142],"promising":[84],"research":[85,127],"perspectives.":[86],"Along":[87],"this":[88,90],"line,":[89],"paper":[91],"provides":[92],"an":[93],"overview":[94],"technologies":[99,117],"by":[100],"sketching":[101],"evolution":[103],"pointing":[105],"out":[106],"main":[108],"application":[109],"areas.":[110],"Future":[111],"perspectives":[112],"for":[113],"exploitation":[114],"discussed":[119],"well,":[121],"those":[126,144],"fields":[128],"that":[129,136,145],"deserve":[130],"attention,":[132],"considering":[133],"areas":[135],"already":[137],"likely":[148],"adopt":[150],"future.":[155]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3012567678","counts_by_year":[{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":6}],"updated_date":"2025-01-07T20:46:26.292120","created_date":"2020-03-27"}