Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems.

Francesco Belardinelli, Alessio Lomuscio

Browse the full KR paper archive.