ALX, an action logic for agents with bounded rationality

Dynamic logic for reasoning about actions and agents

Logic-based artificial intelligence

A Logic for Characterizing Multiple Bounded Agents

Autonomous Agents and Multi-Agent Systems

A new algebraic modelling approach to distributed problem-solving in MAS

Journal of Computer Science and Technology

Dynamic Belief Hierarchies

Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents

Seeing is believing: A common sense theory of the adoption of perception-based beliefs

Artificial Intelligence for Engineering Design, Analysis and Manufacturing

Avoiding logical omniscience and perfect reasoning: a survey

AI Communications

A logic of intention

IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1