{"id":"https://openalex.org/W3013475633","doi":"https://doi.org/10.4230/lipics.icdt.2020.4","title":"Executable First-Order Queries in the Logic of Information Flows","display_name":"Executable First-Order Queries in the Logic of Information Flows","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3013475633","doi":"https://doi.org/10.4230/lipics.icdt.2020.4","mag":"3013475633"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.4230/LIPIcs.ICDT.2020.4","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":[],"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/A5063799069","display_name":"Heba Aamer","orcid":"https://orcid.org/0000-0003-0460-8534"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Heba Aamer","raw_affiliation_strings":["Hasselt University, Hasselt, Belgium"],"affiliations":[{"raw_affiliation_string":"Hasselt University, Hasselt, Belgium","institution_ids":["https://openalex.org/I878454856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089527287","display_name":"Bart Bogaerts","orcid":"https://orcid.org/0000-0003-3460-4251"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Bart Bogaerts","raw_affiliation_strings":["University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005170472","display_name":"Dimitri Surinx","orcid":"https://orcid.org/0000-0003-0718-8854"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Dimitri Surinx","raw_affiliation_strings":["Hasselt University, Hasselt, Belgium"],"affiliations":[{"raw_affiliation_string":"Hasselt University, Hasselt, Belgium","institution_ids":["https://openalex.org/I878454856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044912069","display_name":"Eugenia Ternovska","orcid":null},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Eugenia Ternovska","raw_affiliation_strings":["Simon Fraser University, Burnaby, Canada"],"affiliations":[{"raw_affiliation_string":"Simon Fraser University, Burnaby, Canada","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089823917","display_name":"Jan Van den Bussche","orcid":"https://orcid.org/0000-0003-0072-3252"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Jan Van den Bussche","raw_affiliation_strings":["Hasselt University, Hasselt, Belgium"],"affiliations":[{"raw_affiliation_string":"Hasselt University, Hasselt, Belgium","institution_ids":["https://openalex.org/I878454856"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.511,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.740995,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":81,"max":82},"biblio":{"volume":null,"issue":null,"first_page":"14","last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9973,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9973,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9885,"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/T11719","display_name":"Data Quality and Management","score":0.9871,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.86802685},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.52192235},{"id":"https://openalex.org/keywords/representation","display_name":"Representation","score":0.4942801},{"id":"https://openalex.org/keywords/determinacy","display_name":"Determinacy","score":0.45621672},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.41078305}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.86802685},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.68618256},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.53615755},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5295661},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5247883},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.52192235},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4942801},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.48860103},{"id":"https://openalex.org/C58468513","wikidata":"https://www.wikidata.org/wiki/Q1201165","display_name":"Determinacy","level":2,"score":0.45621672},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.41078305},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36636943},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16045186},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.4230/LIPIcs.ICDT.2020.4","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","score":0.68,"id":"https://metadata.un.org/sdg/16"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3082838271","https://openalex.org/W3021453356","https://openalex.org/W2972160279","https://openalex.org/W2952624498","https://openalex.org/W2949875955","https://openalex.org/W2947643433","https://openalex.org/W2892050133","https://openalex.org/W2769200897","https://openalex.org/W2539097798","https://openalex.org/W2264437737","https://openalex.org/W2135220153","https://openalex.org/W2107831658","https://openalex.org/W2053843943","https://openalex.org/W2036430638","https://openalex.org/W191704464","https://openalex.org/W1890875952","https://openalex.org/W1547267877","https://openalex.org/W1535808278","https://openalex.org/W1529374574","https://openalex.org/W1522925810"],"abstract_inverted_index":{"The":[0,112],"logic":[1,106],"of":[2,17,24,45,76,91,104,114,119,123,156],"information":[3],"flows":[4],"(LIF)":[5],"has":[6],"recently":[7],"been":[8],"proposed":[9],"as":[10],"a":[11,25,33,52,74,82,88,117],"general":[12],"framework":[13],"in":[14,32,55,81,146,154],"the":[15,43,56,101,120,157],"field":[16],"knowledge":[18],"representation.":[19],"In":[20,37],"this":[21,38,67,70],"framework,":[22],"tasks":[23],"procedural":[26],"nature":[27],"can":[28],"still":[29],"be":[30],"modeled":[31],"declarative,":[34],"logic-based":[35],"fashion.":[36],"paper,":[39],"we":[40,72],"focus":[41],"on":[42,134],"task":[44],"query":[46],"processing":[47],"under":[48],"limited":[49],"access":[50],"patterns,":[51],"well-studied":[53],"problem":[54],"database":[57],"literature.":[58],"We":[59,85],"show":[60,95],"that":[61,96],"LIF":[62,77,141],"is":[63],"well-suited":[64],"for":[65,139],"modeling":[66],"task.":[68],"Toward":[69],"goal,":[71],"introduce":[73],"variant":[75],"called":[78],"forward":[92,140],"LIF,":[80,93],"first-order":[83,105],"setting.":[84],"define":[86],"FLIF^io,":[87],"syntactical":[89],"fragment":[90,103],"and":[94,110,128,136,159],"it":[97],"corresponds":[98],"exactly":[99],"to":[100],"executable":[102],"defined":[107],"by":[108],"Nash":[109],"Ludascher.":[111],"definition":[113],"FLIF^io":[115],"involves":[116],"classification":[118],"free":[121],"variables":[122],"an":[124],"expression":[125],"into":[126],"input":[158],"output":[160],"variables.":[130,161],"Our":[131],"result":[132],"hinges":[133],"inertia":[135],"determinacy":[137],"laws":[138,151],"expressions,":[142],"which":[143],"are":[144,152],"interesting":[145],"their":[147],"own":[148],"right.":[149],"These":[150],"formulated":[153],"terms":[155]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3013475633","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2}],"updated_date":"2025-01-03T10:51:51.556410","created_date":"2020-04-03"}