Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Model checking vs. theorem proving: a manifesto
Artificial intelligence and mathematical theory of computation
Representing and executing agent-based systems
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Reasoning about knowledge
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
Temporal semantics for concurrent METATEM
Journal of Symbolic Computation - Special issue: executable temporal logics
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Agent technology: foundations, applications, and markets
Agent technology: foundations, applications, and markets
Towards the refinement of executable temporal objects
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
ACM Transactions on Computational Logic (TOCL)
A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Dynamic Logic
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
Clausal resolution in a logic of rational agency
Artificial Intelligence
IEEE Intelligent Systems
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
From the Past to the Future: Executing Temporal Logic Programs
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
Programming Resource-Bounded Deliberative Agents
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Normal Forms and Proofs in Combined Modal and Temporal Logics
FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Concurrent METATEM as a Coordination Language
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
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
A Knowledge-Theoretic Semantics for Concurrent METATEM
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, 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
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
Automata representations for Concurrent METATEM
TIME '97 Proceedings of the 4th International Workshop on Temporal Representation and Reasoning (TIME '97)
Programming agent deliberation: an approach illustrated using the 3APL language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Agent programming in dribble: from beliefs to goals using plans
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Reasoning about Agents in the KARO Framework
TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Model Checking Rational Agents
IEEE Intelligent Systems
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Agent-oriented modeling of the dynamics of biological organisms
Applied Intelligence
Specification, analysis and simulation of the dynamics within an organisation
Applied Intelligence
SIMULATION AND ANALYSIS OF CONTROLLED MULTI-REPRESENTATIONAL REASONING PROCESSES
Applied Artificial Intelligence
Automated formal analysis of human multi-issue negotiation processes
Multiagent and Grid Systems
A flexible framework for verifying agent programs
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Temporal Logics for Representing Agent Communication Protocols
Agent Communication II
Formal Analysis of Trust Dynamics in Human and Software Agent Experiments
CIA '07 Proceedings of the 11th international workshop on Cooperative Information Agents XI
Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
Exploring the Future with Resource-Bounded Agents
Journal of Logic, Language and Information
Modal tableaux for verifying stream authentication protocols
Autonomous Agents and Multi-Agent Systems
E-learning with protensional agents: playing guitar
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Past--future separation and normal forms in temporal predicate logic specifications
Journal of Algorithms
Verifying Interlevel Relations within Multi-Agent Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Behavior bounding: an efficient method for high-level behavior comparison
Journal of Artificial Intelligence Research
An adaptive multi-agent organization model based on dynamic role allocation
International Journal of Knowledge-based and Intelligent Engineering Systems
Automated analysis of compositional multi-agent systems
International Journal of Agent-Oriented Software Engineering
Formal analysis of design process dynamics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Transactions on computational collective intelligence I
A framework to compute inference rules valid in agents' temporal logics
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Inference rules in multi-agents' temporal logics
Transactions on computational collective intelligence IV
Patterns in world dynamics indicating agency
Transactions on computational collective intelligence III
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Temporal factorisation: Realisation of mediating state properties for dynamics
Cognitive Systems Research
International Journal of Intelligent Information Technologies
Formal modeling of robot behavior with learning
Neural Computation
| Hi-index | 0.00 |
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behaviour of individual agents, and the macro-level behaviour of multi-agent systems. We describe how formal specification, verification and refinement can all be developed using this temporal basis, and how implementation can be achieved by directly executing these formal representations. We also show how the basic framework can be extended in various ways to handle the representation and implementation of agents capable of more complex deliberation and reasoning.