PDT Logic for Stream Reasoning in Multi-agent Systems | Publicación