Journal of Universal Computer Science, vol. 15, no), submitted: , accepted: , appeared: 1 7 09 © J.UCS On the Semantics and Verification of Normative Multi-Agent Systems L˘ - Operational calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	Journal of Universal Computer Science, vol. 15, no), submitted: , accepted: , appeared: 1/7/09 © J.UCS On the Semantics and Verification of Normative Multi-Agent Systems L˘ Add to Reading List Document Date: 2010-11-24 10:39:58 Open Document File Size: 232,03 KB Share Result on Facebook City Amsterdam / / Company ACS / Normative Multi-Agent Systems / / Country Netherlands / / Currency EUR / / / IndustryTerm logic software / generic tools / traﬃc law / computational systems / computing / multi-agent systems / bank / / Person Frank S. de Boer / John-Jules Meyer / Mehdi Dastani / / Position multi-agent system programmer / actor / interpreter / programmer / / ProgrammingLanguage L / / SocialTag Logic programming Predicate logic Propositional calculus Clause J Norm Reason Operational semantics Brute fact Software engineering

Journal of Universal Computer Science, vol. 15, no), submitted: , accepted: , appeared: 1/7/09 © J.UCS On the Semantics and Verification of Normative Multi-Agent Systems L˘Add to Reading List