A Complete First-Order Logic of Knowledge and Time

Francesco Belardinelli, Alessio Lomuscio. A Complete First-Order Logic of Knowledge and Time. In Gerhard Brewka, Jérôme Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. pages 705-714, AAAI Press, 2008.

Authors

Francesco Belardinelli

This author has not been identified. Look up 'Francesco Belardinelli' in Google

Alessio Lomuscio

This author has not been identified. Look up 'Alessio Lomuscio' in Google