Handbook of theoretical computer science (vol. B)
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Relativized Deontic Modalities for Contractual Obligations in Formal Business Communication
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Contracts as Legal Institutions in Organizations of Autonomous Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Defeasible Reasoning with e-Contracts
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Electronic institutions for B2B: dynamic normative environments
Artificial Intelligence and Law
Specifying and Reasoning About Multiple Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Formalising Situatedness and Adaptation in Electronic Institutions
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Engineering open environments with electronic institutions
Engineering Applications of Artificial Intelligence
Modelling electronic organizations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
A contract model for electronic institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
From abstract to concrete norms in agent institutions
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Meeting the deadline: why, when and how
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Formalising Situatedness and Adaptation in Electronic Institutions
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Adaptive Deterrence Sanctions in a Normative Framework
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Risk Tolerance and Social Awareness: Adapting Deterrence Sanctions to Agent Populations
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Monitoring directed obligations with flexible deadlines: a rule-based approach
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |
We explore the concept of an agent-based Electronic Institution including a normative environment that supports electronic contract formation by providing a contextual normative background. We formalize the normative state using first-order logic and define institutional rules and norms operating on that state. A suitable semantics regarding the use of norms within a hierarchical context structure is given, based on norm activation conflict and defeasibility. Norm activation relies on substitution as in first-order logic. Reasoning about the fulfillment and violation of deadline obligations is formalized using linear temporal logic; implementation with institutional rules is discussed. Examples exploiting the normative environment are given.