Filters








24 Hits in 3.3 sec

Ticker: A System for Incremental ASP-based Stream Reasoning [article]

Harald Beck, Thomas Eiter, Christian Folie
2017 arXiv   pre-print
This paper introduces Ticker, a prototypical engine for well-defined logical reasoning over streaming data.  ...  Ticker builds on a practical fragment of the recent rule-based language LARS which extends Answer Set Programming for streams by providing flexible expiration control and temporal modalities.  ...  We thank Roland Kaminski for providing guidance on the use of Clingo.  ... 
arXiv:1707.05304v2 fatcat:34vx3s75sfdqpei4jenr2kotkm

Ticker: A system for incremental ASP-based stream reasoning

HARALD BECK, THOMAS EITER, CHRISTIAN FOLIE
2017 Theory and Practice of Logic Programming  
This paper introduces Ticker, a prototypical engine for well-defined logical reasoning over streaming data.  ...  Ticker builds on a practical fragment of the recent rule-based language LARS, which extends ASP for streams by providing flexible expiration control and temporal modalities.  ...  We thank Roland Kaminski for providing guidance on the use of Clingo.  ... 
doi:10.1017/s1471068417000370 fatcat:mskxue2y6jckppfrotnlgviao4

Stream Reasoning with LARS

Harald Beck, Minh Dao-Tran, Thomas Eiter, Christian Folie
2018 Künstliche Intelligenz  
This motivated the logic-based framework LARS for analytic reasoning over streams. However, it is also attractive for applications by itself.  ...  Stream reasoning is the task of continuously deriving conclusions on streaming data.  ...  The second, more efficient mode is incremental; it uses truth maintenance systems to adjust the model of a dynamically updated ASP encoding.  ... 
doi:10.1007/s13218-018-0537-9 fatcat:pwzsvz74czc7fkihze2fgcqytu

A Distributed Approach to LARS Stream Reasoning (System paper)

THOMAS EITER, PAUL OGRIS, KONSTANTIN SCHEKOTIHIN
2019 Theory and Practice of Logic Programming  
AbstractStream reasoning systems are designed for complex decision-making from possibly infinite, dynamic streams of data.  ...  Moreover, in order to increase the throughput of the distributed system, we suggest an interval-based semantics for the LARS language, which enables significant reductions of network traffic.  ...  861263), which is funded by the Austrian Federal Ministry of Transport, Innovation and Technology (BMVIT) under the program "ICT of the Future" between 2017 and 2020 (see https://iktderzukunft.at/en/ for  ... 
doi:10.1017/s1471068419000309 fatcat:ohnmjzuyffdgxcx7tvebp45e2i

Expressive Stream Reasoning with Laser [article]

Hamid R. Bazoobandi and Harald Beck and Jacopo Urbani
2017 arXiv   pre-print
We propose Laser, a new reasoner that supports a pragmatic, non-trivial fragment of the logic LARS which extends Answer Set Programming (ASP) for streams.  ...  This enables the application of expressive logic-based reasoning to large streams and opens the door to a wider range of stream reasoning use cases.  ...  . • We present Laser, a novel stream reasoning system based the recent rule-based framework LARS [8] , which extends Answer Set Programming (ASP) for stream reasoning.  ... 
arXiv:1707.08876v2 fatcat:ukghntgzdjh5jkp6er3un6bal4

Managing caching strategies for stream reasoning with reinforcement learning [article]

Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
2020 arXiv   pre-print
Modern stream reasoning frameworks allow one to model and solve various real-world problems using incremental and continuous evaluation of programs as new data arrives in the stream.  ...  of the algorithm in stream reasoning scenarios.  ...  Acknowledgments The authors would like to thank the anonymous reviewers for their helpful comments that helped us to improve the paper a lot.  ... 
arXiv:2008.03212v1 fatcat:atgdct4vajeivhfqc5nqbags5y

Managing caching strategies for stream reasoning with reinforcement learning

CARMINE DODARO, THOMAS EITER, PAUL OGRIS, KONSTANTIN SCHEKOTIHIN
2020 Theory and Practice of Logic Programming  
Modern stream reasoning frameworks allow one to model and solve various real-world problems using incremental and continuous evaluation of programs as new data arrives in the stream.  ...  of the algorithm in stream reasoning scenarios.  ...  Acknowledgments The authors would like to thank the anonymous reviewers for their helpful comments that helped us to improve the paper a lot.  ... 
doi:10.1017/s147106842000037x fatcat:zv2bhtdzyfgurpwlitumynnx2y

I-DLV-sr: A Stream Reasoning System based on I-DLV [article]

Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
2021 arXiv   pre-print
We introduce a novel logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the I^2-DLV system.  ...  The architecture allows to take advantage from both the powerful distributed stream processing capabilities of Flink and the incremental reasoning capabilities of I^2-DLV based on overgrounding techniques  ...  However, ASP-based stream reasoners appear not mature enough with respect to the desirable requirements for SR (Dell'Aglio et al. 2017) .  ... 
arXiv:2108.02797v1 fatcat:fihzynnusfee7mispd55443kim

Enhancing the scalability of expressive stream reasoning via input-driven parallelization

Thu-Le Pham, Muhammad Intizar Ali, Alessandra Mileo, Daniele Dell'Aglio, Thomas Eiter, Fredrik Heintz, Danh Le Phuoc, Daniele Dell Aglio, Thomas Eiter, Fredrik Heintz, Danh Le Phuoc
2019 Semantic Web Journal  
In the approach, we specifically focused on the scalability of a rule layer based on a fragment of Answer Set Programming (ASP).  ...  Stream reasoning is an emerging research area focused on providing continuous reasoning solutions for data streams.  ...  A different approach to enhance the scalability of expressive stream reasoning is based on incremental methods.  ... 
doi:10.3233/sw-180330 fatcat:r6lsusyu7refnnswbpq76wrzaq

BigSR: an empirical study of real-time expressive RDF stream reasoning on modern Big Data platforms [article]

Xiangnan Ren and Olivier Curé and Hubert Naacke and Guohui Xiao
2018 arXiv   pre-print
The trade-off between language expressiveness and system scalability (E&S) is a well-known problem in RDF stream reasoning.  ...  Current research mainly focuses on logical frameworks suitable for stream reasoning as well as the implementation and the evaluation of prototype systems.  ...  Ticker concentrates incremental model maintenance and sacrifices performance by relying on an external ASP engine (Clingo).  ... 
arXiv:1804.04367v1 fatcat:up2rgtt4bbc67ohpy3qwzsyn6y

Incremental maintenance of overgrounded logic programs with tailored simplifications [article]

Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2020 arXiv   pre-print
The repeated execution of reasoning tasks is desirable in many applicative scenarios, such as stream reasoning and event processing.  ...  We introduce a new strategy for generating series of monotonically growing propositional programs.  ...  The Ticker system can be seen as a significant effort in this direction, as it implements the LARS stream reasoning formal framework by using back-end incremental truth maintenance techniques under ASP  ... 
arXiv:2008.04108v1 fatcat:zf77yg7xnvblpjebkpeacivpue

Incremental Answer Set Programming with Overgrounding

FRANCESCO CALIMERI, GIOVAMBATTISTA IANNI, FRANCESCO PACENZA, SIMONA PERRI, JESSICA ZANGARI
2019 Theory and Practice of Logic Programming  
AbstractRepeated executions of reasoning tasks for varying inputs are necessary in many applicative settings, such as stream reasoning.  ...  In this context, we propose an incremental grounding approach for the answer set semantics.  ...  Acknowledgements This work has been partially supported by the Italian MIUR Ministry and the Presidency of the Council of Ministers under project "Declarative Reasoning over Streams" under the "PRIN" 2017  ... 
doi:10.1017/s1471068419000292 fatcat:cnmg4kkd5zebzgzjzcelk2sete

Introduction to the 33rd international conference on logic programming special issue

RICARDO ROCHA, TRAN CAO SON
2017 Theory and Practice of Logic Programming  
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.  ...  This special issue of Theory and Practice of Logic Programming (TPLP) contains the regular papers accepted for presentation at the 33rd International Conference on Logic Programming (ICLP 2017), held in  ...  Thanks should go also to the authors of all submitted papers for their contribution to make ICLP alive and to the participants for making the event a meeting point for a fruitful exchange of ideas and  ... 
doi:10.1017/s1471068417000448 fatcat:5fzi32lspbeozdpvmdvhjdyia4

Handling Impossible Derivations During Stream Reasoning [chapter]

Hamid R. Bazoobandi, Henri Bal, Frank van Harmelen, Jacopo Urbani
2020 Lecture Notes in Computer Science  
Logic-based frameworks like LARS allow the execution of complex reasoning on such streams, but it is paramount that the computation is completed in a timely manner before the stream expires.  ...  With the rapid expansion of the Web and the advent of the Internet of Things, there is a growing need to design tools for intelligent analytics and decision making on streams of data.  ...  Finally, a research area that is closely related to stream reasoning is incremental reasoning [17, 23, 24, 28, 35, 37] .  ... 
doi:10.1007/978-3-030-49461-2_1 fatcat:calthoqtqfbdpmssfizr6pzccu

Foundations of Composite Event Recognition (Dagstuhl Seminar 20071)

Alexander Artikis, Thomas Eiter, Alessandro Margara, Stijn Vansummeren
2020 Dagstuhl Reports  
Moreover, we lack a common understanding of the trade-offs between expressiveness and complexity, and a theory for comparing the fundamental capabilities of CER systems.  ...  The objective of the seminar was to bring together researchers and practitioners working in Databases, Distributed Systems, Automata Theory, Logic and Stream Reasoning; disseminate the recent foundational  ...  Probabilistic and Predictive Stream Reasoning Stream Reasoning: A Tutorial Semantic Stream Reasoning For Online Visual Sensor Fusion Distributed Event-Based Systems: A Tutorial Streaming Graph  ... 
doi:10.4230/dagrep.10.2.19 dblp:journals/dagstuhl-reports/ArtikisEMV20 fatcat:35cbhc4l3be3pc7ccu2n54dbbq
« Previous Showing results 1 — 15 out of 24 results