The top documents tagged [introduction inputoutput]

RuleML2015: Input-Output STIT Logic for Normative Systems
Science RuleML2015: Input-Output STIT Logic for Normative Systems

227 views