This paper reviews formal approaches to modelling and verifying resource-bounded agents focusing on state of the Art and future prospects
We describe a framework for the automated verification of multi-agent systems which do distributed p...
There has been a move of context-aware systems into safety-critical domains including healthcare, em...
The effective reasoning capability of an agent can be defined as its capability to infer, within a g...
This paper reviews formal approaches to modelling and verifying resource-bounded agents focusing on ...
Approaches to the verification of multi-agent systems are typically based on games or transition sys...
This thesis presents frameworks for the modelling and verification of resource-bounded reasoning age...
Logical theories of intelligent (or rational) agents have been refined and improved over the past 20...
We here describe research into the formal specification and implementation of resource-bounded agent...
Approaches to the verification of multi-agent systems are typically based on games or transition sys...
This paper is concerned with providing a common framework for both the logical specification and exe...
Alternating Time Temporal Logic (ATL) is widely used for the verification of multi-agent systems. We...
The verification and modelling of multi-agent systems is an important topic that has attracted much ...
Alternating Time Temporal Logic (ATL) is widely used for the verification of multi-agent systems. We...
The thesis presents logic-based formalisms for modelling and reasoning about resource-bounded multi-...
Many problems in Multi-Agent Systems (MASs) research are formulated in terms of the abilities of a c...
We describe a framework for the automated verification of multi-agent systems which do distributed p...
There has been a move of context-aware systems into safety-critical domains including healthcare, em...
The effective reasoning capability of an agent can be defined as its capability to infer, within a g...
This paper reviews formal approaches to modelling and verifying resource-bounded agents focusing on ...
Approaches to the verification of multi-agent systems are typically based on games or transition sys...
This thesis presents frameworks for the modelling and verification of resource-bounded reasoning age...
Logical theories of intelligent (or rational) agents have been refined and improved over the past 20...
We here describe research into the formal specification and implementation of resource-bounded agent...
Approaches to the verification of multi-agent systems are typically based on games or transition sys...
This paper is concerned with providing a common framework for both the logical specification and exe...
Alternating Time Temporal Logic (ATL) is widely used for the verification of multi-agent systems. We...
The verification and modelling of multi-agent systems is an important topic that has attracted much ...
Alternating Time Temporal Logic (ATL) is widely used for the verification of multi-agent systems. We...
The thesis presents logic-based formalisms for modelling and reasoning about resource-bounded multi-...
Many problems in Multi-Agent Systems (MASs) research are formulated in terms of the abilities of a c...
We describe a framework for the automated verification of multi-agent systems which do distributed p...
There has been a move of context-aware systems into safety-critical domains including healthcare, em...
The effective reasoning capability of an agent can be defined as its capability to infer, within a g...
DOI
Add to ORKG