Back to Results
First PageMeta Content
Logic programming / Predicate logic / Propositional calculus / Clause / J / Norm / Reason / Operational semantics / Brute fact / Software engineering / Computing / Computer programming


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
UPDATE