Login / Signup
Formal semantics of speech acts for argumentative dialogues.
Alison R. Panisson
Felipe Meneguzzi
Moser Silva Fagundes
Renata Vieira
Rafael H. Bordini
Published in:
AAMAS (2014)
Keyphrases
</>
speech acts
formal semantics
logical language
modeling language
agent communication
first order logic
operational semantics
theorem prover
modelling language
database
knowledge base
software engineering