Formal Dialectic Specification.

Simon Wells Chris Reed

Published in: ArgMAS (2004)

Keyphrases

formal specification
formal methods
formal language
specification languages
operational semantics
reactive systems
high level
formal languages
knowledge level
artificial intelligence
data sets
real time
formal analysis
formal model
model theoretic
search algorithm
data mining