A Knowledge-Theoretic Semantics for Concurrent METATEM

  title={A Knowledge-Theoretic Semantics for Concurrent METATEM},
  author={Michael Wooldridge},
Theaimof thispaperis to developa semanticsfor themulti-agentprogramminglanguageConcurrentMETATEM, by usingthe tools of knowledge theory. We begin by presentingan informal overview of theConcurrentMETATEM language,andthenformally definethenotionof a ConcurrentMETATEM agentprogram,thepossiblestatesof aConcurrentMETATEM agentandsystem,and finally, whatconstitutesanacceptablerun of aConcurrentMETATEM system.Thevarioussemantic constructsdevelopedduringthis processarethenusedasthefoundationuponwhich… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
19 Citations
20 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 20 references

A resolution-basedproofmethodfor temporallogicsof knowledgeandbelief

  • M. Fisher, M. Wooldridge, andC. Dixon
  • 1996
Highly Influential
4 Excerpts

Towardsa semanticsfor ConcurrentMETATEM

  • M. Fisher
  • In M. FisherandR. Owens,editors…
  • 1995
Highly Influential
4 Excerpts

BDI Agents: from theoryto practice

  • A. S. RaoandM. Georgeff
  • In Proceedingsof the First…
  • 1995
1 Excerpt

R.Jennings, editors, Intelligent Agents: Theories,Architectures, and Languages (LNAI Volume890), pages 307–323.Springer -Verlag:Heidelber g, Germany, January1995

  • 1995
3 Excerpts

A decisionprocedurefor a temporalbelief logic

  • M. WooldridgeandM
  • andH. J. Ohlbach,editors,Temporal Logic…
  • 1994
3 Excerpts

: A framework for programming in temporal logic

  • M. Fisher, D. Gabbay, G. Gough, M R.Owens.METATE
  • Research Directions in Concurrent Object…
  • 1993

Similar Papers

Loading similar papers…