Login / Signup
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Rafael H. Bordini
Álvaro F. Moreira
Renata Vieira
Michael J. Wooldridge
Published in:
CoRR (2011)
Keyphrases
</>
speech acts
formal semantics
agent oriented programming language
agent communication
logical language
first order logic
operational semantics
modeling language
theorem prover
modelling language
owl dl ontology
description logics
inference rules
data model
case study
agent oriented programming
e learning