Rafael Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge  Home/Search
Context Related
| csc.liv.ac.uk/~michael/aamas03.ps csc.liv.ac.uk/~bordini/P...mcasCR.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csc.liv.ac.uk/~michael/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. After briefly introducing AgentSpeak(F) and discussing its relationship to AgentSpeak(L), we show how AgentSpeak(F) programs can be transformed into Promela, the model specification language for the Spin model-checking system. We also describe how specifications written in a simplified form of BDI logic can be... (Update)
Cited by: More
Model Checking Agent Dialogues - Christopher Walton Centre (Correct)
Verifiable Agent Dialogues - Walton (2005) (Correct)
Model Checking Multi-Agent Systems - Bourahla, Benmohamed (2005) (Correct)
Similar documents (at the sentence level):
12.7%: Verifiable Multi-Agent Programs - Bordini, Fisher, Visser, Wooldridge (Correct)
Active bibliography (related documents): More All
0.4: Towards a Mobile Intelligent Assistant: AgentSpeak(L).. - Rahwan, Rahwan.. (2003) (Correct)
0.3: A Tool for Specification and Verification of Epistemic.. - Raimondi, Lomuscio (2003) (Correct)
0.3: Computational Logic in Multi-Agent Systems: recent advances and.. - Torroni (2003) (Correct)
Similar documents based on text: More All
1.5: Model Checking Multi-Agent Programs with CASP - Bordini, Fisher, Pardavila.. (2003) (Correct)
1.2: Engineering AgentSpeak(L): A Formal Computational Model - d'Inverno, Luck (1998) (Correct)
1.2: A Formal Embedding of AgentSpeak(L) in 3APL - Hindriks, de Boer, van der.. (1998) (Correct)
Related documents from co-citation: More All
18: Model checking multiagent systems with mable - Wooldridge, Fisher et al. - 2002
15: Model checking multiagent systems - Benerecetti, Giunchiglia et al. - 1998
14: Model Checking - Clarke, Grumberg et al. - 1994
BibTeX entry: (Update)
R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking AgentSpeak. In Proc. 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS2003. http://citeseer.ist.psu.edu/578856.html More
@misc{ bordini-model,
author = "R. Bordini and M. Fisher and C. Pardavila and M. Wooldridge",
title = "Model checking AgentSpeak",
text = "R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking
AgentSpeak. In Proc. 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent
Systems (AAMAS2003.",
url = "citeseer.ist.psu.edu/578856.html" }
Citations (may not include all citations):828 Model Checking - Clarke, Grumberg et al. - 2000
141 BDI agents speak out in a logical computable language (context) - Rao - 1996
104 Model checking programs - Visser, Havelund et al. - 2000
94 Reasoning about Rational Agents (context) - Wooldridge - 2000
90 Remote agents: To boldly go where no AI system has gone befo.. - Muscettola, Nayak et al. - 1998
73 Decision procedures for BDI logics (context) - Rao, Georgeff - 1998
53 Formal analysis of a space craft controller using SPIN - Havelund, Lowry et al. - 2001
50 A model-theoretic approach to the verification of situated r.. (context) - Rao, Georgeff - 1993
43 The Spin model checker (context) - Holzmann - 1997
31 Model checking multi-agent systems with MABLE - Wooldridge, Fisher et al. - 2002
10 A formal computational model (context) - d'Inverno, Luck - 1998
8 agents on SIM AGENT (context) - Machado, Bordini - 2001
6 Proving the asymmetry thesis principles for a BDI agent-orie.. - Bordini, Moreira - 2002
5 Symbolic model checking for multi-agent systems - Benerecetti, Cimatti - 2002
5 An operational semantics for a BDI agent-oriented programmin.. - Moreira, Bordini - 2002
3 Efficient intention selection in BDI agents via decision-the.. (context) - Bordini, Bazzan et al. - 2002
3 Model checking knowledge and time (context) - Hoek, Wooldridge - 2002
1 Verification of autonomous spacecraft control --- a logical .. (context) - Fisher, Visser - 2002
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csc.liv.ac.uk/~michael/papers.html): More
METATEM at Work: Modelling Reactive Systems Using.. - Finger, Fisher, Owens (1992) (Correct)
From the Past to the Future: Executing Temporal Logic Programs - Fisher, Owens (1992) (Correct)
A Model Checker for Linear Time Temporal Logic - Fisher (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC