An executable specification of a formal argumentation protocol.
Alexander ArtikisMarek J. SergotJeremy PittPublished in: Artif. Intell. (2007)
Keyphrases
- formal specification
- protocol specification
- specification languages
- formal methods
- specification language
- process algebra
- model checking
- formal analysis
- reverse engineering
- dispute resolution
- concurrent systems
- lightweight
- communication protocols
- formal language
- operational semantics
- argumentation systems
- formal verification
- state machines
- argumentation semantics
- attribute grammars
- reactive systems
- formal languages
- practical reasoning
- argumentation schemes