{"id":"https://openalex.org/W64666703","doi":"https://doi.org/10.1007/978-3-642-37651-1_3","title":"Canonical Ground Horn Theories","display_name":"Canonical Ground Horn Theories","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W64666703","doi":"https://doi.org/10.1007/978-3-642-37651-1_3","mag":"64666703"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-37651-1_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-37651-1_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5082604888","display_name":"Maria Paola Bonacina","orcid":"https://orcid.org/0000-0001-9104-2692"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Maria Paola Bonacina","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 degli Studi di Verona, Strada Le Grazie 15, I-37134, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 degli Studi di Verona, Strada Le Grazie 15, I-37134, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039993352","display_name":"Nachum Dershowitz","orcid":"https://orcid.org/0000-0003-0363-2735"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Nachum Dershowitz","raw_affiliation_strings":["School of Computer Science, Tel Aviv University, Ramat Aviv, 69978, Israel"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, Tel Aviv University, Ramat Aviv, 69978, Israel","institution_ids":["https://openalex.org/I16391192"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082604888"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.03150885,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"35","last_page":"71"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13752","display_name":"Mechanics and Biomechanics Studies","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical 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/T13752","display_name":"Mechanics and Biomechanics Studies","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical 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/T11349","display_name":"Music Technology and Sound Studies","score":0.9609000086784363,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T13742","display_name":"Metallurgy and Cultural Artifacts","score":0.960099995136261,"subfield":{"id":"https://openalex.org/subfields/3302","display_name":"Archeology"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8029110431671143},{"id":"https://openalex.org/keywords/french-horn","display_name":"French horn","score":0.6633233428001404},{"id":"https://openalex.org/keywords/acoustics","display_name":"Acoustics","score":0.10023090243339539},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0908244252204895}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8029110431671143},{"id":"https://openalex.org/C152076505","wikidata":"https://www.wikidata.org/wiki/Q1126540","display_name":"French horn","level":2,"score":0.6633233428001404},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.10023090243339539},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0908244252204895}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-642-37651-1_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-37651-1_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.304.6659","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.6659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://profs.sci.univr.it/~bonacina/papers/TR2007HornCanonicity.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.404.2582","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.404.2582","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.tau.ac.il/~nachumd/papers/HornCanon.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.468.4674","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.4674","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://profs.sci.univr.it/~bonacina/papers/LNAI7797-2013HornCanonical.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.96.4525","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.4525","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://profs.sci.univr.it/~bonacina/papers/TR2007HornCanonicity.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7699999809265137}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":94,"referenced_works":["https://openalex.org/W11944275","https://openalex.org/W31561947","https://openalex.org/W32395600","https://openalex.org/W33901518","https://openalex.org/W100098737","https://openalex.org/W134953795","https://openalex.org/W141756365","https://openalex.org/W205063686","https://openalex.org/W598205067","https://openalex.org/W1482220610","https://openalex.org/W1506139968","https://openalex.org/W1512750313","https://openalex.org/W1515715680","https://openalex.org/W1530765221","https://openalex.org/W1537601430","https://openalex.org/W1541434994","https://openalex.org/W1558528332","https://openalex.org/W1563969441","https://openalex.org/W1573175029","https://openalex.org/W1581810060","https://openalex.org/W1585533089","https://openalex.org/W1589421353","https://openalex.org/W1593462533","https://openalex.org/W1593799327","https://openalex.org/W1595374223","https://openalex.org/W1600322695","https://openalex.org/W1790807402","https://openalex.org/W1792111512","https://openalex.org/W1849621571","https://openalex.org/W1963677040","https://openalex.org/W1968386045","https://openalex.org/W1972956465","https://openalex.org/W1980250820","https://openalex.org/W1991856459","https://openalex.org/W1992391625","https://openalex.org/W1996038999","https://openalex.org/W1996999450","https://openalex.org/W1999927144","https://openalex.org/W2010001930","https://openalex.org/W2011992362","https://openalex.org/W2014030742","https://openalex.org/W2015788118","https://openalex.org/W2016433302","https://openalex.org/W2019751493","https://openalex.org/W2022122724","https://openalex.org/W2023447392","https://openalex.org/W2027211529","https://openalex.org/W2033598071","https://openalex.org/W2036475963","https://openalex.org/W2037085273","https://openalex.org/W2044301710","https://openalex.org/W2047669821","https://openalex.org/W2053515248","https://openalex.org/W2056181378","https://openalex.org/W2056716318","https://openalex.org/W2059799630","https://openalex.org/W2073984738","https://openalex.org/W2079957100","https://openalex.org/W2084417024","https://openalex.org/W2087588854","https://openalex.org/W2088725049","https://openalex.org/W2091210577","https://openalex.org/W2107965579","https://openalex.org/W2113890674","https://openalex.org/W2120926795","https://openalex.org/W2130170010","https://openalex.org/W2132750992","https://openalex.org/W2142738806","https://openalex.org/W2144417516","https://openalex.org/W2145062905","https://openalex.org/W2150307403","https://openalex.org/W2156915267","https://openalex.org/W2161257777","https://openalex.org/W2169983057","https://openalex.org/W2294957387","https://openalex.org/W2319798085","https://openalex.org/W2406486770","https://openalex.org/W2493672872","https://openalex.org/W2506088122","https://openalex.org/W2507006525","https://openalex.org/W2547662413","https://openalex.org/W2561675875","https://openalex.org/W2612793397","https://openalex.org/W2618896829","https://openalex.org/W2749479972","https://openalex.org/W2786170043","https://openalex.org/W2912818154","https://openalex.org/W2913078623","https://openalex.org/W3021880308","https://openalex.org/W3104411811","https://openalex.org/W3124500340","https://openalex.org/W4285719527","https://openalex.org/W4294444007","https://openalex.org/W6633785351"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1521840795","https://openalex.org/W2404034801","https://openalex.org/W585840735","https://openalex.org/W2002946113","https://openalex.org/W2727148788","https://openalex.org/W2056061527","https://openalex.org/W2047785440","https://openalex.org/W4200564361","https://openalex.org/W2390279801"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}