Titlebook: Deontic Logic in Computer Science; 10th International C Guido Governatori,Giovanni Sartor Conference proceedings 2010 Springer-Verlag Berli

Original

流逝

Chronological

漫不经心

Pulmonary Nodules and Lung Cancer,gency as ‘unwitting’; unwitting can mean both inadvertent and unaware. The resulting logic bears a resemblance to Ingmar Pörn’s (1977) logic of ‘brings it about’ though there are differences, The account generalises naturally to talking about the collective actions of groups of agents: several diffe

UTTER

Norms, Action and Agency in Multi-agent Systems,gency as ‘unwitting’; unwitting can mean both inadvertent and unaware. The resulting logic bears a resemblance to Ingmar Pörn’s (1977) logic of ‘brings it about’ though there are differences, The account generalises naturally to talking about the collective actions of groups of agents: several diffe

拔出

David G. Green,Jing Liu,Hussein A. Abbassow to formalize the dialogue in which companies justify their compliance decisions to regulators using value-based argumentation. The approach is illustrated by a case study of the safety and security measures adopted in the context of EU customs regulation.

即席演说

增强

https://doi.org/10.1007/978-3-031-08885-8ts. Lawyers -and logicians- usually deal with the . dimension of these decisions and analyze the features and the structure of legal arguments and of legal justifications of a decision. However, the . dimension of such decisions is no less important since -as it is commonly said- no decision is just if it is based upon the wrong facts.

艺术

Wayne P. Thomas,Virginia P. Collierwhich to look at deontic scenarios and puzzles, and in particular at contrary-to-duties. The framework naturally lends itself to describing dynamics involving both orderings, thereby providing a new analysis of norm change as ‘betterness change’.

终止

Connections to Other Learning Paradigms in those systems are not acceptable due to their unintuitive interpretation or paradoxical consequences. As a solution we propose an axiomatic characterisation of obligation with an adequate class of models.