|
54
|
A Programming Language for Cognitive Agents Goal Directed 3APL
– Mehdi Dastani, M. Birna van Riemsdijk, Frank Dignum, M. Birna, Riemsdijk Frank Dignum, John-jules Ch. Meyer
- 2003
|
|
48
|
Jason and the Golden Fleece of Agent-Oriented Programming
– R H Bordini, J F Hübner, R Vieira
- 2005
|
|
19
|
MetateM: The story so far
– Michael Fisher
- 2005
|
|
5
|
J.C.: A grounded specification language for agent programs
– M Dastani, M B van Riemsdijk, Meyer
- 2007
|
|
32
|
Mcmas: A model checker for multi-agent systems
– Alessio Lomuscio, Franco Raimondi
- 2006
|
|
8
|
J.J.C.: A logic of agent programs
– N Alechina, M Dastani, B Logan, Meyer
- 2007
|
|
8
|
Agent programming in dribble: from beliefs to goals using plans
– B van Riemsdijk, W van der Hoek, J-J C Meyer
- 2003
|
|
5
|
Programming Verifiable Heterogeneous Agent Systems ⋆
– Louise A. Dennis, Michael Fisher
|
|
7
|
A logic for nonterminating Golog programs
– J Claßen, G Lakemeyer
- 2008
|
|
24
|
State-space Reduction Techniques in Agent Verification
– Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
- 2004
|
|
6
|
Aborting tasks in BDI agents
– J Thangarajah, J Harland, D Morley, N Yorke-Smith
- 2007
|
|
113
|
Decision Procedures and Expressiveness in the Temporal Logic of Branching Time
– E. Allen Emerson , Joseph Y. Halpern
- 1985
|
|
58
|
The SPARK agent framework
– D Morley, K Myers
- 2004
|
|
7
|
A flexible framework for verifying agent programs
– Louise A Dennis, Berndt Farwer, Rafael H Bordini, Michael Fisher
|
|
138
|
MOCHA: Modularity in Model Checking
– Rajeev Alur, Thomas A. Henzinger, F.Y.C. Mang, R. Alur, S.K. Rajamani, S. Tasiran, S. Qadeer
- 1998
|
|
699
|
E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic
– E M Clarke, Emerson
- 1982
|
|
40
|
Protocol Conformance for Logic-based Agents
– Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
- 2003
|
|
17
|
Implementing commitment-based interaction
– Michael Winikoff
- 2007
|
|
8
|
Issues in Multiagent System Development
– Mehdi Dastani , Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer
- 2004
|
