Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication

This publication has 23 references indexed in Scilit:

• Model checking agentspeak
  Published by Association for Computing Machinery (ACM) ,2003
• Model Checking Multi-Agent Programs with CASP
  Published by Springer Nature ,2003
• Computationally grounded theories of agency
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• AgentSpeak(XL)
  Published by Association for Computing Machinery (ACM) ,2002
• Failure Semantics for the Exchange of Information in Multi-Agent Systems
  Published by Springer Nature ,2000
• Semantic Issues in the Verification of Agent Communication Languages
  Autonomous Agents and Multi-Agent Systems, 2000
• Agent communication languages: rethinking the principles
  Computer, 1998
• Decision procedures for BDI logics
  Journal of Logic and Computation, 1998
• AgentSpeak(L): BDI agents speak out in a logical computable language
  Published by Springer Nature ,1996
• Intention is choice with commitment
  Artificial Intelligence, 1990