![Logic programming / Predicate logic / Propositional calculus / Clause / J / Norm / Reason / Operational semantics / Brute fact / Software engineering / Computing / Computer programming Logic programming / Predicate logic / Propositional calculus / Clause / J / Norm / Reason / Operational semantics / Brute fact / Software engineering / Computing / Computer programming](https://www.pdfsearch.io/img/52643bea70327ac83128ee9fbddd8a6e.jpg) Date: 2010-11-24 10:39:58Logic 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 ListSource URL: www.jucs.orgDownload Document from Source Website File Size: 232,03 KBShare Document on Facebook
|