A logic-based calculus of events
New Generation Computing
An approach to default reasoning based on a first-order conditional logic: revised report
Artificial Intelligence
Temporal reasoning in logic programming: a case for the situation calculus
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Proving properties of states in the situation calculus
Artificial Intelligence
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
An organizational ontology for enterprise modeling
Simulating organizations
Time and norms: a formalisation in the event-calculus
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
The NIST model for role-based access control: towards a unified standard
RBAC '00 Proceedings of the fifth ACM workshop on Role-based access control
Trust and deception in virtual societies
Trust and deception in virtual societies
The Artificial Life Route to Artificial Intelligence: Building Embodied, Situated Agents
The Artificial Life Route to Artificial Intelligence: Building Embodied, Situated Agents
Action Concepts for Describing Organised Interaction
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Representing the zoo world and the traffic world in the language of the causal calculator
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Annals of Mathematics and Artificial Intelligence
Contextualizing commitment protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
An executable specification of a formal argumentation protocol
Artificial Intelligence
Action and Agency in Norm-Governed Multi-agent Systems
Engineering Societies in the Agents World VIII
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
The deontic component of action language n C+
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
On the Representation of Action and Agency in the Theory of Normative Positions
Fundamenta Informaticae - Deontic Logic in Computer Science
| Hi-index | 0.00 |
The design of intelligent socio-technical systems calls for careful examination of relevant social and organizational concepts. We present a method for supporting this design process, placing emphasis on different levels of formal characterization, with equal attention to both the analysis of concepts in a formal calculus independent of computational concerns, and the representation of concepts in a machine-processable form, fully cognizant of implementation issues--a step in the method we refer to as principled operationalization. There are many tools (i.e. formal languages) that can be used to support the design method; we define and discuss criteria for evaluating such tools. We believe that, were the method proposed to be adopted, it would enhance the state-of-the-art in the systematic design and engineering of socio-technical systems, respecting the fundamentally interdisciplinary nature of those tasks, in both their theoretical and practical dimensions.