{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:46:00Z","timestamp":1725540360403},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642049569"},{"type":"electronic","value":"9783642049576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04957-6_56","type":"book-chapter","created":{"date-parts":[[2009,11,2]],"date-time":"2009-11-02T06:46:36Z","timestamp":1257144396000},"page":"653-662","source":"Crossref","is-referenced-by-count":7,"title":["Stream Reasoning: A Survey and Further Research Directions"],"prefix":"10.1007","author":[{"given":"Gulay","family":"Unel","sequence":"first","affiliation":[]},{"given":"Dumitru","family":"Roman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"56_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/b106968","volume-title":"Stream Data Management","author":"N. Chaudhry","year":"2005","unstructured":"Chaudhry, N., Shaw, K., Abdelguerfi, M.: Stream Data Management. Springer, Heidelberg (2005)"},{"issue":"2","key":"56_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/776985.776986","volume":"32","author":"L. Golab","year":"2003","unstructured":"Golab, L., \u00d6zsu, M.T.: Issues in data stream management. SIGMOD Rec.\u00a032(2), 5\u201314 (2003)","journal-title":"SIGMOD Rec."},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications.","year":"2003","key":"56_CR3","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"56_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S. Ceri","year":"1990","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)"},{"key":"56_CR5","first-page":"995","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, pp. 995\u20131072. Elsevier, Amsterdam (1990)"},{"key":"56_CR6","doi-asserted-by":"crossref","unstructured":"Halaschek-Wiener, C., Parsia, B., Sirin, E., Kalyanpur, A.: Description logic reasoning for dynamic aboxes. In: Description Logics (2006)","DOI":"10.21236\/ADA455672"},{"key":"56_CR7","unstructured":"Parsia, B., Halaschek-Wiener, C., Sirin, E.: Towards incremental reasoning through updates in owl dl. In: Reasoning on the Web, RoW 2006 (2006)"},{"key":"56_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-540-76298-0_14","volume-title":"The Semantic Web","author":"B.C. Grau","year":"2007","unstructured":"Grau, B.C., Halaschek-Wiener, C., Kazakov, Y.: History matters: Incremental ontology reasoning using modules. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 183\u2013196. Springer, Heidelberg (2007)"},{"key":"56_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic programming and knowledge representation. Journal of Logic Programming\u00a019, 73\u2013148 (1994)","journal-title":"Journal of Logic Programming"},{"key":"56_CR10","unstructured":"Horrocks, I.: Optimizing Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester (1997)"},{"key":"56_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-45744-5_6","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R., Turhan, A.-Y.: Exploiting pseudo models for tBox and aBox reasoning in expressive description logics. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol.\u00a02083, pp. 61\u201375. Springer, Heidelberg (2001)"},{"issue":"1-2","key":"56_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013(1-2), 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"56_CR13","unstructured":"Elgot-Drapkin, J.J.: Step-logic: reasoning situated in time. PhD thesis, College Park, MD, USA, Director-Perlis, Donald (1988)"},{"key":"56_CR14","doi-asserted-by":"crossref","unstructured":"Elgot-Drapkin, J., Miller, M., Perlis, D.: Memory, reason, and time: the step-logic approach (1991)","DOI":"10.7551\/mitpress\/5352.003.0006"},{"key":"56_CR15","unstructured":"Elgot-drapkin, J., Kraus, S., Miller, M., Nirkhe, M., Perlis, D.: Active logics: A unified formal approach to episodic reasoning (1999)"},{"key":"56_CR16","unstructured":"Doherty, P., Gustafsson, J., Karlsson, L., Kvarnstrom, J.: Temporal action logics (tal): Language specification and tutorial (1998)"},{"key":"56_CR17","first-page":"142","volume-title":"Joint Intl. Conference and Symposium on Logic Programming","author":"A. Bonner","year":"1996","unstructured":"Bonner, A., Kifer, M.: Concurrency and communication in transaction logic. In: Joint Intl. Conference and Symposium on Logic Programming, pp. 142\u2013156. MIT Press, Cambridge (1996)"},{"issue":"6","key":"56_CR18","first-page":"701","volume":"13","author":"J. Robin","year":"2007","unstructured":"Robin, J., Vitorino, J., Wolf, A.: Constraint programming architectures: Review and a new proposal. Journal of Universal Computer Science\u00a013(6), 701\u2013720 (2007)","journal-title":"Journal of Universal Computer Science"},{"issue":"4","key":"56_CR19","first-page":"371","volume":"71","author":"H. Christiansen","year":"2006","unstructured":"Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundam. Inf.\u00a071(4), 371\u2013417 (2006)","journal-title":"Fundam. Inf."},{"key":"56_CR20","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/3-540-52592-0_54","volume-title":"ESOP \u201990","author":"R. Paige","year":"1990","unstructured":"Paige, R.: Symbolic finite differencing - part i. In: Jones, N.D. (ed.) ESOP 1990, vol.\u00a0432, pp. 36\u201356. Springer, Heidelberg (1990)"},{"key":"56_CR21","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic","author":"D. Harel","year":"1984","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic logic. In: Handbook of Philosophical Logic, pp. 497\u2013604. MIT Press, Cambridge (1984)"},{"key":"56_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A. Darwiche","year":"1996","unstructured":"Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial intelligence\u00a089, 1\u201329 (1996)","journal-title":"Artificial intelligence"},{"key":"56_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-69937-8_13","volume-title":"Logic, Language, Information and Computation","author":"J. Eijck van","year":"2008","unstructured":"van Eijck, J., Wang, Y.: Propositional dynamic logic as a logic of belief revision. In: Hodges, W., de Queiroz, R. (eds.) Logic, Language, Information and Computation. LNCS, vol.\u00a05110, pp. 136\u2013148. Springer, Heidelberg (2008)"},{"key":"56_CR24","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., de Raedt, L.: Inductive logic programming: Theory and methods. Journal of Logic Programming\u00a019, 629\u2013679 (1994)","journal-title":"Journal of Logic Programming"},{"key":"56_CR25","unstructured":"Valle, E.D., Ceri, S., Braga, D., Celino, I., Frensel, D., van Harmelen, F., Unel, G.: Research chapters in the area of stream reasoning. In: SR 2009. CEUR Workshop Proceedings, CEUR-WS.org., vol.\u00a0466 (2009), http:\/\/ceur-ws.org\/Vol-466\/sr2009-intro.pdf"}],"container-title":["Lecture Notes in Computer Science","Flexible Query Answering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04957-6_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,17]],"date-time":"2024-03-17T11:52:28Z","timestamp":1710676348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04957-6_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049569","9783642049576"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04957-6_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}