Stephen Cranefield

From MaRDI portal
Person:2921076



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
The uses of norms2021-06-15Paper
Normative reasoning and consequence2021-06-15Paper
Simulation and NorMAS2021-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