Communicative Strategy in a Formal Model of Dispute.

Published in: ICAART (2) (2015)

Keyphrases

formal model
formal models
probabilistic knowledge
security properties
predicate calculus
artificial intelligence
software engineering
theorem prover
optimal strategy
software design