Automated multi-level governance compliance checking

TC King, M De Vos, V Dignum, CM Jonker, T Li… - Autonomous Agents and …, 2017 - Springer
An institution typically comprises constitutive rules, which give shape and meaning to social
interactions and regulative rules, which prescribe agent behaviour in the society. Regulative …

Contextualized institutions in virtual organizations

T Li, J Jiang, H Aldewereld, M De Vos… - … , Institutions, and Norms …, 2014 - Springer
Within a virtual organization, more than one institution might be involved in the regulation of
actors' behavior. Each institution specifies a set of norms covering a specific aspect of the …

When do rule changes count-as legal rule changes?

TC King, V Dignum, CM Jonker - ECAI 2016, 2016 - ebooks.iospress.nl
Abstract Institutions regulate societies. Comprising Searle's constitutive counts-as rules,“A
counts-as B in context C”, an institution ascribes from brute and institutional facts (As), a …

Introducing norms into practical reasoning agents

S Panagiotidi - 2014 - upcommons.upc.edu
As distributed electronic systems grow to include thousands of components, from grid to
peer-to-peer nodes, from (Semantic) Web services to web-apps to computation in the cloud …

論理コンピューティング(< レクチャーシリーズ> 知能コンピューティングとその周辺[第10 回])

佐藤健, デ・ヴォスマリナ - 人工知能, 2008 - jstage.jst.go.jp
論理コンピューティング Page 1 論理コンピューティング 677 /レクチャーシリーズ]「知能コンピューテ
ィングとその周辺」[第 10回] 論理コンピューティング LogicComputing 佐藤 KenSatoh 健 国立情報 …