Cooperating agents: a unified theory of communication and social structure
Distributed artificial intelligence: vol. 2
Reflections on the Nature of Multi-Agent Coordination and Its Implications for an Agent Architecture
Autonomous Agents and Multi-Agent Systems
Agent-Mediated Interaction. From Auctions to Negotiation and Argumentation
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Skeletal Jade Components for the Construction of Institutions
AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Agent-Mediated Electronic Commerce
Autonomous Agents and Multi-Agent Systems
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
Issues in Multiagent System Development
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
SimEd: Simulating Education as a Multi Agent System
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Multiagent simulation of learning environments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Trust evaluation through relationship analysis
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The Roles of Roles in Agent Communication Languages
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Playing the e-business game in 3D virtual worlds
OZCHI '06 Proceedings of the 18th Australia conference on Computer-Human Interaction: Design: Activities, Artefacts and Environments
A framework for formal modeling and analysis of organizations
Applied Intelligence
From graphs to Euclidean virtual worlds: visualization of 3D electronic institutions
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
Symbolic model checking of institutions
Proceedings of the ninth international conference on Electronic commerce
An executable specification of a formal argumentation protocol
Artificial Intelligence
A formal road from institutional norms to organizational structures
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Operational semantics of multiagent interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
AUML protocols and code generation in the Prometheus design tool
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
IOM/T: interaction-oriented model by textual notation
International Journal of Agent-Oriented Software Engineering
Contextualizing normative open multi-agent systems
Proceedings of the 2008 ACM symposium on Applied computing
Applied Ontology - Formal Ontologies for Communicating Agents
Controlling an Interactive Game with a Multi-agent Based Normative Organisational Model
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Spatially Distributed Normative Objects
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Modelling and Monitoring Social Expectations in Multi-agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
A Framework for Model Checking Institutions
Model Checking and Artificial Intelligence
Electronic Institutions Infrastructure for e-Chartering
Engineering Societies in the Agents World VIII
Engineering Autonomic Electronic Institutions
Engineering Environment-Mediated Multi-Agent Systems
A Common Basis for Agent Organisation in BDI Languages
Languages, Methodologies and Development Tools for Multi-Agent Systems
Implementing Organisations in JADE
MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Language Constructs for Multi-agent Programming
Computational Logic in Multi-Agent Systems
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing
Advances in Web Semantics I
A security-aware metamodel for multi-agent systems (MAS)
Information and Software Technology
MAS Modeling Based on Organizations
Agent-Oriented Software Engineering IX
Agent-Oriented Software Engineering IX
Towards Method Engineering for Multi-Agent Systems: A Validation of a Generic MAS Metamodel
Agent Computing and Multi-Agent Systems
Using Electronic Institutions for Hospitals Chronic Disease Management and Purchasing System
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Sensitive Data Transaction in Hippocratic Multi-Agent Systems
Engineering Societies in the Agents World IX
Modelling Actor Evolution in Agent-Based Simulations
Organized Adaption in Multi-Agent Systems
Engineering open multi-agent systems as electronic institutions
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Fast track article: Game-based e-retailing in GOLEM agent environments
Pervasive and Mobile Computing
Engineering open environments with electronic institutions
Engineering Applications of Artificial Intelligence
Engineering Applications of Artificial Intelligence
Specifying and monitoring economic environments using rights and obligations
Autonomous Agents and Multi-Agent Systems
Instrumenting multi-agent organisations with organisational artifacts and agents
Autonomous Agents and Multi-Agent Systems
A multiagent knowledge and information network approach for managing research assets
Expert Systems with Applications: An International Journal
Designing institutional multi-agent systems
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Establishing global properties of multi-agent systems via local laws
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
Spatially distributed normative infrastructure
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
An object-process-based modeling language for multiagent systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
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 composition of electronic institutions for teamwork
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Using testimonies to enforce the behavior of agents
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
An architecture for simulating internet-of-services economies
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Interaction protocol for agent-based e-learning system
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Eclipse-based Prometheus design tool
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Role monitoring in open agent societies
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
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
Monitoring social expectations in second life
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Towards a logical model of social agreement for agent societies
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
SONAR/OREDI: a tool for creation and deployment of organisation models
MATES'10 Proceedings of the 8th German conference on Multiagent system technologies
Designing agent systems: state of the practice
International Journal of Agent-Oriented Software Engineering
Simple Ecological Rules Yield Complex Agent Networks
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
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
A middleware for modeling organizations and roles in jade
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Social order in Hippocratic multi-agent systems
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part II
Developing virtual heritage applications as normative multiagent systems
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
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
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
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
A normative programming language for multi-agent organisations
Annals of Mathematics and Artificial Intelligence
Foundations of ontology-based MAS methodologies
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Coherence constraints for agent interaction
AC'04 Proceedings of the 2004 international conference on Agent Communication
Narrowing the gap between humans and agents in e-commerce: 3D electronic institutions
EC-Web'05 Proceedings of the 6th international conference on E-Commerce and Web Technologies
Enacting and deacting roles in agent programming
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
A platform for agent behavior design and multi agent orchestration
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Model checking agent dialogues
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
A lightweight coordination calculus for agent systems
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Towards formalising agent argumentation over the viability of human organs for transplantation
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
The SOCS computational logic approach to the specification and verification of agent societies
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Virtual enterprise normative framework within electronic institutions
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Using messaging structure to evolve agents roles in electronic markets
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Using electronic institutions to secure grid environments
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Developing and evaluating a generic metamodel for MAS work products
Software Engineering for Multi-Agent Systems IV
Programming social middleware through social interaction types
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Preliminary basis for an ontology-based methodological approach for multi-agent systems
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Implementing multi-agent systems organizations with INGENIAS
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Formal modeling and analysis of organizations
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Artificial Intelligence
A multi-agent system approach for monitoring the prescription of restricted use antibiotics
Artificial Intelligence in Medicine
An interface for agent-environment interaction
ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems
Lightweight coordination calculus for agent systems: retrospective and prospective
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Open issues for normative multi-agent systems
AI Communications
Applied Ontology - Formal Ontologies for Communicating Agents
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special Section: Extended Version of SASO 2011 Best Paper
Execution infrastructure for normative virtual environments
Engineering Applications of Artificial Intelligence
Reflecting on ontologies: towards ontology-based agent-oriented software engineering
AOW '09 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112
Combining event-and state-based norms
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services
Web Intelligence and Agent Systems
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services
Web Intelligence and Agent Systems
| Hi-index | 0.00 |
In this paper we present ISLANDER, a tool for the specification and verification of agent mediated electronic institutions.We have defined a textual declarative language for the specification of the components of an institution. Also an ISLANDER editor is presented. It facilitates the work of the institution designer permitting the combination of graphical and textual specifications. We take the stance that a verifiable formal specification is needed before starting the development of complex systems. This tool is our first step towards having a framework for the design and development of infrastructures for open multi-agent systems.