A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Modelling and Monitoring Social Expectations in Multi-agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Initial steps towards run-time support for norm-governed systems
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Towards formal methods for agent-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
| Hi-index | 0.00 |