Verifiable semantics for agent communication languages
- 27 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Modeling agents as qualitative decision makersArtificial Intelligence, 1997
- Temporal Verification of Reactive SystemsPublished by Springer Nature ,1995
- Verification tools for finite-state concurrent systemsPublished by Springer Nature ,1994
- Model Checking vs. Theorem Proving: A ManifestoPublished by Elsevier ,1991
- Rational Interaction as the Basis for CommunicationPublished by MIT Press ,1990
- Elements of a Plan‐Based Theory of Speech Acts*Cognitive Science, 1979
- Speech ActsPublished by Cambridge University Press (CUP) ,1969