On agent-based software engineering
Artificial Intelligence
Organizational abstractions for the analysis and design of multi-agent system
First international workshop, AOSE 2000 on Agent-oriented software engineering
A formal model of open agent societies
Proceedings of the fifth international conference on Autonomous agents
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Categories of Artificial Societies
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
Preferring and Updating in Abductive Multi-agent Systems
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
Evolving Multi-agent Viewpoints - an Architecture
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
A Compilation of Updates plus Preferences
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Multi-dimensional Dynamic Knowledge Representation
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Preferring and updating in logic-based agents
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Weighted multi dimensional logic programs
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
We investigate how to explicitly represent organizational structures in epistemic multi-agent systems (eMAS). We introduce a logical framework F suitable for representing organizational structures for epistemic agents, and provide its declarative and procedural semantics. We show how a number of organizational structures can be represented in F and discuss their properties.