Home

Yves__Lesperance


Ability and knowing how in the situation calculus

Foundations of a logical approach to agent programming

Modeling dynamic domains with ConGolog

Specifying communicative multi-agent systems