{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T02:50:38Z","timestamp":1725936638330},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319731162"},{"type":"electronic","value":"9783319731179"}],"license":[{"start":{"date-parts":[[2017,12,22]],"date-time":"2017-12-22T00:00:00Z","timestamp":1513900800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73117-9_6","type":"book-chapter","created":{"date-parts":[[2017,12,21]],"date-time":"2017-12-21T11:45:34Z","timestamp":1513856734000},"page":"87-93","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["LARS: A Logic-Based Framework for Analytic Reasoning over Streams"],"prefix":"10.1007","author":[{"given":"Harald","family":"Beck","sequence":"first","affiliation":[]},{"given":"Minh","family":"Dao-Tran","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,22]]},"reference":[{"key":"6_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"issue":"11","key":"6_CR2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-15918-3_5","volume-title":"Web Reasoning and Rule Systems","author":"D Anicic","year":"2010","unstructured":"Anicic, D., Fodor, P., Rudolph, S., St\u00fchmer, R., Stojanovic, N., Studer, R.: A rule-based language for complex event processing and reasoning. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 42\u201357. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15918-3_5"},{"issue":"2","key":"6_CR4","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/s00778-004-0147-z","volume":"15","author":"A Arasu","year":"2006","unstructured":"Arasu, A., Babu, S., Widom, J.: The CQL continuous query language: semantic foundations and query execution. VLDB J. 15(2), 121\u2013142 (2006)","journal-title":"VLDB J."},{"issue":"1","key":"6_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1142\/S1793351X10000936","volume":"4","author":"DF Barbieri","year":"2010","unstructured":"Barbieri, D.F., Braga, D., Ceri, S., Della Valle, E., Grossniklaus, M.: C-SPARQL: a continuous query language for RDF data streams. Int. J. Semant. Comput. 4(1), 3\u201325 (2010)","journal-title":"Int. J. Semant. Comput."},{"key":"6_CR6","unstructured":"Bazoobandi, H.R., Beck, H., Urbani, J.: Expressive stream reasoning with laser. In: Proceeding of ISWC (2017) (to appear). http:\/\/arxiv.org\/abs\/1707.08876"},{"key":"6_CR7","unstructured":"Beck, H., Bierbaumer, B., Dao-Tran, M., Eiter, T., Hellwagner, H., Schekotihin, K.: Stream reasoning-based control of caching strategies in CCN routers. In: Mao, S., Marina, M.K., Senouci, S.M. (eds.) IEEE ICC 2017 Next Generation Networking and Internet Symposium (2017). https:\/\/arxiv.org\/abs\/1610.04005"},{"key":"6_CR8","unstructured":"Beck, H., Dao-Tran, M., Eiter, T.: Equivalent stream reasoning programs. In: Kambhampati, S., Brewka, G. (eds.) Proceeding of 25th International Joint Conference on Artificial Intelligence, IJCAI 2016, pp. 929\u2013935. AAAI Press\/IJCAI (2016)"},{"key":"6_CR9","unstructured":"Beck, H., Dao-Tran, M., Eiter, T.: LARS: A Logic-Based Framework for Analytic Reasoning over Streams. Technical report INFSYS RR-1843-17-03, Institute of Information Systems, TU Wien, October 2017. http:\/\/www.kr.tuwien.ac.at\/research\/reports\/rr1703.pdf"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Beck, H., Dao-Tran, M., Eiter, T., Fink, M.: LARS: a logic-based framework for analyzing reasoning over streams. In: Bonet, B., Koenig, S. (eds.) Proceeding of 28th Conference on Artificial Intelligence, AAAI 2015, pp. 1431\u20131438. AAAI Press (2015)","DOI":"10.1609\/aaai.v29i1.9408"},{"key":"6_CR11","unstructured":"Beck, H., Eiter, T., Folie, C.: Ticker: a system for incremental ASP-based stream reasoning. Theory and Practice of Logic Programming (2017) (to appear). special issue on ICLP 2017"},{"key":"6_CR12","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceeding of 22nd Conference on Artificial Intelligence, AAAI 2007, pp. 385\u2013390. AAAI Press (2007)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T., Truszczy\u0144ski, M. (eds.): AI Magazine: special issue on Answer Set Programming, vol. 37, no. 3. AAAI Press (2016) (Fall issue)","DOI":"10.1609\/aimag.v37i3.2669"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Dao-Tran, M., Eiter, T.: Streaming multi-context systems. In: Sierra, C., Bacchus, F. (eds.) Proceeding of 26th International Joint Conference on Artificial Intelligence, IJCAI 2017, pp. 1000\u20131007. IJCAI (2017)","DOI":"10.24963\/ijcai.2017\/139"},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1109\/MIS.2009.125","volume":"24","author":"E Della Valle","year":"2009","unstructured":"Della Valle, E., Ceri, S., van Harmelen, F., Fensel, D.: It\u2019s a streaming world! reasoning upon rapidly changing information. IEEE Intell. Syst. 24, 83\u201389 (2009)","journal-title":"IEEE Intell. Syst."},{"issue":"3","key":"6_CR16","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J Doyle","year":"1979","unstructured":"Doyle, J.: A truth maintenance system. Artif. Intell. 12(3), 231\u2013272 (1979)","journal-title":"Artif. Intell."},{"issue":"4","key":"6_CR17","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1017\/S1471068415000113","volume":"16","author":"T Eiter","year":"2016","unstructured":"Eiter, T., Ianni, G., Fink, M., Krennwallner, T., Redl, C., Sch\u00fcller, P.: A model building framework for ASP with external computations. Theory Pract. Logic Program. 16(4), 418\u2013464 (2016)","journal-title":"Theory Pract. Logic Program."},{"issue":"2","key":"6_CR18","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0004-3702(90)90086-F","volume":"43","author":"C Elkan","year":"1990","unstructured":"Elkan, C.: A rational reconstruction of nonmonotonic truth maintenance systems. Artif. Intell. 43(2), 219\u2013234 (1990)","journal-title":"Artif. Intell."},{"issue":"1","key":"6_CR19","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1016\/j.artint.2010.04.002","volume":"175","author":"W Faber","year":"2011","unstructured":"Faber, W., Pfeifer, G., Leone, N.: Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175(1), 278\u2013298 (2011)","journal-title":"Artif. Intell."},{"key":"6_CR20","volume-title":"Database Systems - The Complete Book","author":"H Garcia-Molina","year":"2009","unstructured":"Garcia-Molina, H., Ullman, J.D., Widom, J.: Database Systems - The Complete Book, 2nd edn. Pearson Education, London (2009)","edition":"2"},{"key":"6_CR21","unstructured":"Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., Schaub, T.: Stream reasoning with answer set programming. Preliminary report. In: KR, pp. 613\u2013617 (2012)"},{"key":"6_CR22","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-shot ASP solving with clingo. CoRR abs\/1705.09811 (2017). http:\/\/arxiv.org\/abs\/1705.09811"},{"key":"6_CR23","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365\u2013385 (1991)","journal-title":"New Gener. Comput."},{"key":"6_CR24","unstructured":"Beck, H., Dao-Tran, M., Eiter, T.: Answer update for rule-based stream reasoning. In: Yang, Q., Wooldridge, M. (eds.) Proceeding of 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, pp. 2741\u20132747. AAAI Press\/IJCAI (2015)"},{"key":"6_CR25","unstructured":"Heyting, A.: Die formalen Regeln der intuitionistischen Logik. In: Sitzungsberichte der Preu\u00dfischen Akademie der Wissenschaften, phys.-math. Klasse, pp. 42\u201365, 57\u201371, 158\u2013169 (1930)"},{"issue":"4","key":"6_CR26","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"Real-Time Syst."},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-642-39666-3_23","volume-title":"Web Reasoning and Rule Systems","author":"A Mileo","year":"2013","unstructured":"Mileo, A., Abdelrahman, A., Policarpio, S., Hauswirth, M.: StreamRule: a nonmonotonic stream reasoning system for the semantic web. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol. 7994, pp. 247\u2013252. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39666-3_23"},{"key":"6_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-7993-3_80715-1","volume-title":"Encyclopedia of Database Systems","author":"A Mileo","year":"2017","unstructured":"Mileo, A., Dao-Tran, M., Eiter, T., Fink, M.: Stream reasoning. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems, 2nd edn. Springer, New York (2017). https:\/\/doi.org\/10.1007\/978-1-4899-7993-3_80715-1","edition":"2"},{"issue":"1\u20132","key":"6_CR29","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10472-006-9028-z","volume":"47","author":"D Pearce","year":"2006","unstructured":"Pearce, D.: Equilibrium logic. Annals Math. Artif. Intell. 47(1\u20132), 3\u201341 (2006)","journal-title":"Annals Math. Artif. Intell."},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-25073-6_24","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"D Le-Phuoc","year":"2011","unstructured":"Le-Phuoc, D., Dao-Tran, M., Xavier Parreira, J., Hauswirth, M.: A native and adaptive approach for unified processing of linked streams and linked data. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 370\u2013388. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25073-6_24"},{"key":"6_CR31","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1016\/j.websem.2012.06.003","volume":"16","author":"DL Phuoc","year":"2012","unstructured":"Phuoc, D.L., Nguyen-Mau, H.Q., Parreira, J.X., Hauswirth, M.: A middleware framework for scalable management of linked streams. J. Web Sem. 16, 42\u201351 (2012)","journal-title":"J. Web Sem."},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-30227-8_16","volume-title":"Logics in Artificial Intelligence","author":"S Woltran","year":"2004","unstructured":"Woltran, S.: Characterizations for relativized notions of equivalence in answer set programming. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 161\u2013173. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30227-8_16"},{"key":"6_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-642-32925-8_18","volume-title":"Datalog in Academia and Industry","author":"C Zaniolo","year":"2012","unstructured":"Zaniolo, C.: Logical foundations of continuous query languages for data streams. In: Barcel\u00f3, P., Pichler, R. (eds.) Datalog 2.0 2012. LNCS, vol. 7494, pp. 177\u2013189. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32925-8_18"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2018: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73117-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,10]],"date-time":"2022-08-10T20:18:49Z","timestamp":1660162729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73117-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,22]]},"ISBN":["9783319731162","9783319731179"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73117-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,12,22]]}}}