Distributed Artificial Intelligence
Distributed Artificial Intelligence
On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Intention is choice with commitment
Artificial Intelligence
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Object-oriented modeling and design
Object-oriented modeling and design
Learning in embedded systems
Artificial Intelligence
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Agents that reduce work and information overload
Communications of the ACM
Communications of the ACM
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Compositional formal specification of multi-agent systems
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
This is MYWORLD: the logic of an agent-oriented DAI testbed
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Reasoning about knowledge
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
A methodology and modelling technique for systems of BDI agents
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Agent technology: foundations, applications, and markets
Agent technology: foundations, applications, and markets
Pitfalls of agent-oriented development
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Readings in agents
The Unified Modeling Language user guide
The Unified Modeling Language user guide
A methodology for agent-oriented analysis and design
Proceedings of the third annual conference on Autonomous Agents
Cambrian intelligence: the early history of the new AI
Cambrian intelligence: the early history of the new AI
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Agent UML: a formalism for specifying multiagent software systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
Representing agent interaction protocols in UML
First international workshop, AOSE 2000 on Agent-oriented software engineering
Agent software engineering with role modelling
First international workshop, AOSE 2000 on Agent-oriented software engineering
SODA: societies and infrastructures in the analysis and design of agent-based systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
An overview of the multiagent systems engineering methodology
First international workshop, AOSE 2000 on Agent-oriented software engineering
A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
NextStep Object-Oriented Programming and the Objective-C Language: Release 3
NextStep Object-Oriented Programming and the Objective-C Language: Release 3
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems
A profile of the Australian Artificial Intelligence Institute
IEEE Expert: Intelligent Systems and Their Applications
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
From Agent Theory to Agent Construction: A Case Study
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Analysis and Design of Multiagent Systems Using MAS-Common KADS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Formal Semantics for an Abstract Agent Programming Language
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
METATEM: A Framework for Programming in Temporal Logic
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Distributed Computing
A model-theoretic approach to the verification of situated reasoning systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Agent-based computing: promise and perils
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Securing Agent Based Architectures
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Automated Derivation of Complex Agent Architectures from Analysis Specifications
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Towards an ADL for Designing Agent-Based Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Living Design for Open Computational Systems
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Towards an Evaluation Framework for MAS Software Engineering
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Developing and Evolving a Multi-agent System Product Line: An Exploratory Study
Agent-Oriented Software Engineering IX
A Need for Biologically Inspired Architectural Description: The Agent Ontogenesis Case
Agent Computing and Multi-Agent Systems
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
A modern approach to multiagent development
Journal of Systems and Software
On the evaluation of agent-oriented software engineering methodologies: a statistical approach
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
An intelligent framework to manage robotic autonomous agents
Expert Systems with Applications: An International Journal
A secure migration process for mobile agents
Software—Practice & Experience
Evaluating software engineering techniques for developing complex systems with multiagent approaches
Information and Software Technology
Multi-agent role allocation: issues, approaches, and multiple perspectives
Autonomous Agents and Multi-Agent Systems
Software integration using a dynamic wrapper agent
ICAI'05/MCBC'05/AMTA'05/MCBE'05 Proceedings of the 6th WSEAS international conference on Automation & information, and 6th WSEAS international conference on mathematics and computers in biology and chemistry, and 6th WSEAS international conference on acoustics and music: theory and applications, and 6th WSEAS international conference on Mathematics and computers in business and economics
Agent technology applied to intelligent buildings
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Evaluating interaction of MAS providing context-aware services
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Principles for value-sensitive agent-oriented software engineering
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Improving comparative analysis for the evaluation of AOSE methodologies
International Journal of Agent-Oriented Software Engineering
Applying semiotic analysis to the design and modeling of distributed multimedia systems
CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I
A multi-agent system for modelling carbohydrate oxidation in cell
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Bridging the gap between agent-oriented design and implementation using MDA
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Review: adaptive organizational changes in agent-oriented methodologies
The Knowledge Engineering Review
SONIA: a methodology for natural agent development
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
AgentZ: extending object-z for multi-agent systems specification
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
A dedicated approach for developing agent interaction protocols
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Generating inspiration for agent design by reinforcement learning
Information and Software Technology
A novel approach to programming: agent based software engineering
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
A generative approach for multi-agent system development
Software Engineering for Multi-Agent Systems III
Dealing with adaptive multi-agent organizations in the gaia methodology
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
A compositional semantics of plan revision in intelligent agents
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Comparing agile processes for agent oriented software engineering
PROFES'10 Proceedings of the 11th international conference on Product-Focused Software Process Improvement
Multi-threaded communicating agents in qu-prolog
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Methodological design and comparative evaluation of a MAS providing AmI
Expert Systems with Applications: An International Journal
Gulliver's Genie: a multi-agent system for ubiquitous and intelligent content delivery
Computer Communications
Software agents as boundary objects
AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
Evaluation of agents interactions in a context-aware system
Transactions on Computational Collective Intelligence IX
Hi-index | 0.00 |
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agents and multi-agent systems are just such tools. We begin by reviewing what is meant by the term "agent", and contrast agents with objects. We then go on to examine a number of prototype techniques proposed for engineering agent systems, including methodologies for agent-oriented analysis and design, formal specification and verification methods for agent systems, and techniques for implementing agent specifications.