Cognitum Ontorion: Knowledge Representation and Reasoning System
BDI Agents: From Theory to Practice