Obligations directed from bearers to counterparts
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Distinguishing different roles in normative reasoning
Proceedings of the 6th international conference on Artificial intelligence and law
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Conflicts in Policy-Based Distributed Systems Management
IEEE Transactions on Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
The BOID architecture: conflicts between beliefs, obligations, intentions and desires
Proceedings of the fifth international conference on Autonomous agents
A computational theory of normative positions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Contrary-to-duty reasoning with preference-based dyadic obligations
Annals of Mathematics and Artificial Intelligence
Translating Role-Based Access Control Policy within Context
POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
Algebras for Agent Norm-Regulation
Annals of Mathematics and Artificial Intelligence
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Logic-based regulation compliance-assistance
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Formalization of a voting protocol for virtual organizations
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Modal logic investigations in the semantics of counts-as
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Voting in online deliberative assemblies
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
On the Representation of Action and Agency in the Theory of Normative Positions
Fundamenta Informaticae - Deontic Logic in Computer Science
Software—Practice & Experience
Intelligent computer evaluation of offender's previous record
Artificial Intelligence and Law
A formal road from institutional norms to organizational structures
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Synthesising verified access control systems through model checking
Journal of Computer Security
From human regulations to regulated software agents' behavior
Artificial Intelligence and Law
Ubi Lex, Ibi Poena: Designing Norm Enforcement in E-Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
A Peer-to-Peer Normative System to Achieve Social Order
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
On Extending RuleML for Modal Defeasible Logic
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
On the Challenge of Engineering Socio-technical Systems
Software-Intensive Systems and New Computing Paradigms
Dynamic protocols for open agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
A framework for monitoring agent-based normative systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Formalising dynamic protocols for open agent systems
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
Protocol conformance for logic-based agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Multiagent based information dissemination in vehicular ad hoc networks
Mobile Information Systems
A norm-governed systems perspective of ad hoc networks
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Dynamic specifications in norm-governed open computational societies
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Model checking norms and sanctions in institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
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
Normative conflicts in electronic contracts
Electronic Commerce Research and Applications
Initial steps towards run-time support for norm-governed systems
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Identifying conditional norms in multi-agent societies
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
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
Normative programs and normative mechanism design
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
A normative programming language for multi-agent organisations
Annals of Mathematics and Artificial Intelligence
Towards verifying contract regulated service composition
Autonomous Agents and Multi-Agent Systems
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
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
Sequences, obligations, and the contrary-to-duty paradox
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
A constructive framework for legal ontologies
Law and the Semantic Web
Policy-Driven configuration and management of agent based distributed systems
Software Engineering for Multi-Agent Systems IV
QoS management in MANETs using norm-governed agent societies
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
A functional program for agents, actions, and deontic specifications
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Legal modelling and reasoning using institutions
JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence
Aspects of active norm learning and the effect of lying on norm emergence in agent societies
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Verifying normative behaviour via normative mechanism design
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
The scientific contribution of marek sergot
Logic Programs, Norms and Action
Open issues for normative multi-agent systems
AI Communications
On the Representation of Action and Agency in the Theory of Normative Positions
Fundamenta Informaticae - Deontic Logic in Computer Science
The design of intelligent socio-technical systems
Artificial Intelligence Review
Modelling legitimate expectations
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
Detecting conflicts in legal systems
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
Hi-index | 0.00 |