Stephen Cranefield

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Normative reasoning and consequence2021-06-15Paper
Simulation and NorMAS2021-06-15Paper
The uses of norms2021-06-15Paper
On the testability of BDI agent systems
The Journal of Artificial Intelligence Research (JAIR)
2014-09-30Paper
Verifying social expectations by model checking truncated paths
Journal Of Logic And Computation
2011-12-19Paper
Institutions in the OPAL multi-agent system2006-10-12Paper
Agents and Peer-to-Peer Computing
Lecture Notes in Computer Science
2006-01-10Paper


Research outcomes over time


This page was built for person: Stephen Cranefield