Systematic software development using VDM
Systematic software development using VDM
Distributed Artificial Intelligence
Distributed Artificial Intelligence
Intention is choice with commitment
Artificial Intelligence
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Artificial Intelligence
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
Artificial intelligence and mobile robots
Model checking
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Trends in Cooperative Distributed Problem Solving
IEEE Transactions on Knowledge and Data Engineering
Automated Software Engineering
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Monitoring Programs Using Rewriting
Proceedings of the 16th IEEE international conference on Automated software engineering
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Multi-Agent Programming: Languages, Tools and Applications
Multi-Agent Programming: Languages, Tools and Applications
A common semantic basis for BDI languages
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Satellite Control Using Rational Agent Programming
IEEE Intelligent Systems
An Introduction to Practical Formal Methods Using Temporal Logic
An Introduction to Practical Formal Methods Using Temporal Logic
Formal methods for the certification of autonomous unmanned aircraft systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Model checking agent programming languages
Automated Software Engineering
Hi-index | 48.22 |
Exploring autonomous systems and the agents that control them.