Keyword:Stream Reasoning

Publications
PDT Logic for Stream Reasoning in Multi-agent Systems Karsten Martiny and Ralf Moeller In:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science
Robotics, Temporal Logic and Stream Reasoning Patrick Doherty, Fredrik Heintz and Jonas Kvarnström In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning