{"id":"https://openalex.org/W3168593110","doi":"https://doi.org/10.1007/s00153-021-00785-4","title":"24th Workshop on Logic, Language, Information and Computation\u2014WoLLIC 2017","display_name":"24th Workshop on Logic, Language, Information and Computation\u2014WoLLIC 2017","publication_year":2021,"publication_date":"2021-06-15","ids":{"openalex":"https://openalex.org/W3168593110","doi":"https://doi.org/10.1007/s00153-021-00785-4","mag":"3168593110","pmid":"https://pubmed.ncbi.nlm.nih.gov/34149188"},"language":"en","primary_location":{"id":"doi:10.1007/s00153-021-00785-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-021-00785-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-021-00785-4.pdf","source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"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":"Archive for Mathematical Logic","raw_type":"journal-article"},"type":"editorial","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/s00153-021-00785-4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021752135","display_name":"Juliette Kennedy","orcid":"https://orcid.org/0000-0001-6567-4098"},"institutions":[{"id":"https://openalex.org/I2800229700","display_name":"Helsinki Institute of Physics","ror":"https://ror.org/01x2x1522","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I2800229700","https://openalex.org/I63548447","https://openalex.org/I94722563","https://openalex.org/I9927081"]},{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Juliette Kennedy","raw_affiliation_strings":["Department of Mathematics and Statistics, University of Helsinki, Gustaf H\u00e4llstr\u00f6min katu 2b, P.O. Box 68, 00014 Helsinki, Finland","Department of Mathematics and Statistics, University of Helsinki, Gustaf H\u00e4llstr\u00f6min katu 2b, P.O. Box 68, 00014, Helsinki, Finland"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Helsinki, Gustaf H\u00e4llstr\u00f6min katu 2b, P.O. Box 68, 00014 Helsinki, Finland","institution_ids":[]},{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Helsinki, Gustaf H\u00e4llstr\u00f6min katu 2b, P.O. Box 68, 00014, Helsinki, Finland","institution_ids":["https://openalex.org/I2800229700","https://openalex.org/I133731052"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113469131","display_name":"Ruy de Queiroz","orcid":null},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Ruy de Queiroz","raw_affiliation_strings":["Centro de Inform\u00e1tica-Univ Federal de Pernambuco (UFPE), Av. Jornalista An\u00edbal Fernandes, s/n Cidade Universit\u00e1ria, 50740-560 Recife, PE Brazil","Centro de Inform\u00e1tica\u2014Univ Federal de Pernambuco (UFPE), Av. Jornalista An\u00edbal Fernandes, s/n Cidade Universit\u00e1ria, 50740-560, Recife, PE, Brazil"],"affiliations":[{"raw_affiliation_string":"Centro de Inform\u00e1tica-Univ Federal de Pernambuco (UFPE), Av. Jornalista An\u00edbal Fernandes, s/n Cidade Universit\u00e1ria, 50740-560 Recife, PE Brazil","institution_ids":[]},{"raw_affiliation_string":"Centro de Inform\u00e1tica\u2014Univ Federal de Pernambuco (UFPE), Av. Jornalista An\u00edbal Fernandes, s/n Cidade Universit\u00e1ria, 50740-560, Recife, PE, Brazil","institution_ids":["https://openalex.org/I25112270"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5021752135"],"corresponding_institution_ids":["https://openalex.org/I133731052","https://openalex.org/I2800229700"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07159788,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"60","issue":"5","first_page":"525","last_page":"527"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.4361000061035156,"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.4361000061035156,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.39570000767707825,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.3714999854564667,"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.6000851392745972},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4957359731197357},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.49160560965538025},{"id":"https://openalex.org/keywords/mathematical-logic","display_name":"Mathematical logic","score":0.4582367241382599},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4376333951950073},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4239656925201416},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.42268896102905273},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3514973521232605},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.08201107382774353}],"concepts":[{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6000851392745972},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4957359731197357},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49160560965538025},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.4582367241382599},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4376333951950073},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4239656925201416},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42268896102905273},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3514973521232605},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.08201107382774353}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s00153-021-00785-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-021-00785-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-021-00785-4.pdf","source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"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":"Archive for Mathematical Logic","raw_type":"journal-article"},{"id":"pmid:34149188","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/34149188","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for mathematical logic","raw_type":null},{"id":"pmh:oai:pubmedcentral.nih.gov:8204597","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/8204597","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Arch Math Log","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1007/s00153-021-00785-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-021-00785-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-021-00785-4.pdf","source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"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":"Archive for Mathematical Logic","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4099999964237213,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3168593110.pdf","grobid_xml":"https://content.openalex.org/works/W3168593110.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4251748586","https://openalex.org/W4243527446","https://openalex.org/W4233272959","https://openalex.org/W4246568837","https://openalex.org/W4253166614","https://openalex.org/W4230505227","https://openalex.org/W4206506751","https://openalex.org/W4229933355","https://openalex.org/W4243076314","https://openalex.org/W4230997055"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}