Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Intention is choice with commitment
Artificial Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Properties of independently axiomatizable bimodal logics
Journal of Symbolic Logic
Reasoning about knowledge
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Formalising the contract net as a goal-directed system
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Engagement and Cooperating in Motivated Agent Modelling
Proceedings of the First Australian Workshop on DAI: Distributed Artificial Intelligence: Architecture and Modelling
From Agent Theory to Agent Construction: A Case Study
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Towards formal methods for agent-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Agent cooperation based control integration by activity-sharing and joint intention
Journal of Computer Science and Technology
A Framework for Model-Based Design of Agent-Oriented Software
IEEE Transactions on Software Engineering
Multi-agent Systems Development as a Software Engineering Enterprise
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Formal Agent Development: Framework to System
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
A Survey of Agent-Oriented Methodologies
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Panel Discussion: Future Directions
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems
Automated Software Engineering
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Practical and theoretical innovations in multi-agent systems research
The Knowledge Engineering Review
Agent orientation in software engineering
The Knowledge Engineering Review
Multi-agent systems research into the 21st century
The Knowledge Engineering Review
Progress in multi-agent systems research
The Knowledge Engineering Review
Continuing research in multi-agent systems
The Knowledge Engineering Review
From definition to deployment: What next for agent-based systems?
The Knowledge Engineering Review
Foundations of Multi-Agent Systems: Techniques, Tools and Theory
The Knowledge Engineering Review
Special issue: perspectives on recent intelligent agents research as viewed through two conferences
The Knowledge Engineering Review
Formal architectural models for agent-based service systems
International Journal of Computer Applications in Technology
Agent UML class diagrams revisited
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
Towards motivation-based decisions for worth goals
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Agent-oriented modeling and development of a person-following mobile robot
Expert Systems with Applications: An International Journal
Review: on the use of agent technology in intelligent, multisensory and distributed surveillance
The Knowledge Engineering Review
A formal approach to model multiagent interactions using the b formal method
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Artificial Intelligence
Modeling agent-based traffic simulation properties in Alloy
Proceedings of the 2012 Symposium on Agent Directed Simulation
Hi-index | 0.01 |
As computer scientists, our goals are motivated by the desire to improve computer systems in some way: making them easier to design and implement, more robust and less prone to error, easier to use, faster, cheaper, and so on. In the field of multi-agent systems, our goal is to build systems capable of flexible autonomous decision making, with societies of such systems cooperating with one-another. There is a lot of formal theory in the area but it is often not obvious what such theories should represent and what role the theory is intended to play. Theories of agents are often abstract and obtuse and not related to concrete computational models.