Joint conversation specification and compliance.

Shamimabi Paurobally Michael J. Wooldridge

Published in: AAMAS (2007)

Keyphrases

data mining
natural language
formal specification
formal verification
joint optimization
decision making
high level
formal methods
specification language
provably correct