We investigate the application of a logic-based framework representing an agent environment as a composite structure that evolves over time. Such a complex structure contains the i...
Abstract. How and where are the universal features of language specified? We consider language users as situated agents acting as conduits for the cultural transmission of language...
In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, w...