✦ LIBER ✦

Semantic Issues in the Verification of Agent Communication Languages

✍ Scribed by Michael Wooldridge

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Negotiating the Semantics of Agent Commu

✍ Chris Reed; Timothy J. Norman; Nicholas R. Jennings 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 253 KB

Some Remarks on the Semantics of FIPA's

✍ Jeremy Pitt; Abe Mamdani 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 146 KB

The State of the Art in Agent Communicat

✍ Mamadou Tadiou Kone; Akira Shimazu; Tatsuo Nakajima 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 215 KB

The design of a semantic web compatible

✍ Rιza Cenk Erdur; İnanç Seylan 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 1004 KB

Towards Verification of C Programs: Axio

✍ V. A. Nepomniaschy; I. S. Anureev; A. V. Promskii 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 107 KB

Evolution of Communication and Language

✍ Nolfi, Stefano; Mirolli, Marco 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 305 KB