First-order logic and automated theorem proving
First-order logic and automated theorem proving
A logic-based calculus of events
Foundations of knowledge base management
Artificial Intelligence
On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
From logic programming to Prolog
From logic programming to Prolog
Norms and time in agent-based systems
Proceedings of the 8th international conference on Artificial intelligence and law
A computational theory of normative positions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Constraining autonomy through norms
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Introduction to Multiagent Systems
Introduction to Multiagent Systems
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems
Norm adoption in the NoA agent architecture
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Permissions and obligations in hierarchical normative systems
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Implementing norms in electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A rule-based approach to norm-oriented programming of electronic institutions
ACM SIGecom Exchanges
Norm-oriented programming of electronic institutions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
NoA: a normative agent architecture
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Towards an institutional environment using norms for contract performance
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
A distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Norm verification and analysis of electronic institutions
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
A protocol for resource sharing in norm-governed ad hoc networks
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
S-Moise+: a middleware for developing organised multi-agent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
An event driven approach to norms in artificial institutions
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Contract Formation through Preemptive Normative Conflict Resolution
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Contract Formation through Preemptive Normative Conflict Resolution
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
ANGLE: An autonomous, normative and guidable agent with changing knowledge
Information Sciences: an International Journal
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A normative organisation programming language for organisation management infrastructures
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
From organisation specification to normative programming in multi-agent organisations
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Representation and monitoring of commitments and norms using OWL
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
OWL-POLAR: semantic policies for agent reasoning
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Norm refinement and design through inductive learning
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Normative monitoring: semantics and implementation
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Temporal accommodation of legal argumentation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Rules, agents and norms: guidelines for rule-based normative multi-agent systems
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Rule-based agents, compliance, and intention reconsideration in defeasible logic
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Acting on norm constrained plans
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
A normative programming language for multi-agent organisations
Annals of Mathematics and Artificial Intelligence
Distributed norm management for multi-agent systems
Expert Systems with Applications: An International Journal
OWL-POLAR: A framework for semantic policy representation and reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
Ontology and time evolution of obligations and prohibitions using semantic web technology
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Artificial Intelligence
A distributed architecture for norm-aware agent societies: a retrospective
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
An agent architecture for prognostic reasoning assistance
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Prognostic normative reasoning
Engineering Applications of Artificial Intelligence
Automated synthesis of normative systems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Hi-index | 0.00 |
Norms constitute a powerful coordination mechanism among heterogeneous agents. In this paper, we propose a rule language to specify and explicitly manage the normative positions of agents (permissions, prohibitions and obligations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more expressiveness and precision and allows to supplement (and implement) electronic institutions with norms. We also show how some normative aspects are given computational interpretation.