Formal Semantics of Temporal Epistemic Reflection

Agent-Based Simulation of Animal Behaviour

Applied Intelligence

Temporalizing Epistemic Default Logic

Journal of Logic, Language and Information

Compositional verification of knowledge-based task models and problem-solving methods

Knowledge and Information Systems

Quantified epistemic logics for reasoning about knowledge in multi-agent systems

Artificial Intelligence

First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation

First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

Fundamenta Informaticae - Logic, Language, Information and Computation