“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Parallel program design: a foundation
Parallel program design: a foundation
Intention is choice with commitment
Artificial Intelligence
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
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Autonomous Agents and Multi-Agent Systems
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Agent Programming with Declarative Goals
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Formalizing a Language for Institutions and Norms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
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)
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Dynamic Logic for Plan Revision in Agent Programming
Journal of Logic and Computation
Designing protocols for agent institutions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Practical extensions in agent programming languages
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A grounded specification language for agent programs
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Agent logics as program logics: grounding KARO
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Prototyping 3APL in the Maude term rewriting language
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in 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
Verifying norm compliancy of protocols
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
MCMAS: a model checker for multi-agent systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
GOAL Agents Instantiate Intention Logic
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
GOAL agents instantiate intention logic
Logic Programs, Norms and Action
| Hi-index | 0.00 |
Since the inception of agent technology almost two decades ago, researchers have worked both on the formal, theoretical aspects of intelligent agents and on the realisation / implementation of them. However, the link between the two has always remained rather unclear, to this day. Although there is a definite need for the verification of agents, the methods and techniques for this are still in their infancy. We describe our personal ongoing quest for the `right' approach to agent verification.