An Executable Specification of an Argumentation Protocol.
Alexander ArtikisMarek J. SergotJeremy PittPublished in: ICAIL (2003)
Keyphrases
- formal specification
- protocol specification
- process algebra
- dispute resolution
- communication protocols
- attribute grammars
- lightweight
- colored petri nets
- control flow
- state machines
- argumentation semantics
- formal analysis
- specification language
- argumentation systems
- high level
- communication protocol
- formal methods
- defeasible reasoning
- practical reasoning
- concurrent systems
- operational semantics
- formal verification
- authentication protocol
- legal reasoning
- security protocols
- business rules
- end to end
- case based reasoning