knowledge representation; logic; intelligent agents; organisational units modelling;
机译:语境化的逻辑:规范主体,侵犯和独立
机译:多主体正演逻辑中具有规范冲突的非单调推理
机译:特刊“自然语言中的道义模态”,选自第十二届国际道义逻辑与规范系统国际会议(DEON,2014年)
机译:代表规范性智能代理商的知识的文学代理逻辑
机译:超一致性和定理逻辑:带有规范冲突的推理形式系统。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:多助药语法逻辑规范冲突的非单调推理