暂无分享,去创建一个
Martin Gebser | Orkunt Sabuncu | Torsten Schaub | Philipp Obermeier | Roland Kaminski | Torsten Grote
[1] Vladimir Lifschitz,et al. Answer set programming and plan generation , 2002, Artif. Intell..
[2] Frank van Harmelen,et al. Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.
[3] Martin Gebser,et al. Advances in gringo Series 3 , 2011, LPNMR.
[4] Robert A. Kowalski,et al. Algorithm = logic + control , 1979, CACM.
[5] Enrico Giunchiglia,et al. Nonmonotonic causal theories , 2004, Artif. Intell..
[6] Cesare Tinelli,et al. Handbook of Satisfiability , 2021, Handbook of Satisfiability.
[7] Martin Gebser,et al. Conflict-Driven Answer Set Solving , 2007, IJCAI.
[8] D. Atkin. OR scheduling algorithms. , 2000, Anesthesiology.
[9] Stefan Edelkamp,et al. Automated Planning: Theory and Practice , 2007, Künstliche Intell..
[10] Martin Gebser,et al. An incremental answer set programming based system for finite model computation , 2011, AI Commun..
[11] Toby Walsh,et al. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications , 2009 .
[12] Martin Gebser,et al. Engineering an Incremental ASP Solver , 2008, ICLP.
[13] Dieter Fensel,et al. It's a Streaming World! Reasoning upon Rapidly Changing Information , 2009, IEEE Intelligent Systems.
[14] Martin Gebser,et al. Reactive Answer Set Programming , 2011, LPNMR.
[15] Lukasz Golab,et al. Data Stream Management , 2017, Data Stream Management.
[16] Martin Gebser,et al. Stream Reasoning with Answer Set Programming: Preliminary Report , 2012, KR.
[17] Paolo Traverso,et al. Automated planning - theory and practice , 2004 .
[18] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..
[19] Achim Rettinger,et al. Deductive and Inductive Stream Reasoning for Semantic Social Media Analytics , 2010, IEEE Intelligent Systems.
[20] Andrew B. Baker,et al. A Simple Solution to the Yale Shooting Problem , 1989, KR.
[21] Martin Gebser,et al. Stream Reasoning with Answer Set Programming: Extended Version , 2012 .
[22] Pascal Van Hentenryck. Proceedings of the eleventh international conference on Logic programming , 1994 .
[23] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .