Random sequence generation by cellular automata
Advances in Applied Mathematics
Pitfalls of agent-oriented development
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Extreme programming explained: embrace change
Extreme programming explained: embrace change
Computers Ltd.: What They Really Can't Do
Computers Ltd.: What They Really Can't Do
Evolving social rationality for MAS using "tags"
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The Computational Complexity of Agent Design Problems
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
The lack of a priori distinctions between learning algorithms
Neural Computation
Modularity and design in reactive intelligence
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Towards an ideal social simulation language
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Synthesis of a generic MAS metamodel
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
Spray computers: Explorations in self-organization
Pervasive and Mobile Computing
Automated analysis and verification of agent behavior
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Empirical Analysis for Agent System Comprehension and Verification
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Engineering Environment-Mediated Multi-Agent Systems
Engineering Systems Which Generate Emergent Functionalities
Engineering Environment-Mediated Multi-Agent Systems
Tools for analyzing intelligent agent systems
Web Intelligence and Agent Systems
Ifcowl: A case of transforming express schemas into ontologies
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Towards Method Engineering for Multi-Agent Systems: A Validation of a Generic MAS Metamodel
Agent Computing and Multi-Agent Systems
Towards a Methodology for Engineering Self-Organising Emergent Systems
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
Contribution to the Control of a MAS's Global Behaviour: Reinforcement Learning Tools
Engineering Societies in the Agents World IX
Formal Development of Self-organising Systems
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed decision-making and control for agile military radio networks
DAMAS'05 Proceedings of the 2005 international conference on Defence Applications of Multi-Agent Systems
From KISS to KIDS: an 'anti-simplistic' modelling approach
MABS'04 Proceedings of the 2004 international conference on Multi-Agent and Multi-Agent-Based Simulation
Debugging agent behavior in an implemented agent system
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
From self-organized systems to collective problem solving
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Analysis of multi-agent interactions with process mining techniques
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Using the experimental method to produce reliable self-organised systems
Engineering Self-Organising Systems
Developing and evaluating a generic metamodel for MAS work products
Software Engineering for Multi-Agent Systems IV
Using the web as a reuse repository
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Development of self-organising emergent applications with simulation-based numerical analysis
ESOA'05 Proceedings of the Third international conference on Engineering Self-Organising Systems
| Hi-index | 0.00 |
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given formal specification; or checking that a program meets a specification. We exhibit a simple MAS which has all the power of a Turing machine. We argue that any pure design methodology will face insurmountable difficulties in todayýs open and complex MAS. We recommend instead a methodology based on experimental method 驴 scientific foundations for MAS construction and control.