Stream Reasoning with Answer Set Programming: Preliminary Report
暂无分享,去创建一个
Martin Gebser | Orkunt Sabuncu | Torsten Schaub | Philipp Obermeier | Roland Kaminski | Torsten Grote | Torsten Schaub | M. Gebser | Philipp Obermeier | O. Sabuncu | R. Kaminski | T. Grote
[1] Vladimir Lifschitz,et al. Answer set programming and plan generation , 2002, Artif. Intell..
[2] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.
[3] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..
[4] Daniele Braga,et al. C-SPARQL: SPARQL for continuous querying , 2009, WWW '09.
[5] Philip S. Yu,et al. SPADE: the system s declarative stream processing engine , 2008, SIGMOD Conference.
[6] Martin Gebser,et al. Answer Set Programming for Stream Reasoning , 2013, ArXiv.
[7] Achim Rettinger,et al. Deductive and Inductive Stream Reasoning for Semantic Social Media Analytics , 2010, IEEE Intelligent Systems.
[8] Martin Gebser,et al. Engineering an Incremental ASP Solver , 2008, ICLP.
[9] Sebastian Rudolph,et al. A Rule-Based Language for Complex Event Processing and Reasoning , 2010, RR.
[10] Qiang Chen,et al. Aurora : a new model and architecture for data stream management ) , 2006 .
[11] Tomi Janhunen,et al. Modular Equivalence for Normal Logic Programs , 2006, ECAI.
[12] Daniele Braga,et al. Incremental Reasoning on Streams and Rich Background Knowledge , 2010, ESWC.
[13] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .
[14] Martin Gebser,et al. Stream Reasoning with Answer Set Programming: Extended Version , 2012 .
[15] Dieter Fensel,et al. It's a Streaming World! Reasoning upon Rapidly Changing Information , 2009, IEEE Intelligent Systems.
[16] Martin Gebser,et al. Reactive Answer Set Programming , 2011, LPNMR.
[17] Lukasz Golab,et al. Data Stream Management , 2017, Data Stream Management.