{"id":"https://openalex.org/W2966046769","doi":"https://doi.org/10.1017/s1471068419000309","title":"A Distributed Approach to LARS Stream Reasoning (System paper)","display_name":"A Distributed Approach to LARS Stream Reasoning (System paper)","publication_year":2019,"publication_date":"2019-09-01","ids":{"openalex":"https://openalex.org/W2966046769","doi":"https://doi.org/10.1017/s1471068419000309","mag":"2966046769"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068419000309","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068419000309","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1907.12344","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"THOMAS EITER","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"THOMAS EITER","raw_affiliation_strings":["Technische Universit\u00e4t Wien, Institut f\u00fcr Logic and Computation, KBS Group (e-mail:"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, Institut f\u00fcr Logic and Computation, KBS Group (e-mail:","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":null,"display_name":"PAUL OGRIS","orcid":"https://orcid.org/0000-0002-6745-2197"},"institutions":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"PAUL OGRIS","raw_affiliation_strings":["Alpen-Adria-Universit\u00e4t, Klagenfurt, Austria (e-mail:"],"affiliations":[{"raw_affiliation_string":"Alpen-Adria-Universit\u00e4t, Klagenfurt, Austria (e-mail:","institution_ids":["https://openalex.org/I4210166741"]}]},{"author_position":"last","author":{"id":null,"display_name":"KONSTANTIN SCHEKOTIHIN","orcid":"https://orcid.org/0000-0002-0286-0958"},"institutions":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"KONSTANTIN SCHEKOTIHIN","raw_affiliation_strings":["Alpen-Adria-Universit\u00e4t, Klagenfurt, Austria (e-mail:"],"affiliations":[{"raw_affiliation_string":"Alpen-Adria-Universit\u00e4t, Klagenfurt, Austria (e-mail:","institution_ids":["https://openalex.org/I4210166741"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":0.9268,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.77746658,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"19","issue":"5-6","first_page":"974","last_page":"989"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.4214000105857849,"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.4214000105857849,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.12189999967813492,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.0803999975323677,"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.6348000168800354},{"id":"https://openalex.org/keywords/data-stream-mining","display_name":"Data stream mining","score":0.6134999990463257},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.49889999628067017},{"id":"https://openalex.org/keywords/stream-processing","display_name":"Stream processing","score":0.475600004196167},{"id":"https://openalex.org/keywords/data-stream","display_name":"Data stream","score":0.47269999980926514},{"id":"https://openalex.org/keywords/distributed-computing-environment","display_name":"Distributed Computing Environment","score":0.41999998688697815},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.3806999921798706},{"id":"https://openalex.org/keywords/distributed-algorithm","display_name":"Distributed algorithm","score":0.3806999921798706}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9172999858856201},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6348000168800354},{"id":"https://openalex.org/C89198739","wikidata":"https://www.wikidata.org/wiki/Q3079880","display_name":"Data stream mining","level":2,"score":0.6134999990463257},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.49889999628067017},{"id":"https://openalex.org/C107027933","wikidata":"https://www.wikidata.org/wiki/Q2006448","display_name":"Stream processing","level":2,"score":0.475600004196167},{"id":"https://openalex.org/C2778484313","wikidata":"https://www.wikidata.org/wiki/Q1172540","display_name":"Data stream","level":2,"score":0.47269999980926514},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4542999863624573},{"id":"https://openalex.org/C3739613","wikidata":"https://www.wikidata.org/wiki/Q679003","display_name":"Distributed Computing Environment","level":2,"score":0.41999998688697815},{"id":"https://openalex.org/C130120984","wikidata":"https://www.wikidata.org/wiki/Q2835898","display_name":"Distributed algorithm","level":2,"score":0.3806999921798706},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3806999921798706},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.3752000033855438},{"id":"https://openalex.org/C70061542","wikidata":"https://www.wikidata.org/wiki/Q989016","display_name":"Distributed database","level":2,"score":0.335099995136261},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3174999952316284},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3041999936103821},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.3003999888896942},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.28780001401901245},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2815999984741211},{"id":"https://openalex.org/C42090638","wikidata":"https://www.wikidata.org/wiki/Q4048907","display_name":"STREAMS","level":2,"score":0.263700008392334},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.26030001044273376},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.26010000705718994}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1471068419000309","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068419000309","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1907.12344","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.12344","pdf_url":"https://arxiv.org/pdf/1907.12344","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1907.12344","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.12344","pdf_url":"https://arxiv.org/pdf/1907.12344","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1528610972","https://openalex.org/W1976303542","https://openalex.org/W2049696538","https://openalex.org/W2099395665","https://openalex.org/W2111353076","https://openalex.org/W2134193499","https://openalex.org/W2161484642","https://openalex.org/W2191435020","https://openalex.org/W2892905256","https://openalex.org/W6606685274","https://openalex.org/W6628730125","https://openalex.org/W6629714349","https://openalex.org/W6714250679","https://openalex.org/W6741915067","https://openalex.org/W6743927439","https://openalex.org/W6797926213"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Stream":[1],"reasoning":[2,20,105,154],"systems":[3,82],"are":[4,21,45,68,173],"designed":[5],"for":[6,136],"complex":[7],"decision-making":[8],"from":[9],"possibly":[10],"infinite,":[11],"dynamic":[12],"streams":[13,44],"of":[14,42,50,58,65,78,127,144,164,170],"data.":[15],"Modern":[16],"approaches":[17,52],"to":[18,87,103,123],"stream":[19,79,104,153],"usually":[22],"performing":[23],"their":[24,32,115],"computations":[25,110],"using":[26],"stand-alone":[27,158],"solvers,":[28],"which":[29,140],"incrementally":[30],"update":[31],"internal":[33],"state":[34],"and":[35,62,167],"return":[36],"results":[37,116],"as":[38,55],"the":[39,48,56,59,63,76,125,128,137,151,162,168],"new":[40],"portions":[41],"data":[43,61,118,172],"pushed.":[46],"However,":[47],"performance":[49],"such":[51],"degrades":[53],"quickly":[54],"rates":[57],"input":[60],"complexity":[64,163],"decision":[66,165],"problems":[67,166],"growing.":[69],"This":[70],"problem":[71],"was":[72],"already":[73],"recognized":[74],"in":[75,85,121],"area":[77],"processing,":[80],"where":[81],"became":[83],"distributed":[84,101,129,152],"order":[86,122],"allocate":[88],"vast":[89],"computing":[90],"resources":[91],"provided":[92],"by":[93],"clouds.":[94],"In":[95],"this":[96],"paper":[97],"we":[98,131],"propose":[99],"a":[100],"approach":[102],"that":[106,150],"can":[107],"efficiently":[108],"split":[109],"among":[111],"different":[112],"solvers":[113,160],"communicating":[114],"over":[117],"streams.":[119],"Moreover,":[120],"increase":[124],"throughput":[126],"system,":[130],"suggest":[132],"an":[133],"interval-based":[134],"semantics":[135],"LARS":[138,159],"language,":[139],"enables":[141],"significant":[142],"reductions":[143],"network":[145],"traffic.":[146],"Performed":[147],"evaluations":[148],"indicate":[149],"significantly":[155],"outperforms":[156],"existing":[157],"when":[161],"rate":[169],"incoming":[171],"increasing.":[174]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2019-08-13T00:00:00"}