A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
Constructibility and decidability versus domain independence and absoluteness
Theoretical Computer Science
On the multimodal logic of normative systems
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |