The top documents tagged [inputoutput logic xin]

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

227 views