{"id":"https://openalex.org/W2518850375","doi":"https://doi.org/10.1093/jigpal/jzw014","title":"22nd Workshop on Logic, Language, Information and Computation (<i>WoLLIC 2015</i>)","display_name":"22nd Workshop on Logic, Language, Information and Computation (<i>WoLLIC 2015</i>)","publication_year":2016,"publication_date":"2016-07-07","ids":{"openalex":"https://openalex.org/W2518850375","doi":"https://doi.org/10.1093/jigpal/jzw014","mag":"2518850375"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzw014","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzw014","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/A5033562494","display_name":"Valeria de Paiva","orcid":"https://orcid.org/0000-0002-1078-6970"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Valeria de Paiva","raw_affiliation_strings":["(Programme Chair)"],"affiliations":[{"raw_affiliation_string":"(Programme Chair)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020225402","display_name":"Larry Moss","orcid":null},"institutions":[{"id":"https://openalex.org/I1328728281","display_name":"MACOM (United States)","ror":"https://ror.org/04wf6rg14","country_code":"US","type":"company","lineage":["https://openalex.org/I1328728281"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Larry Moss","raw_affiliation_strings":["(Org Comm Local Co-Chair)"],"affiliations":[{"raw_affiliation_string":"(Org Comm Local Co-Chair)","institution_ids":["https://openalex.org/I1328728281"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018841823","display_name":"Dani\u00ebl Leivant","orcid":"https://orcid.org/0000-0003-4041-4382"},"institutions":[{"id":"https://openalex.org/I1328728281","display_name":"MACOM (United States)","ror":"https://ror.org/04wf6rg14","country_code":"US","type":"company","lineage":["https://openalex.org/I1328728281"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Leivant","raw_affiliation_strings":["(Org Comm Local Co-Chair)"],"affiliations":[{"raw_affiliation_string":"(Org Comm Local Co-Chair)","institution_ids":["https://openalex.org/I1328728281"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113469131","display_name":"Ruy de Queiroz","orcid":null},"institutions":[{"id":"https://openalex.org/I1328728281","display_name":"MACOM (United States)","ror":"https://ror.org/04wf6rg14","country_code":"US","type":"company","lineage":["https://openalex.org/I1328728281"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruy de Queiroz","raw_affiliation_strings":["(Org Comm Co-Chair)"],"affiliations":[{"raw_affiliation_string":"(Org Comm Co-Chair)","institution_ids":["https://openalex.org/I1328728281"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5033562494"],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05575792,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"5","first_page":"859","last_page":"859"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983000159263611,"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.9933000206947327,"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/geography","display_name":"Geography","score":0.5436427593231201},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.4023311138153076},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.3339059054851532},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.06666737794876099}],"concepts":[{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.5436427593231201},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.4023311138153076},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.3339059054851532},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.06666737794876099},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/jigpal/jzw014","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzw014","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"},{"id":"pmh:oai:open-archive.highwire.org:igpl:24/5/859","is_oa":false,"landing_page_url":"http://jigpal.oxfordjournals.org/cgi/content/short/24/5/859","pdf_url":null,"source":{"id":"https://openalex.org/S4406923041","display_name":"HighWire Press Open Archive","issn_l":null,"issn":null,"is_oa":false,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"TEXT"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.6299999952316284,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W151008459","https://openalex.org/W2024189573","https://openalex.org/W2094685149","https://openalex.org/W6606137247"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W93312527","https://openalex.org/W2603296253","https://openalex.org/W1589203209","https://openalex.org/W2557454913","https://openalex.org/W828925460","https://openalex.org/W11365241","https://openalex.org/W1013667899","https://openalex.org/W2559405764","https://openalex.org/W157591366"],"abstract_inverted_index":{"WoLLIC":[0,17],"2015":[1],"was":[2],"held":[3,86],"in":[4,11,28,37,53,91,98,103,108,115,120,126,132,139,143,149,154,159,162,165,168,171,175,178,181,194,198,201,204,208],"Bloomington,":[5],"Indiana,":[6],"USA,":[7],"20\u201323":[8],"July":[9],"2015,":[10],"the":[12,31,54,62,187],"campus":[13],"of":[14,24,33,56],"Indiana":[15],"University.":[16],"(":[18],"http://wollic.org":[19],")":[20],"is":[21,44,50,71,184],"a":[22,47],"series":[23],"workshops":[25],"which":[26,49],"started":[27],"1994":[29,92],"with":[30],"aim":[32],"fostering":[34],"interdisciplinary":[35],"research":[36],"pure":[38],"and":[39,61,67,69,78,93],"applied":[40],"logic.":[41],"The":[42],"idea":[43],"to":[45,65,74],"have":[46],"forum":[48],"large":[51],"enough":[52,73],"number":[55],"possible":[57],"interactions":[58],"between":[59],"logic":[60],"sciences":[63],"related":[64],"information":[66],"computation,":[68],"yet":[70],"small":[72],"allow":[75],"for":[76],"concrete":[77],"useful":[79],"interaction":[80],"among":[81],"participants.":[82],"Previous":[83],"versions":[84],"were":[85],"at:":[87],"Recife":[88],"(Pernambuco,":[89],"Brazil)":[90,97,102,114,119,125,138,148],"1995;":[94],"Salvador":[95],"(Bahia,":[96],"1996;":[99],"Fortaleza":[100],"(Cear\u00e1,":[101],"1997;":[104],"S\u00e3o":[105],"Paulo":[106],"(Brazil)":[107,131],"1998;":[109],"Itatiaia":[110],"(Rio":[111],"de":[112,129,157],"Janeiro,":[113],"1999;":[116],"Natal":[117],"(RN,":[118],"2000;":[121],"Bras\u00edlia":[122,167],"(Distrito":[123],"Federal,":[124],"2001;":[127],"Rio":[128,156],"Janeiro":[130,158],"2002;":[133],"Ouro":[134],"Preto":[135],"(Minas":[136],"Gerais,":[137],"2003;":[140],"Fontainebleau":[141],"(France)":[142],"2004;":[144],"Florian\u00f3polis":[145],"(Santa":[146],"Catarina,":[147],"2005;":[150],"Stanford":[151],"(California,":[152],"USA)":[153],"2006;":[155],"2007;":[160],"Edinburgh":[161],"2008;":[163],"Tokyo":[164],"2009;":[166],"2010;":[169],"Philadelphia":[170],"2011;":[172],"Buenos":[173],"Aires":[174],"2012;":[176],"Darmstadt":[177],"2013;":[179],"Valparaiso":[180],"2014.":[182],"It":[183],"planned":[185],"that":[186],"meeting":[188],"will":[189],"take":[190],"place":[191],"in:":[192],"2016":[193],"Puebla":[195],"(Mexico),":[196],"2017":[197],"Utrecht,":[199],"2018":[200],"Bogot\u00e1,":[202],"2019":[203],"Chennai":[205],"(tbc),":[206],"2020":[207],"Arequipa.":[209]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-09-23T00:00:00"}